Results for instance x40.0
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
qube4.00.34UNSAT
qube5.00.37UNSAT
qube3.00.43UNSAT
GRL2.5SAT
yQuaffle2.73UNSAT
semprop39.24UNSAT
QUANTOR_hc91.54FAIL
QUANTOR92.75FAIL
sSolve161.38UNSAT
ssolve-ut167.85UNSAT
ssolve+ut184.1UNSAT
2clsQ463.47UNSAT
Quaffle560.22FAIL
WalkQSAT601FAIL
openQbf1928.6UNSAT
sKizzo-0.9-abs3432.44UNSAT
Qbfl5995.39FAIL
SQBF6000.42FAIL
sKizzo-0.9-grn6000.7FAIL
sKizzo-0.9-std6000.7FAIL