9 lines
99 B
Plaintext
9 lines
99 B
Plaintext
|
c status 10
|
||
|
|
c --eliminateinit=0
|
||
|
|
c --eliminatemineff=0
|
||
|
|
c --phase=0
|
||
|
|
p cnf 5 3
|
||
|
|
1 2 0
|
||
|
|
3 1 0
|
||
|
|
4 -1 5 3 0
|