Results for instance x180.2
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
semprop0.09SAT
QUANTOR_hc71.71FAIL
QUANTOR72.28FAIL
Quaffle570.96FAIL
yQuaffle597.28FAIL
ssolve-ut600.35FAIL
GRL600.91FAIL
WalkQSAT600.99FAIL
qube4.01163.41UNSAT
qube5.01165.29UNSAT
qube3.01219.81UNSAT
sKizzo-0.9-abs1307.25FAIL
ssolve+ut6000.26FAIL
sSolve6000.33FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
Qbfl6000.52FAIL
sKizzo-0.9-grn6000.72FAIL
sKizzo-0.9-std6000.77FAIL
openQbf6000.86FAIL