Results for instance x205.6
QBFEVAL'06



Solver Time Result
semprop0.13SAT
preQuantor128.24FAIL
QUANTOR_hc147.47FAIL
QUANTOR149.42FAIL
yQuaffle553.58FAIL
Quaffle558.97FAIL
GRL600.84FAIL
WalkQSAT601FAIL
qube5.04973.61UNSAT
qube4.04980.79UNSAT
SQBF5214.26FAIL
sKizzo-0.9-abs5999.99FAIL
qube3.06000.17FAIL
ssolve+ut6000.2FAIL
Qbfl6000.23FAIL
sSolve6000.3FAIL
ssolve-ut6000.32FAIL
2clsQ6000.42FAIL
sKizzo-0.9-std6000.76FAIL
sKizzo-0.9-grn6000.79FAIL
openQbf6000.93FAIL