Results for instance x180.8
QBFEVAL'06



Solver Time Result
preQuantor0.01FAIL
semprop0.09SAT
QUANTOR_hc76.68FAIL
QUANTOR140.72FAIL
qube3.0379.17UNSAT
Quaffle572.99FAIL
yQuaffle598.61FAIL
ssolve-ut600.33FAIL
GRL600.9FAIL
WalkQSAT600.99FAIL
Qbfl6000.1FAIL
ssolve+ut6000.31FAIL
sSolve6000.32FAIL
SQBF6000.42FAIL
2clsQ6000.42FAIL
qube4.06000.5FAIL
sKizzo-0.9-std6000.55FAIL
sKizzo-0.9-grn6000.7FAIL
sKizzo-0.9-abs6000.75FAIL
qube5.06000.82FAIL
openQbf6000.9FAIL