Results for instance x240.0
QBFEVAL'06



Solver Time Result
semprop0.14SAT
preQuantor85.84FAIL
QUANTOR_hc105.48FAIL
QUANTOR105.87FAIL
yQuaffle550.17FAIL
ssolve-ut600.46FAIL
GRL600.87FAIL
WalkQSAT600.96FAIL
qube5.02464.55UNSAT
qube4.02473.76UNSAT
Quaffle5814.56FAIL
qube3.06000.15FAIL
ssolve+ut6000.27FAIL
sSolve6000.31FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
Qbfl6000.6FAIL
sKizzo-0.9-grn6000.72FAIL
sKizzo-0.9-abs6000.73FAIL
sKizzo-0.9-std6000.79FAIL
openQbf6000.95FAIL