Results for instance x155.6
QBFEVAL'06



Solver Time Result
semprop0.09SAT
qube3.024UNSAT
preQuantor56.53FAIL
QUANTOR_hc80.02FAIL
QUANTOR80.06FAIL
qube5.0407.34UNSAT
qube4.0410.05UNSAT
Quaffle553.86FAIL
yQuaffle555.08FAIL
GRL600.85FAIL
WalkQSAT600.94FAIL
SQBF5600.18FAIL
ssolve-ut6000.23FAIL
sSolve6000.27FAIL
ssolve+ut6000.28FAIL
2clsQ6000.42FAIL
Qbfl6000.46FAIL
sKizzo-0.9-abs6000.66FAIL
sKizzo-0.9-grn6000.75FAIL
sKizzo-0.9-std6000.77FAIL
openQbf6000.87FAIL