Results for instance x160.1
QBFEVAL'06



Solver Time Result
semprop0.06SAT
preQuantor62.92FAIL
qube4.089.1UNSAT
qube5.089.22UNSAT
QUANTOR90.76FAIL
QUANTOR_hc93.81FAIL
Quaffle552.6FAIL
yQuaffle599.94FAIL
ssolve+ut600.29FAIL
GRL600.92FAIL
WalkQSAT600.94FAIL
Qbfl5999.81FAIL
sSolve6000.26FAIL
ssolve-ut6000.28FAIL
sKizzo-0.9-abs6000.31FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
qube3.06000.63FAIL
sKizzo-0.9-grn6000.66FAIL
sKizzo-0.9-std6000.68FAIL
openQbf6000.81FAIL