Results for instance ncf_8_16_8_edau.5
QBFEVAL'06



Solver Time Result
qube4.011.42SAT
qube5.011.66SAT
preQuantor18.49FAIL
QUANTOR20.64FAIL
QUANTOR_hc21.61FAIL
ssolve-ut83.71SAT
sSolve90.12SAT
ssolve+ut91.43SAT
semprop370.29SAT
Quaffle516.73FAIL
yQuaffle583.99FAIL
Qbfl599.4FAIL
GRL600.95FAIL
WalkQSAT600.99FAIL
SQBF1202.11FAIL
qube3.06000.2FAIL
2clsQ6000.42FAIL
sKizzo-0.9-grn6000.5FAIL
sKizzo-0.9-std6000.51FAIL
sKizzo-0.9-abs6000.61FAIL
openQbf6000.82FAIL