Results for instance ev-pr-8x8-11-7-0-1-2-lg
QBFEVAL'06



Solver Time Result
sKizzo-0.9-grn2.37UNSAT
sKizzo-0.9-abs2.42UNSAT
sKizzo-0.9-std2.65UNSAT
Quaffle233.88UNSAT
QUANTOR_hc261.3FAIL
QUANTOR262.36FAIL
qube3.0304.68FAIL
preQuantor352.6FAIL
qube5.0352.76FAIL
qube4.0397.02FAIL
semprop529.72UNSAT
yQuaffle586.23FAIL
GRL600.84FAIL
WalkQSAT601FAIL
SQBF2502.36FAIL
Qbfl5990.67FAIL
sSolve6000.24FAIL
ssolve+ut6000.27FAIL
ssolve-ut6000.31FAIL
2clsQ6000.42FAIL
openQbf6000.92FAIL