Results for instance CHAIN21v.22
QBFEVAL'06



Solver Time Result
preQuantor0.03SAT
semprop0.04SAT
SQBF0.04SAT
2clsQ0.05SAT
QUANTOR_hc0.06SAT
QUANTOR0.06SAT
sKizzo-0.9-grn0.06SAT
sKizzo-0.9-std0.07SAT
sKizzo-0.9-abs0.08SAT
qube4.00.22SAT
ssolve-ut0.24SAT
sSolve0.28SAT
ssolve+ut0.32SAT
Quaffle398.72SAT
Qbfl599.01FAIL
GRL600.97FAIL
WalkQSAT601FAIL
openQbf2713.24SAT
yQuaffle5999.21FAIL
qube3.06000.59FAIL
qube5.06000.65FAIL