Instances of family Sorting_networks solved by heretiq
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
sortnetsort8.AE.stepl.004SAT16.53
sortnetsort7.AE.stepl.009UNSAT17.62
sortnetsort7.AE.stepl.008UNSAT25.66
sortnetsort9.AE.stepl.004SAT26.81
sortnetsort7.AE.stepl.007UNSAT31.11
sortnetsort7.AE.stepl.006UNSAT31.19
sortnetsort8.AE.stepl.008UNSAT33.55
sortnetsort9.AE.stepl.007UNSAT36.46
sortnetsort8.AE.stepl.009UNSAT38.05
sortnetsort10.AE.stepl.004SAT38.7
sortnetsort8.AE.stepl.006UNSAT38.97
sortnetsort9.AE.stepl.011UNSAT40.56
sortnetsort10.AE.stepl.009UNSAT41.04
sortnetsort10.AE.stepl.011UNSAT46.25
sortnetsort8.AE.stepl.005SAT46.61
sortnetsort10.AE.stepl.010UNSAT51.44
sortnetsort9.AE.stepl.010UNSAT52.77
sortnetsort10.AE.stepl.012UNSAT64.19
sortnetsort9.AE.stepl.008UNSAT94
sortnetsort10.AE.stepl.008UNSAT99.01
sortnetsort9.AE.stepl.005SAT113.65
sortnetsort7.AE.stepl.005SAT126.3
sortnetsort10.AE.stepl.005FAIL900
sortnetsort10.AE.stepl.006FAIL900
sortnetsort10.AE.stepl.007FAIL900
sortnetsort9.AE.stepl.006FAIL900