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



Solver Time Result
yQuaffle1.27UNSAT
qube4.01.74UNSAT
qube5.01.76UNSAT
qube3.03.34UNSAT
QUANTOR49.25FAIL
QUANTOR_hc50.47FAIL
preQuantor53.48FAIL
sKizzo-0.9-grn211.03FAIL
Quaffle532.24FAIL
GRL600.88FAIL
WalkQSAT600.96FAIL
semprop601FAIL
SQBF677.36FAIL
2clsQ2898.23UNSAT
Qbfl5992.33FAIL
ssolve+ut5999.95FAIL
sSolve6000.1FAIL
sKizzo-0.9-abs6000.23FAIL
ssolve-ut6000.27FAIL
sKizzo-0.9-std6000.31FAIL
openQbf6000.84FAIL