Results for instance x205.3
QBFEVAL'06



Solver Time Result
semprop0.13SAT
qube3.026.54UNSAT
qube4.035.38UNSAT
qube5.035.42UNSAT
QUANTOR88.79FAIL
QUANTOR_hc90FAIL
preQuantor102.11FAIL
Quaffle587.15FAIL
yQuaffle598.13FAIL
GRL600.92FAIL
WalkQSAT600.97FAIL
Qbfl6000.17FAIL
sSolve6000.25FAIL
ssolve+ut6000.29FAIL
ssolve-ut6000.31FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-grn6000.68FAIL
sKizzo-0.9-std6000.81FAIL
openQbf6000.88FAIL
sKizzo-0.9-abs6000.97FAIL