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



Solver Time Result
semprop0.13SAT
QUANTOR_hc63.21FAIL
QUANTOR64.73FAIL
preQuantor73.44FAIL
sKizzo-0.9-grn237.06FAIL
sKizzo-0.9-std407.81FAIL
Quaffle564.01FAIL
yQuaffle596.9FAIL
GRL600.75FAIL
WalkQSAT600.98FAIL
SQBF4600.63FAIL
qube3.05998.32FAIL
qube4.05999.26FAIL
qube5.05999.7FAIL
ssolve-ut6000.31FAIL
ssolve+ut6000.33FAIL
sSolve6000.36FAIL
2clsQ6000.42FAIL
sKizzo-0.9-abs6000.6FAIL
Qbfl6000.62FAIL
openQbf6000.98FAIL