Results for instance k_poly_n-4
QBFEVAL'06



Solver Time Result
QUANTOR_hc0UNSAT
QUANTOR0SAT
semprop0SAT
SQBF0SAT
2clsQ0SAT
preQuantor0.01SAT
sKizzo-0.9-abs0.04SAT
sKizzo-0.9-std0.07SAT
ssolve-ut0.37SAT
sSolve0.43SAT
ssolve+ut0.73SAT
Quaffle563.86FAIL
sKizzo-0.9-grn570.43FAIL
Qbfl598.92FAIL
GRL600.81FAIL
WalkQSAT601FAIL
yQuaffle5998.75FAIL
qube3.06000.34FAIL
qube4.06000.35FAIL
qube5.06000.54FAIL
openQbf6000.86FAIL