Results for instance s27_d4_u
QBFEVAL'06



Solver Time Result
qube5.00.03UNSAT
QUANTOR_hc0.1UNSAT
QUANTOR0.1UNSAT
sKizzo-0.9-grn0.15UNSAT
sKizzo-0.9-abs0.16UNSAT
sKizzo-0.9-std0.16UNSAT
SQBF0.38UNSAT
2clsQ0.4UNSAT
preQuantor0.41UNSAT
ssolve-ut7.32UNSAT
ssolve+ut15.26UNSAT
sSolve16.32UNSAT
semprop38.95UNSAT
Quaffle562.61FAIL
Qbfl580.47FAIL
GRL600.92FAIL
WalkQSAT601FAIL
yQuaffle5999.98FAIL
qube3.06000.34FAIL
qube4.06000.55FAIL
openQbf6000.87FAIL