Results for instance sortnetsort9.AE.stepl.005
QBFEVAL'06



Solver Time Result
QUANTOR_hc46FAIL
QUANTOR46.61FAIL
preQuantor48.23FAIL
sKizzo-0.9-std206.35FAIL
sKizzo-0.9-grn248.7FAIL
Quaffle544.29FAIL
yQuaffle599.86FAIL
GRL600.92FAIL
WalkQSAT600.98FAIL
semprop600.99FAIL
SQBF1543.09FAIL
Qbfl5998.73FAIL
qube4.05999.49FAIL
qube5.05999.6FAIL
qube3.06000.17FAIL
ssolve+ut6000.23FAIL
sSolve6000.31FAIL
ssolve-ut6000.38FAIL
2clsQ6000.42FAIL
sKizzo-0.9-abs6000.84FAIL
openQbf6000.88FAIL