Results for instance s27_d5_u
QBFEVAL'06



Solver Time Result
qube5.00.04UNSAT
sKizzo-0.9-abs0.29UNSAT
sKizzo-0.9-std0.29UNSAT
sKizzo-0.9-grn0.31UNSAT
QUANTOR0.34UNSAT
QUANTOR_hc0.36UNSAT
preQuantor2.87UNSAT
SQBF2.87UNSAT
2clsQ2.89UNSAT
ssolve-ut140.42UNSAT
sSolve147.87UNSAT
ssolve+ut148.77UNSAT
Quaffle562.1FAIL
Qbfl582.91FAIL
GRL600.92FAIL
semprop601FAIL
WalkQSAT601FAIL
yQuaffle6000.12FAIL
qube3.06000.13FAIL
qube4.06000.5FAIL
openQbf6000.82FAIL