Results for instance x60.7
QBFEVAL'06



Solver Time Result
GRL1.18SAT
qube4.01.85UNSAT
qube3.01.86UNSAT
qube5.01.88UNSAT
preQuantor55.07FAIL
QUANTOR57.12FAIL
QUANTOR_hc57.43FAIL
Quaffle552.39FAIL
yQuaffle589.99FAIL
WalkQSAT600.99FAIL
semprop601FAIL
2clsQ793.55UNSAT
SQBF5958.97FAIL
Qbfl5997.87FAIL
ssolve+ut6000.17FAIL
sSolve6000.23FAIL
ssolve-ut6000.29FAIL
sKizzo-0.9-std6000.57FAIL
sKizzo-0.9-grn6000.6FAIL
sKizzo-0.9-abs6000.83FAIL
openQbf6000.84FAIL