Results for instance sortnetsort5.AE.stepl.006
QBFEVAL'06



Solver Time Result
yQuaffle0.14UNSAT
qube4.00.24UNSAT
qube5.00.27UNSAT
qube3.00.27UNSAT
GRL19.19UNSAT
QUANTOR48.01FAIL
QUANTOR_hc48.24FAIL
preQuantor57.83FAIL
2clsQ87.59UNSAT
semprop295.9UNSAT
Quaffle531.23FAIL
sKizzo-0.9-grn599.89FAIL
WalkQSAT600.97FAIL
SQBF729.98FAIL
sKizzo-0.9-abs1166.87FAIL
Qbfl5991.94FAIL
ssolve+ut5999.77FAIL
sSolve5999.95FAIL
ssolve-ut6000.34FAIL
sKizzo-0.9-std6000.74FAIL
openQbf6000.86FAIL