Results for instance cmu.dme2.B-f2
QBFEVAL'06



Solver Time Result
preQuantor18.73FAIL
QUANTOR_hc57.33FAIL
QUANTOR57.7FAIL
SQBF150.47FAIL
Quaffle584.08FAIL
Qbfl598.67FAIL
GRL600.67FAIL
semprop600.99FAIL
WalkQSAT601FAIL
sKizzo-0.9-std3139.49FAIL
qube3.04002.86FAIL
qube4.04851.06FAIL
sKizzo-0.9-grn5998.21FAIL
sSolve5998.25FAIL
ssolve+ut5998.32FAIL
sKizzo-0.9-abs5999.85FAIL
yQuaffle6000.05FAIL
ssolve-ut6000.36FAIL
2clsQ6000.42FAIL
qube5.06000.75FAIL
openQbf6000.91FAIL