Results for instance x180.1
QBFEVAL'06



Solver Time Result
semprop0.08SAT
preQuantor71.69FAIL
QUANTOR_hc125.72FAIL
QUANTOR127.08FAIL
qube3.0303.66UNSAT
yQuaffle547.6FAIL
Quaffle560.79FAIL
GRL600.8FAIL
WalkQSAT600.99FAIL
Qbfl6000.09FAIL
ssolve-ut6000.26FAIL
sSolve6000.31FAIL
ssolve+ut6000.32FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-abs6000.47FAIL
qube4.06000.52FAIL
sKizzo-0.9-grn6000.64FAIL
qube5.06000.71FAIL
sKizzo-0.9-std6000.82FAIL
openQbf6000.86FAIL