Results for instance k_dum_n-20
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.02UNSAT
QUANTOR0.02SAT
2clsQ0.03SAT
preQuantor0.05SAT
SQBF0.05SAT
semprop0.12SAT
sKizzo-0.9-abs0.17SAT
sKizzo-0.9-std0.18SAT
ssolve-ut3.45SAT
sSolve3.76SAT
ssolve+ut4.64SAT
Quaffle564.19FAIL
sKizzo-0.9-grn570.21FAIL
Qbfl593.01FAIL
GRL600.74FAIL
WalkQSAT601FAIL
qube3.02044.04FAIL
qube5.02143.96FAIL
qube4.02489.98FAIL
yQuaffle5999.42FAIL
openQbf6000.92FAIL