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



Solver Time Result
semprop0.03SAT
yQuaffle24.12SAT
QUANTOR44.4FAIL
QUANTOR_hc45.26FAIL
preQuantor49.4FAIL
sKizzo-0.9-grn69.13FAIL
qube3.0213.66SAT
Quaffle545.05FAIL
GRL600.89FAIL
WalkQSAT601FAIL
sKizzo-0.9-std1079.3FAIL
SQBF2026.15FAIL
Qbfl5997.31FAIL
qube4.05999.56FAIL
qube5.05999.59FAIL
sSolve6000.24FAIL
ssolve-ut6000.31FAIL
ssolve+ut6000.32FAIL
2clsQ6000.42FAIL
openQbf6000.88FAIL
sKizzo-0.9-abs6000.9FAIL