Results for instance ncf_16_32_4_d.6
QBFEVAL'06



Solver Time Result
WalkQSAT0.33UNSAT
preQuantor17.17FAIL
QUANTOR_hc18.01FAIL
QUANTOR19.16FAIL
Quaffle518.66FAIL
yQuaffle584.67FAIL
Qbfl597.93FAIL
ssolve+ut600.07FAIL
GRL600.92FAIL
semprop601FAIL
SQBF821.82FAIL
sKizzo-0.9-grn5856.5FAIL
sSolve5999.64FAIL
qube5.06000.28FAIL
ssolve-ut6000.37FAIL
qube4.06000.39FAIL
2clsQ6000.42FAIL
qube3.06000.46FAIL
openQbf6000.84FAIL
sKizzo-0.9-abs6000.85FAIL
sKizzo-0.9-std6000.88FAIL