Instances of family Sorting_networks solved by caqe-pre
Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT5.58
sortnetsort9.AE.stepl.009UNSAT33.14
sortnetsort9.v.stepl.007SAT39.16
sortnetsort9.AE.stepl.008UNSAT43.67
sortnetsort9.AE.stepl.007UNSAT50.07
sortnetsort9.AE.stepl.012UNSAT66.35
sortnetsort10.AE.stepl.008UNSAT89.37
sortnetsort9.v.stepl.005UNSAT103.28
sortnetsort10.v.stepl.005UNSAT570.07
sortnetsort10.AE.stepl.006FAIL900