Instances of family Sorting_networks solved by rareqs
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
sortnetsort7.AE.stepl.007UNSAT1.07
sortnetsort7.AE.stepl.006UNSAT1.25
sortnetsort7.AE.stepl.008UNSAT1.39
sortnetsort7.AE.stepl.009UNSAT1.62
sortnetsort8.AE.stepl.004SAT1.74
sortnetsort5.AE.stepl.007UNSAT2.33
sortnetsort5.AE.stepl.006UNSAT2.44
sortnetsort5.AE.stepl.005UNSAT2.94
sortnetsort9.AE.stepl.004SAT2.96
sortnetsort8.AE.stepl.006UNSAT3.24
sortnetsort6.AE.stepl.004SAT3.3
sortnetsort6.AE.stepl.007UNSAT3.69
sortnetsort5.AE.stepl.003SAT4.53
sortnetsort8.AE.stepl.003SAT5.11
sortnetsort7.AE.stepl.004SAT6.1
sortnetsort8.AE.stepl.005SAT6.29
sortnetsort7.AE.stepl.003SAT7.41
sortnetsort6.AE.stepl.006UNSAT8.33
sortnetsort5.AE.stepl.004SAT8.88
sortnetsort6.AE.stepl.005UNSAT9.23
sortnetsort6.AE.stepl.003SAT10.64
sortnetsort10.AE.stepl.004SAT10.92
sortnetsort8.AE.stepl.008UNSAT11.34
sortnetsort8.AE.stepl.009UNSAT12.38
sortnetsort9.AE.stepl.005SAT13.96
sortnetsort9.AE.stepl.007UNSAT25.89
sortnetsort7.AE.stepl.005SAT26.25
sortnetsort8.AE.stepl.007UNSAT34.77
sortnetsort9.AE.stepl.009UNSAT39.69
sortnetsort9.AE.stepl.012UNSAT54.12
sortnetsort9.AE.stepl.008UNSAT120.59
sortnetsort9.AE.stepl.010UNSAT131.07
sortnetsort9.AE.stepl.011UNSAT151.81
sortnetsort10.AE.stepl.009UNSAT481.67
sortnetsort10.AE.stepl.005FAIL599.71
sortnetsort10.AE.stepl.006FAIL599.71
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort9.AE.stepl.006FAIL599.71
sortnetsort10.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.010FAIL599.71
sortnetsort10.AE.stepl.011FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71