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

InstanceResultTime
sortnetsort8.v.stepl.007SAT3.61
sortnetsort9.v.stepl.007SAT11.12
sortnetsort9.v.stepl.005UNSAT12.47
sortnetsort10.v.stepl.005UNSAT26.49
sortnetsort9.AE.stepl.008UNSAT30.54
sortnetsort9.AE.stepl.009UNSAT67.68
sortnetsort10.AE.stepl.005SAT72.3
sortnetsort9.AE.stepl.012UNSAT99.31
sortnetsort9.AE.stepl.007UNSAT135.88
sortnetsort10.AE.stepl.008UNSAT420.76