Results for instance k_ph_n-8
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.03UNSAT
QUANTOR0.04SAT
SQBF0.15SAT
preQuantor0.17SAT
2clsQ0.18SAT
qube5.00.18SAT
Quaffle0.3SAT
sKizzo-0.9-grn0.42SAT
WalkQSAT0.5SAT
yQuaffle0.53SAT
sSolve0.68SAT
ssolve-ut0.73SAT
qube4.00.76SAT
qube3.00.84SAT
ssolve+ut0.96SAT
GRL2.94SAT
sKizzo-0.9-abs8.89SAT
sKizzo-0.9-std9.41SAT
semprop10.11SAT
Qbfl597.96FAIL
openQbf6000.84FAIL