Instances of family Sorting_networks solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT1.37
sortnetsort9.v.stepl.005UNSAT6.03
sortnetsort9.AE.stepl.007UNSAT25.98
sortnetsort9.v.stepl.007SAT30.78
sortnetsort9.AE.stepl.009UNSAT39.96
sortnetsort9.AE.stepl.012UNSAT54.23
sortnetsort10.v.stepl.005UNSAT120.05
sortnetsort9.AE.stepl.008UNSAT124.24
sortnetsort10.AE.stepl.005FAIL900.06
sortnetsort10.AE.stepl.008FAIL900.1