Results for instance eijk.S349.S-f2
QBFEVAL'06



Solver Time Result
preQuantor23.96FAIL
qube5.078.85SAT
SQBF164.32FAIL
QUANTOR239.78FAIL
QUANTOR_hc241.97FAIL
Quaffle579.59FAIL
Qbfl599.44FAIL
sSolve599.95FAIL
ssolve+ut599.99FAIL
GRL600.89FAIL
semprop601FAIL
WalkQSAT601FAIL
sKizzo-0.9-grn788.02FAIL
sKizzo-0.9-abs791.02FAIL
sKizzo-0.9-std5120.38FAIL
2clsQ5847.86FAIL
qube4.06000.02FAIL
qube3.06000.05FAIL
yQuaffle6000.1FAIL
ssolve-ut6000.27FAIL
openQbf6000.76FAIL