Results for instance x175.0
QBFEVAL'06



Solver Time Result
semprop0.09SAT
preQuantor79.25FAIL
QUANTOR_hc135.09FAIL
QUANTOR136.68FAIL
sKizzo-0.9-abs528.42FAIL
yQuaffle549.92FAIL
Quaffle559.57FAIL
ssolve+ut600.39FAIL
GRL600.88FAIL
WalkQSAT600.99FAIL
qube3.01709.31UNSAT
ssolve-ut6000.27FAIL
Qbfl6000.31FAIL
sSolve6000.34FAIL
SQBF6000.42FAIL
2clsQ6000.42FAIL
qube4.06000.57FAIL
sKizzo-0.9-grn6000.8FAIL
qube5.06000.8FAIL
openQbf6000.81FAIL
sKizzo-0.9-std6000.81FAIL