Results for instance x200.3
QBFEVAL'06



Solver Time Result
semprop0.12SAT
QUANTOR91FAIL
QUANTOR_hc92.39FAIL
preQuantor95.6FAIL
yQuaffle546.49FAIL
Quaffle574.87FAIL
GRL600.9FAIL
WalkQSAT600.97FAIL
qube5.01534.6UNSAT
qube4.01544.99UNSAT
qube3.04261.08UNSAT
Qbfl6000.2FAIL
ssolve+ut6000.31FAIL
ssolve-ut6000.32FAIL
sSolve6000.33FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-std6000.7FAIL
sKizzo-0.9-grn6000.72FAIL
openQbf6000.91FAIL
sKizzo-0.9-abs6000.96FAIL