Instances of family Sorting_networks solved by Caqe-bloqqer-qdo
Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT1.68
sortnetsort9.v.stepl.005UNSAT9.91
sortnetsort10.v.stepl.005UNSAT13.97
sortnetsort9.AE.stepl.009UNSAT21.13
sortnetsort9.v.stepl.007SAT27.05
sortnetsort9.AE.stepl.008UNSAT45.42
sortnetsort9.AE.stepl.007UNSAT55.2
sortnetsort9.AE.stepl.012UNSAT102.01
sortnetsort10.AE.stepl.008UNSAT208.9
sortnetsort10.AE.stepl.006FAIL900