UNSAT formula is reported as SAT

[symphorien]

The formula 1 & -1 is reported as sat:

p cnf 1 2
1 0
-1 0

cachesize Max:	721542 kbytes
#Vars:1
#Clauses:0
#bin Cls:0
BEGIN preprocessing

END preprocessing
#Vars remaining:0
#Clauses remaining:0
#bin Cls remaining:0
Uncompressed Edges: 3
Compressed Edges: 1


#Variables:		1
#Clauses:		2
#Clauses removed:	2

#added Clauses: 	0

# of all assignments:	2 = 2^(1)
Pr[satisfaction]:	0.5
# of solutions:		1
#SAT (full):   		1

Num. conflicts:		0
Num. implications:	0
Num. decisions:		0
max decision level:	0		avg decision level:	0
avg conflict level:	0
avg solution level:	0
CCLLen 1stUIP - max:	0	 avg:	0
CCLLen lastUIP - max:	0	 avg:	0

FormulaCache stats:
memUse:			8
cached:			1
used Buckets:		1
cache retrievals:	0
cache tries:		1


Time: 0.001317s

Runtime:0.001317

[haz]

Closed with #13