Results for instance ncf_8_16_8_edau.2
QBFEVAL'06



Solver Time Result
qube4.010.99SAT
qube5.011.02SAT
QUANTOR_hc17.21FAIL
QUANTOR17.81FAIL
preQuantor17.97FAIL
WalkQSAT19.74SAT
Quaffle516.77FAIL
yQuaffle581.17FAIL
Qbfl599.35FAIL
ssolve-ut600.31FAIL
GRL600.96FAIL
semprop601FAIL
SQBF937.71FAIL
sSolve945.97SAT
ssolve+ut949.89SAT
sKizzo-0.9-std5038.18FAIL
sKizzo-0.9-abs5102.12FAIL
qube3.06000.28FAIL
2clsQ6000.42FAIL
openQbf6000.81FAIL
sKizzo-0.9-grn6000.86FAIL