Results for instance sortnetsort9.v.stepl.007
QBFEVAL'06



Solver Time Result
QUANTOR13.54SAT
QUANTOR_hc13.82SAT
sKizzo-0.9-grn51.88SAT
preQuantor153.31SAT
sKizzo-0.9-abs346.71SAT
sKizzo-0.9-std439.88FAIL
yQuaffle597.45FAIL
Qbfl598.55FAIL
WalkQSAT600.08FAIL
GRL600.42FAIL
semprop601FAIL
qube4.05997.56FAIL
qube5.05997.69FAIL
qube3.05998.7FAIL
Quaffle5999.31FAIL
sSolve6000.21FAIL
ssolve+ut6000.23FAIL
ssolve-ut6000.25FAIL
openQbf6000.38FAIL
2clsQ6000.42FAIL
SQBF6000.42FAIL