Results for instance x155.1
QBFEVAL'06



Solver Time Result
semprop0.07SAT
qube3.03.91UNSAT
qube4.05.47UNSAT
qube5.05.57UNSAT
preQuantor58.67FAIL
QUANTOR83.45FAIL
QUANTOR_hc83.89FAIL
yQuaffle554.36FAIL
Quaffle572FAIL
GRL600.91FAIL
WalkQSAT600.97FAIL
Qbfl5999.74FAIL
ssolve-ut6000.28FAIL
ssolve+ut6000.29FAIL
sSolve6000.33FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-grn6000.62FAIL
sKizzo-0.9-std6000.71FAIL
sKizzo-0.9-abs6000.77FAIL
openQbf6000.88FAIL