Results for instance x155.5
QBFEVAL'06



Solver Time Result
semprop0.08SAT
qube3.014.19UNSAT
qube5.017.13UNSAT
qube4.017.35UNSAT
preQuantor54.76FAIL
QUANTOR72.91FAIL
QUANTOR_hc74.4FAIL
Quaffle547.2FAIL
yQuaffle599.44FAIL
GRL600.91FAIL
WalkQSAT600.97FAIL
Qbfl5997.78FAIL
sSolve6000.28FAIL
ssolve+ut6000.28FAIL
ssolve-ut6000.31FAIL
SQBF6000.42FAIL
2clsQ6000.42FAIL
sKizzo-0.9-std6000.72FAIL
sKizzo-0.9-grn6000.79FAIL
openQbf6000.89FAIL
sKizzo-0.9-abs6000.99FAIL