Results for instance x150.0
QBFEVAL'06



Solver Time Result
GRL4.74SAT
preQuantor59.03FAIL
QUANTOR82.54FAIL
QUANTOR_hc83.96FAIL
qube5.0130.88UNSAT
qube4.0131.05UNSAT
Quaffle557.63FAIL
yQuaffle598.53FAIL
WalkQSAT601FAIL
semprop601.01FAIL
qube3.01609.4UNSAT
Qbfl5999.34FAIL
ssolve+ut6000.24FAIL
ssolve-ut6000.25FAIL
sSolve6000.31FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL
sKizzo-0.9-std6000.47FAIL
sKizzo-0.9-grn6000.67FAIL
sKizzo-0.9-abs6000.7FAIL
openQbf6000.86FAIL