Results for instance ncf_4_8_4_euad.10
QBFEVAL'06



Solver Time Result
qube3.00.07SAT
semprop0.09SAT
qube4.00.1SAT
qube5.00.11SAT
WalkQSAT0.31SAT
sKizzo-0.9-std0.47SAT
sKizzo-0.9-abs0.48SAT
Qbfl0.52UNSAT
ssolve-ut0.72SAT
sSolve1.77SAT
ssolve+ut1.89SAT
SQBF2.26SAT
2clsQ2.27SAT
preQuantor2.28SAT
openQbf2.38SAT
QUANTOR4.8SAT
QUANTOR_hc4.81SAT
sKizzo-0.9-grn6.2SAT
GRL35.71SAT
Quaffle516.29FAIL
yQuaffle595.73FAIL