15 lines
165 B
Plaintext
15 lines
165 B
Plaintext
|
c status 10
|
||
|
|
c --eliminateinit=0
|
||
|
|
c --subsumeclslim=0
|
||
|
|
c --tumble=0
|
||
|
|
p cnf 18 9
|
||
|
|
-7 -3 0
|
||
|
|
7 6 -14 0
|
||
|
|
-6 9 2 0
|
||
|
|
-8 11 1 0
|
||
|
|
12 18 -3 0
|
||
|
|
-15 -10 0
|
||
|
|
-3 -16 0
|
||
|
|
-13 -17 14 0
|
||
|
|
5 4 16 0
|