15 lines
150 B
Plaintext
15 lines
150 B
Plaintext
|
c --eliminateinit=0
|
||
|
|
p cnf 5 12
|
||
|
|
1 2 3 0
|
||
|
|
1 -2 -3 0
|
||
|
|
-1 -2 3 0
|
||
|
|
-1 2 -3 0
|
||
|
|
2 4 -5 -1 0
|
||
|
|
2 -4 5 0
|
||
|
|
-2 -4 -5 0
|
||
|
|
-2 4 5 0
|
||
|
|
3 4 -5 0
|
||
|
|
3 -4 5 0
|
||
|
|
-3 -4 -5 0
|
||
|
|
-3 4 5 1 0
|