c alt. cnf for oriented Gaussoids on n=3
p cnf 18 306
eclauses 6
-13 -16 1 7 0
-13 -17 2 3 0
-15 -16 2 3 0
-15 -17 2 3 0
-13 -17 9 3 0
-15 -16 9 3 0
-15 -17 9 3 0
-13 -17 2 8 0
-15 -16 2 8 0
-15 -17 2 8 0
-13 -17 9 8 0
-15 -16 9 8 0
-15 -17 9 8 0
-13 -18 2 3 0
-14 -16 2 3 0
-14 -18 2 3 0
-13 -18 8 3 0
-14 -16 8 3 0
-14 -18 8 3 0
-13 -18 2 9 0
-14 -16 2 9 0
-14 -18 2 9 0
-13 -18 8 9 0
-14 -16 8 9 0
-14 -18 8 9 0
-7 -10 1 13 0
-7 -11 2 3 0
-9 -10 2 3 0
-9 -11 2 3 0
-7 -11 15 3 0
-9 -10 15 3 0
-9 -11 15 3 0
-7 -11 2 14 0
-9 -10 2 14 0
-9 -11 2 14 0
-7 -11 15 14 0
-9 -10 15 14 0
-9 -11 15 14 0
-7 -12 2 3 0
-8 -10 2 3 0
-8 -12 2 3 0
-7 -12 14 3 0
-8 -10 14 3 0
-8 -12 14 3 0
-7 -12 2 15 0
-8 -10 2 15 0
-8 -12 2 15 0
-7 -12 14 15 0
-8 -10 14 15 0
-8 -12 14 15 0
-1 -4 7 13 0
-1 -5 8 9 0
-3 -4 8 9 0
-3 -5 8 9 0
-1 -5 15 9 0
-3 -4 15 9 0
-3 -5 15 9 0
-1 -5 8 14 0
-3 -4 8 14 0
-3 -5 8 14 0
-1 -5 15 14 0
-3 -4 15 14 0
-3 -5 15 14 0
-1 -6 8 9 0
-2 -4 8 9 0
-2 -6 8 9 0
-1 -6 14 9 0
-2 -4 14 9 0
-2 -6 14 9 0
-1 -6 8 15 0
-2 -4 8 15 0
-2 -6 8 15 0
-1 -6 14 15 0
-2 -4 14 15 0
-2 -6 14 15 0
-7 -10 1 16 0
-7 -11 2 3 0
-9 -10 2 3 0
-9 -11 2 3 0
-7 -11 18 3 0
-9 -10 18 3 0
-9 -11 18 3 0
-7 -11 2 17 0
-9 -10 2 17 0
-9 -11 2 17 0
-7 -11 18 17 0
-9 -10 18 17 0
-9 -11 18 17 0
-7 -12 2 3 0
-8 -10 2 3 0
-8 -12 2 3 0
-7 -12 17 3 0
-8 -10 17 3 0
-8 -12 17 3 0
-7 -12 2 18 0
-8 -10 2 18 0
-8 -12 2 18 0
-7 -12 17 18 0
-8 -10 17 18 0
-8 -12 17 18 0
-1 -4 7 16 0
-1 -5 8 9 0
-3 -4 8 9 0
-3 -5 8 9 0
-1 -5 18 9 0
-3 -4 18 9 0
-3 -5 18 9 0
-1 -5 8 17 0
-3 -4 8 17 0
-3 -5 8 17 0
-1 -5 18 17 0
-3 -4 18 17 0
-3 -5 18 17 0
-1 -6 8 9 0
-2 -4 8 9 0
-2 -6 8 9 0
-1 -6 17 9 0
-2 -4 17 9 0
-2 -6 17 9 0
-1 -6 8 18 0
-2 -4 8 18 0
-2 -6 8 18 0
-1 -6 17 18 0
-2 -4 17 18 0
-2 -6 17 18 0
-13 -16 1 10 0
-13 -17 2 3 0
-15 -16 2 3 0
-15 -17 2 3 0
-13 -17 12 3 0
-15 -16 12 3 0
-15 -17 12 3 0
-13 -17 2 11 0
-15 -16 2 11 0
-15 -17 2 11 0
-13 -17 12 11 0
-15 -16 12 11 0
-15 -17 12 11 0
-13 -18 2 3 0
-14 -16 2 3 0
-14 -18 2 3 0
-13 -18 11 3 0
-14 -16 11 3 0
-14 -18 11 3 0
-13 -18 2 12 0
-14 -16 2 12 0
-14 -18 2 12 0
-13 -18 11 12 0
-14 -16 11 12 0
-14 -18 11 12 0
-1 -4 10 13 0
-1 -5 11 12 0
-3 -4 11 12 0
-3 -5 11 12 0
-1 -5 15 12 0
-3 -4 15 12 0
-3 -5 15 12 0
-1 -5 11 14 0
-3 -4 11 14 0
-3 -5 11 14 0
-1 -5 15 14 0
-3 -4 15 14 0
-3 -5 15 14 0
-1 -6 11 12 0
-2 -4 11 12 0
-2 -6 11 12 0
-1 -6 14 12 0
-2 -4 14 12 0
-2 -6 14 12 0
-1 -6 11 15 0
-2 -4 11 15 0
-2 -6 11 15 0
-1 -6 14 15 0
-2 -4 14 15 0
-2 -6 14 15 0
-13 -16 4 7 0
-13 -17 5 6 0
-15 -16 5 6 0
-15 -17 5 6 0
-13 -17 9 6 0
-15 -16 9 6 0
-15 -17 9 6 0
-13 -17 5 8 0
-15 -16 5 8 0
-15 -17 5 8 0
-13 -17 9 8 0
-15 -16 9 8 0
-15 -17 9 8 0
-13 -18 5 6 0
-14 -16 5 6 0
-14 -18 5 6 0
-13 -18 8 6 0
-14 -16 8 6 0
-14 -18 8 6 0
-13 -18 5 9 0
-14 -16 5 9 0
-14 -18 5 9 0
-13 -18 8 9 0
-14 -16 8 9 0
-14 -18 8 9 0
-7 -10 4 13 0
-7 -11 5 6 0
-9 -10 5 6 0
-9 -11 5 6 0
-7 -11 15 6 0
-9 -10 15 6 0
-9 -11 15 6 0
-7 -11 5 14 0
-9 -10 5 14 0
-9 -11 5 14 0
-7 -11 15 14 0
-9 -10 15 14 0
-9 -11 15 14 0
-7 -12 5 6 0
-8 -10 5 6 0
-8 -12 5 6 0
-7 -12 14 6 0
-8 -10 14 6 0
-8 -12 14 6 0
-7 -12 5 15 0
-8 -10 5 15 0
-8 -12 5 15 0
-7 -12 14 15 0
-8 -10 14 15 0
-8 -12 14 15 0
-1 -4 10 16 0
-1 -5 11 12 0
-3 -4 11 12 0
-3 -5 11 12 0
-1 -5 18 12 0
-3 -4 18 12 0
-3 -5 18 12 0
-1 -5 11 17 0
-3 -4 11 17 0
-3 -5 11 17 0
-1 -5 18 17 0
-3 -4 18 17 0
-3 -5 18 17 0
-1 -6 11 12 0
-2 -4 11 12 0
-2 -6 11 12 0
-1 -6 17 12 0
-2 -4 17 12 0
-2 -6 17 12 0
-1 -6 11 18 0
-2 -4 11 18 0
-2 -6 11 18 0
-1 -6 17 18 0
-2 -4 17 18 0
-2 -6 17 18 0
-7 -10 4 16 0
-7 -11 5 6 0
-9 -10 5 6 0
-9 -11 5 6 0
-7 -11 18 6 0
-9 -10 18 6 0
-9 -11 18 6 0
-7 -11 5 17 0
-9 -10 5 17 0
-9 -11 5 17 0
-7 -11 18 17 0
-9 -10 18 17 0
-9 -11 18 17 0
-7 -12 5 6 0
-8 -10 5 6 0
-8 -12 5 6 0
-7 -12 17 6 0
-8 -10 17 6 0
-8 -12 17 6 0
-7 -12 5 18 0
-8 -10 5 18 0
-8 -12 5 18 0
-7 -12 17 18 0
-8 -10 17 18 0
-8 -12 17 18 0
-13 -16 4 10 0
-13 -17 5 6 0
-15 -16 5 6 0
-15 -17 5 6 0
-13 -17 12 6 0
-15 -16 12 6 0
-15 -17 12 6 0
-13 -17 5 11 0
-15 -16 5 11 0
-15 -17 5 11 0
-13 -17 12 11 0
-15 -16 12 11 0
-15 -17 12 11 0
-13 -18 5 6 0
-14 -16 5 6 0
-14 -18 5 6 0
-13 -18 11 6 0
-14 -16 11 6 0
-14 -18 11 6 0
-13 -18 5 12 0
-14 -16 5 12 0
-14 -18 5 12 0
-13 -18 11 12 0
-14 -16 11 12 0
-14 -18 11 12 0
1 2 3 0
4 5 6 0
7 8 9 0
10 11 12 0
13 14 15 0
16 17 18 0