Results for instance k_poly_n-12
QBFEVAL'06



Solver Time Result
QUANTOR_hc0UNSAT
QUANTOR0.02SAT
preQuantor0.03SAT
2clsQ0.03SAT
SQBF0.04SAT
semprop0.11SAT
sKizzo-0.9-abs0.65SAT
sKizzo-0.9-std0.69SAT
ssolve-ut1.94SAT
sSolve2SAT
ssolve+ut2.63SAT
sKizzo-0.9-grn309.64FAIL
Quaffle564.33FAIL
GRL600.73FAIL
WalkQSAT600.98FAIL
qube4.02298.78FAIL
qube5.02315.96FAIL
qube3.02959.11FAIL
Qbfl5993.28FAIL
yQuaffle5997.4FAIL
openQbf6000.07FAIL