Results for instance x185.8
QBFEVAL'06



Solver Time Result
semprop0.11SAT
preQuantor79.03FAIL
QUANTOR79.35FAIL
QUANTOR_hc81.42FAIL
qube4.0138.06UNSAT
qube5.0138.29UNSAT
qube3.0228.46UNSAT
GRL600.8FAIL
WalkQSAT600.97FAIL
SQBF4725.93FAIL
yQuaffle5749.88FAIL
Quaffle5924.24FAIL
Qbfl6000.04FAIL
ssolve+ut6000.25FAIL
sSolve6000.26FAIL
ssolve-ut6000.27FAIL
2clsQ6000.42FAIL
sKizzo-0.9-std6000.64FAIL
sKizzo-0.9-grn6000.68FAIL
openQbf6000.93FAIL
sKizzo-0.9-abs6000.96FAIL