Results for instance k_lin_n-16
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.87UNSAT
QUANTOR2.03SAT
semprop5.76SAT
preQuantor10.21SAT
SQBF10.3SAT
2clsQ10.48SAT
Quaffle23.19SAT
sKizzo-0.9-grn46.18FAIL
qube5.079.89SAT
sSolve117.7SAT
ssolve-ut118.59SAT
ssolve+ut119.77SAT
sKizzo-0.9-abs153.06FAIL
sKizzo-0.9-std157.3FAIL
qube3.0364.62FAIL
qube4.0364.8FAIL
GRL600.67FAIL
WalkQSAT601FAIL
yQuaffle2530.71FAIL
Qbfl5989.3FAIL
openQbf6000.86FAIL