Instances of family Sorting_networks solved by HQSpre_solver
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT3.77
sortnetsort9.v.stepl.005UNSAT21.16
sortnetsort9.v.stepl.007SAT26.5
sortnetsort10.v.stepl.005UNSAT40.62
sortnetsort9.AE.stepl.009FAIL900
sortnetsort9.AE.stepl.012FAIL900