Results for instance x145.9
QBFEVAL'06



Solver Time Result
preQuantor53.17FAIL
QUANTOR_hc66.36FAIL
QUANTOR67.18FAIL
Quaffle567.68FAIL
yQuaffle582.94FAIL
GRL600.93FAIL
WalkQSAT600.99FAIL
semprop601.01FAIL
qube3.0760.25UNSAT
sKizzo-0.9-abs3010.36FAIL
SQBF5402.85FAIL
Qbfl5999.96FAIL
sSolve6000.21FAIL
ssolve+ut6000.24FAIL
ssolve-ut6000.31FAIL
2clsQ6000.42FAIL
qube4.06000.65FAIL
sKizzo-0.9-std6000.67FAIL
sKizzo-0.9-grn6000.71FAIL
qube5.06000.76FAIL
openQbf6000.91FAIL