Results for instance x175.2
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
semprop0.08SAT
QUANTOR90.91FAIL
QUANTOR_hc93.6FAIL
qube5.0101.5UNSAT
qube4.0103.52UNSAT
yQuaffle547.14FAIL
Quaffle555.72FAIL
GRL600.91FAIL
WalkQSAT600.97FAIL
SQBF3966.04FAIL
Qbfl6000.13FAIL
sSolve6000.28FAIL
ssolve+ut6000.29FAIL
ssolve-ut6000.32FAIL
2clsQ6000.42FAIL
qube3.06000.58FAIL
sKizzo-0.9-std6000.67FAIL
sKizzo-0.9-grn6000.71FAIL
openQbf6000.91FAIL
sKizzo-0.9-abs6000.97FAIL