c alt. cnf for oriented Gaussoids using formula (8) on n=3
p cnf 18 390
eclauses 6
-14 15 17 2 3 0
-18 15 17 2 3 0
-2 -9 15 17 2 3 0
-3 -8 15 17 2 3 0
-14 15 17 8 3 0
-18 15 17 8 3 0
-2 -9 15 17 8 3 0
-3 -8 15 17 8 3 0
-14 15 17 2 9 0
-18 15 17 2 9 0
-2 -9 15 17 2 9 0
-3 -8 15 17 2 9 0
-14 15 17 8 9 0
-18 15 17 8 9 0
-2 -9 15 17 8 9 0
-3 -8 15 17 8 9 0
-15 14 18 2 3 0
-17 14 18 2 3 0
-2 -8 14 18 2 3 0
-3 -9 14 18 2 3 0
-15 14 18 9 3 0
-17 14 18 9 3 0
-2 -8 14 18 9 3 0
-3 -9 14 18 9 3 0
-15 14 18 2 8 0
-17 14 18 2 8 0
-2 -8 14 18 2 8 0
-3 -9 14 18 2 8 0
-15 14 18 9 8 0
-17 14 18 9 8 0
-2 -8 14 18 9 8 0
-3 -9 14 18 9 8 0
-8 9 11 2 3 0
-12 9 11 2 3 0
-2 -15 9 11 2 3 0
-3 -14 9 11 2 3 0
-8 9 11 14 3 0
-12 9 11 14 3 0
-2 -15 9 11 14 3 0
-3 -14 9 11 14 3 0
-8 9 11 2 15 0
-12 9 11 2 15 0
-2 -15 9 11 2 15 0
-3 -14 9 11 2 15 0
-8 9 11 14 15 0
-12 9 11 14 15 0
-2 -15 9 11 14 15 0
-3 -14 9 11 14 15 0
-9 8 12 2 3 0
-11 8 12 2 3 0
-2 -14 8 12 2 3 0
-3 -15 8 12 2 3 0
-9 8 12 15 3 0
-11 8 12 15 3 0
-2 -14 8 12 15 3 0
-3 -15 8 12 15 3 0
-9 8 12 2 14 0
-11 8 12 2 14 0
-2 -14 8 12 2 14 0
-3 -15 8 12 2 14 0
-9 8 12 15 14 0
-11 8 12 15 14 0
-2 -14 8 12 15 14 0
-3 -15 8 12 15 14 0
-2 3 5 8 9 0
-6 3 5 8 9 0
-8 -15 3 5 8 9 0
-9 -14 3 5 8 9 0
-2 3 5 14 9 0
-6 3 5 14 9 0
-8 -15 3 5 14 9 0
-9 -14 3 5 14 9 0
-2 3 5 8 15 0
-6 3 5 8 15 0
-8 -15 3 5 8 15 0
-9 -14 3 5 8 15 0
-2 3 5 14 15 0
-6 3 5 14 15 0
-8 -15 3 5 14 15 0
-9 -14 3 5 14 15 0
-3 2 6 8 9 0
-5 2 6 8 9 0
-8 -14 2 6 8 9 0
-9 -15 2 6 8 9 0
-3 2 6 15 9 0
-5 2 6 15 9 0
-8 -14 2 6 15 9 0
-9 -15 2 6 15 9 0
-3 2 6 8 14 0
-5 2 6 8 14 0
-8 -14 2 6 8 14 0
-9 -15 2 6 8 14 0
-3 2 6 15 14 0
-5 2 6 15 14 0
-8 -14 2 6 15 14 0
-9 -15 2 6 15 14 0
-8 9 11 2 3 0
-12 9 11 2 3 0
-2 -18 9 11 2 3 0
-3 -17 9 11 2 3 0
-8 9 11 17 3 0
-12 9 11 17 3 0
-2 -18 9 11 17 3 0
-3 -17 9 11 17 3 0
-8 9 11 2 18 0
-12 9 11 2 18 0
-2 -18 9 11 2 18 0
-3 -17 9 11 2 18 0
-8 9 11 17 18 0
-12 9 11 17 18 0
-2 -18 9 11 17 18 0
-3 -17 9 11 17 18 0
-9 8 12 2 3 0
-11 8 12 2 3 0
-2 -17 8 12 2 3 0
-3 -18 8 12 2 3 0
-9 8 12 18 3 0
-11 8 12 18 3 0
-2 -17 8 12 18 3 0
-3 -18 8 12 18 3 0
-9 8 12 2 17 0
-11 8 12 2 17 0
-2 -17 8 12 2 17 0
-3 -18 8 12 2 17 0
-9 8 12 18 17 0
-11 8 12 18 17 0
-2 -17 8 12 18 17 0
-3 -18 8 12 18 17 0
-2 3 5 8 9 0
-6 3 5 8 9 0
-8 -18 3 5 8 9 0
-9 -17 3 5 8 9 0
-2 3 5 17 9 0
-6 3 5 17 9 0
-8 -18 3 5 17 9 0
-9 -17 3 5 17 9 0
-2 3 5 8 18 0
-6 3 5 8 18 0
-8 -18 3 5 8 18 0
-9 -17 3 5 8 18 0
-2 3 5 17 18 0
-6 3 5 17 18 0
-8 -18 3 5 17 18 0
-9 -17 3 5 17 18 0
-3 2 6 8 9 0
-5 2 6 8 9 0
-8 -17 2 6 8 9 0
-9 -18 2 6 8 9 0
-3 2 6 18 9 0
-5 2 6 18 9 0
-8 -17 2 6 18 9 0
-9 -18 2 6 18 9 0
-3 2 6 8 17 0
-5 2 6 8 17 0
-8 -17 2 6 8 17 0
-9 -18 2 6 8 17 0
-3 2 6 18 17 0
-5 2 6 18 17 0
-8 -17 2 6 18 17 0
-9 -18 2 6 18 17 0
-14 15 17 2 3 0
-18 15 17 2 3 0
-2 -12 15 17 2 3 0
-3 -11 15 17 2 3 0
-14 15 17 11 3 0
-18 15 17 11 3 0
-2 -12 15 17 11 3 0
-3 -11 15 17 11 3 0
-14 15 17 2 12 0
-18 15 17 2 12 0
-2 -12 15 17 2 12 0
-3 -11 15 17 2 12 0
-14 15 17 11 12 0
-18 15 17 11 12 0
-2 -12 15 17 11 12 0
-3 -11 15 17 11 12 0
-15 14 18 2 3 0
-17 14 18 2 3 0
-2 -11 14 18 2 3 0
-3 -12 14 18 2 3 0
-15 14 18 12 3 0
-17 14 18 12 3 0
-2 -11 14 18 12 3 0
-3 -12 14 18 12 3 0
-15 14 18 2 11 0
-17 14 18 2 11 0
-2 -11 14 18 2 11 0
-3 -12 14 18 2 11 0
-15 14 18 12 11 0
-17 14 18 12 11 0
-2 -11 14 18 12 11 0
-3 -12 14 18 12 11 0
-2 3 5 11 12 0
-6 3 5 11 12 0
-11 -15 3 5 11 12 0
-12 -14 3 5 11 12 0
-2 3 5 14 12 0
-6 3 5 14 12 0
-11 -15 3 5 14 12 0
-12 -14 3 5 14 12 0
-2 3 5 11 15 0
-6 3 5 11 15 0
-11 -15 3 5 11 15 0
-12 -14 3 5 11 15 0
-2 3 5 14 15 0
-6 3 5 14 15 0
-11 -15 3 5 14 15 0
-12 -14 3 5 14 15 0
-3 2 6 11 12 0
-5 2 6 11 12 0
-11 -14 2 6 11 12 0
-12 -15 2 6 11 12 0
-3 2 6 15 12 0
-5 2 6 15 12 0
-11 -14 2 6 15 12 0
-12 -15 2 6 15 12 0
-3 2 6 11 14 0
-5 2 6 11 14 0
-11 -14 2 6 11 14 0
-12 -15 2 6 11 14 0
-3 2 6 15 14 0
-5 2 6 15 14 0
-11 -14 2 6 15 14 0
-12 -15 2 6 15 14 0
-14 15 17 5 6 0
-18 15 17 5 6 0
-5 -9 15 17 5 6 0
-6 -8 15 17 5 6 0
-14 15 17 8 6 0
-18 15 17 8 6 0
-5 -9 15 17 8 6 0
-6 -8 15 17 8 6 0
-14 15 17 5 9 0
-18 15 17 5 9 0
-5 -9 15 17 5 9 0
-6 -8 15 17 5 9 0
-14 15 17 8 9 0
-18 15 17 8 9 0
-5 -9 15 17 8 9 0
-6 -8 15 17 8 9 0
-15 14 18 5 6 0
-17 14 18 5 6 0
-5 -8 14 18 5 6 0
-6 -9 14 18 5 6 0
-15 14 18 9 6 0
-17 14 18 9 6 0
-5 -8 14 18 9 6 0
-6 -9 14 18 9 6 0
-15 14 18 5 8 0
-17 14 18 5 8 0
-5 -8 14 18 5 8 0
-6 -9 14 18 5 8 0
-15 14 18 9 8 0
-17 14 18 9 8 0
-5 -8 14 18 9 8 0
-6 -9 14 18 9 8 0
-8 9 11 5 6 0
-12 9 11 5 6 0
-5 -15 9 11 5 6 0
-6 -14 9 11 5 6 0
-8 9 11 14 6 0
-12 9 11 14 6 0
-5 -15 9 11 14 6 0
-6 -14 9 11 14 6 0
-8 9 11 5 15 0
-12 9 11 5 15 0
-5 -15 9 11 5 15 0
-6 -14 9 11 5 15 0
-8 9 11 14 15 0
-12 9 11 14 15 0
-5 -15 9 11 14 15 0
-6 -14 9 11 14 15 0
-9 8 12 5 6 0
-11 8 12 5 6 0
-5 -14 8 12 5 6 0
-6 -15 8 12 5 6 0
-9 8 12 15 6 0
-11 8 12 15 6 0
-5 -14 8 12 15 6 0
-6 -15 8 12 15 6 0
-9 8 12 5 14 0
-11 8 12 5 14 0
-5 -14 8 12 5 14 0
-6 -15 8 12 5 14 0
-9 8 12 15 14 0
-11 8 12 15 14 0
-5 -14 8 12 15 14 0
-6 -15 8 12 15 14 0
-2 3 5 11 12 0
-6 3 5 11 12 0
-11 -18 3 5 11 12 0
-12 -17 3 5 11 12 0
-2 3 5 17 12 0
-6 3 5 17 12 0
-11 -18 3 5 17 12 0
-12 -17 3 5 17 12 0
-2 3 5 11 18 0
-6 3 5 11 18 0
-11 -18 3 5 11 18 0
-12 -17 3 5 11 18 0
-2 3 5 17 18 0
-6 3 5 17 18 0
-11 -18 3 5 17 18 0
-12 -17 3 5 17 18 0
-3 2 6 11 12 0
-5 2 6 11 12 0
-11 -17 2 6 11 12 0
-12 -18 2 6 11 12 0
-3 2 6 18 12 0
-5 2 6 18 12 0
-11 -17 2 6 18 12 0
-12 -18 2 6 18 12 0
-3 2 6 11 17 0
-5 2 6 11 17 0
-11 -17 2 6 11 17 0
-12 -18 2 6 11 17 0
-3 2 6 18 17 0
-5 2 6 18 17 0
-11 -17 2 6 18 17 0
-12 -18 2 6 18 17 0
-8 9 11 5 6 0
-12 9 11 5 6 0
-5 -18 9 11 5 6 0
-6 -17 9 11 5 6 0
-8 9 11 17 6 0
-12 9 11 17 6 0
-5 -18 9 11 17 6 0
-6 -17 9 11 17 6 0
-8 9 11 5 18 0
-12 9 11 5 18 0
-5 -18 9 11 5 18 0
-6 -17 9 11 5 18 0
-8 9 11 17 18 0
-12 9 11 17 18 0
-5 -18 9 11 17 18 0
-6 -17 9 11 17 18 0
-9 8 12 5 6 0
-11 8 12 5 6 0
-5 -17 8 12 5 6 0
-6 -18 8 12 5 6 0
-9 8 12 18 6 0
-11 8 12 18 6 0
-5 -17 8 12 18 6 0
-6 -18 8 12 18 6 0
-9 8 12 5 17 0
-11 8 12 5 17 0
-5 -17 8 12 5 17 0
-6 -18 8 12 5 17 0
-9 8 12 18 17 0
-11 8 12 18 17 0
-5 -17 8 12 18 17 0
-6 -18 8 12 18 17 0
-14 15 17 5 6 0
-18 15 17 5 6 0
-5 -12 15 17 5 6 0
-6 -11 15 17 5 6 0
-14 15 17 11 6 0
-18 15 17 11 6 0
-5 -12 15 17 11 6 0
-6 -11 15 17 11 6 0
-14 15 17 5 12 0
-18 15 17 5 12 0
-5 -12 15 17 5 12 0
-6 -11 15 17 5 12 0
-14 15 17 11 12 0
-18 15 17 11 12 0
-5 -12 15 17 11 12 0
-6 -11 15 17 11 12 0
-15 14 18 5 6 0
-17 14 18 5 6 0
-5 -11 14 18 5 6 0
-6 -12 14 18 5 6 0
-15 14 18 12 6 0
-17 14 18 12 6 0
-5 -11 14 18 12 6 0
-6 -12 14 18 12 6 0
-15 14 18 5 11 0
-17 14 18 5 11 0
-5 -11 14 18 5 11 0
-6 -12 14 18 5 11 0
-15 14 18 12 11 0
-17 14 18 12 11 0
-5 -11 14 18 12 11 0
-6 -12 14 18 12 11 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