Results for instance k_lin_n-4
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.02UNSAT
QUANTOR0.03SAT
semprop0.04SAT
2clsQ0.09SAT
preQuantor0.09SAT
SQBF0.1SAT
qube5.00.35SAT
Quaffle0.37SAT
sKizzo-0.9-grn0.85SAT
sSolve1.41SAT
ssolve-ut1.43SAT
ssolve+ut1.79SAT
qube4.02.69SAT
qube3.03.82SAT
yQuaffle5.05SAT
GRL5.43SAT
sKizzo-0.9-abs9.14SAT
sKizzo-0.9-std20.63SAT
Qbfl598.41FAIL
WalkQSAT601FAIL
openQbf6000.83FAIL