Results for instance sortnetsort7.AE.stepl.005
QBFEVAL'10 - Small Hard Track.



Solver Time Result
depqbf-pre5.42SAT
QuBE7-c59.54SAT
quantor-3.177.77FAIL
QuBE7-m130.73SAT
depqbf515.92SAT
AIGSolve518.71FAIL
nenofex-qbfeval10732.94FAIL
QuBE7749.99SAT
aqme-101560.71SAT
struqs-1043200FAIL