Results for instance x165.7
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
semprop0.08SAT
QUANTOR90.39FAIL
QUANTOR_hc91.48FAIL
qube4.0123.47UNSAT
qube5.0123.52UNSAT
qube3.0205.43UNSAT
yQuaffle548.16FAIL
Quaffle581.11FAIL
ssolve-ut600.25FAIL
GRL600.86FAIL
WalkQSAT601FAIL
SQBF4844.44FAIL
Qbfl5999.38FAIL
sSolve6000.26FAIL
ssolve+ut6000.32FAIL
2clsQ6000.42FAIL
sKizzo-0.9-abs6000.55FAIL
sKizzo-0.9-std6000.69FAIL
openQbf6000.7FAIL
sKizzo-0.9-grn6000.7FAIL