Results for instance s510_d2_s
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.13UNSAT
qube5.00.25SAT
preQuantor0.86SAT
2clsQ0.86SAT
SQBF0.87SAT
sKizzo-0.9-grn0.99SAT
sKizzo-0.9-abs1.01SAT
sKizzo-0.9-std1.11SAT
QUANTOR11.88SAT
qube3.0414.96FAIL
Quaffle563.35FAIL
Qbfl595.25FAIL
GRL600.63FAIL
WalkQSAT600.99FAIL
semprop601FAIL
qube4.04767.16FAIL
sSolve5997.14FAIL
ssolve+ut5997.35FAIL
yQuaffle5999.76FAIL
ssolve-ut6000.32FAIL
openQbf6000.92FAIL