Results for instance sortnetsort10.AE.stepl.009
QBFEVAL'06



Solver Time Result
semprop0.12SAT
QUANTOR_hc49.31FAIL
QUANTOR49.34FAIL
preQuantor68.82FAIL
sKizzo-0.9-std247.59FAIL
sKizzo-0.9-grn275.28FAIL
Quaffle560.88FAIL
yQuaffle597.97FAIL
GRL600.83FAIL
WalkQSAT600.99FAIL
SQBF2727.41FAIL
qube3.05997.64FAIL
Qbfl5998.07FAIL
qube4.05998.65FAIL
qube5.05999.08FAIL
sSolve6000.28FAIL
ssolve+ut6000.3FAIL
ssolve-ut6000.34FAIL
2clsQ6000.42FAIL
sKizzo-0.9-abs6000.85FAIL
openQbf6000.95FAIL