Instances of family Sorting_networks solved by Rareqs_2018
Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT1.3
sortnetsort9.v.stepl.005UNSAT6.24
sortnetsort9.AE.stepl.007UNSAT25.86
sortnetsort9.v.stepl.007SAT30.77
sortnetsort9.AE.stepl.009UNSAT39.59
sortnetsort9.AE.stepl.012UNSAT54.64
sortnetsort10.v.stepl.005UNSAT119.38
sortnetsort9.AE.stepl.008UNSAT123.6
sortnetsort10.AE.stepl.008FAIL900
sortnetsort10.AE.stepl.006FAIL900