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

InstanceResultTime
sortnetsort8.v.stepl.007SAT1.67
sortnetsort9.v.stepl.005UNSAT9.79
sortnetsort10.v.stepl.005UNSAT14.07
sortnetsort9.AE.stepl.009UNSAT20.72
sortnetsort9.v.stepl.007SAT27.06
sortnetsort10.AE.stepl.005SAT30.47
sortnetsort9.AE.stepl.008UNSAT45.22
sortnetsort9.AE.stepl.007UNSAT55.17
sortnetsort9.AE.stepl.012UNSAT102.86
sortnetsort10.AE.stepl.008UNSAT209.86