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



Solver Time Result
preQuantor25.53FAIL
QUANTOR_hc170.77FAIL
QUANTOR171.42FAIL
SQBF246.09FAIL
Quaffle584.93FAIL
Qbfl599.72FAIL
ssolve+ut599.9FAIL
sSolve599.93FAIL
GRL600.92FAIL
WalkQSAT601FAIL
semprop601FAIL
qube3.04123.28FAIL
qube4.05999.88FAIL
yQuaffle6000.01FAIL
ssolve-ut6000.23FAIL
qube5.06000.32FAIL
sKizzo-0.9-std6000.4FAIL
2clsQ6000.42FAIL
sKizzo-0.9-grn6000.49FAIL
sKizzo-0.9-abs6000.65FAIL
openQbf6000.93FAIL