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

InstanceResultTime
sortnetsort5.AE.stepl.003SAT1.72
sortnetsort7.AE.stepl.006UNSAT2.3
sortnetsort5.AE.stepl.005UNSAT2.82
sortnetsort5.AE.stepl.006UNSAT2.82
sortnetsort5.AE.stepl.004SAT2.87
sortnetsort5.AE.stepl.007UNSAT2.92
sortnetsort6.AE.stepl.003SAT3.93
sortnetsort6.AE.stepl.004SAT4.35
sortnetsort6.AE.stepl.007UNSAT4.98
sortnetsort7.AE.stepl.003SAT5.41
sortnetsort7.AE.stepl.007UNSAT5.57
sortnetsort7.AE.stepl.008UNSAT5.74
sortnetsort7.AE.stepl.009UNSAT6.02
sortnetsort6.AE.stepl.006UNSAT8.97
sortnetsort6.AE.stepl.005UNSAT10.11
sortnetsort7.AE.stepl.004SAT10.97
sortnetsort8.AE.stepl.003SAT21.99
sortnetsort9.AE.stepl.007UNSAT49.59
sortnetsort8.AE.stepl.004SAT61.35
sortnetsort8.AE.stepl.008UNSAT75.43
sortnetsort8.AE.stepl.007UNSAT85.74
sortnetsort8.AE.stepl.009UNSAT102.96
sortnetsort9.AE.stepl.010UNSAT115.62
sortnetsort8.AE.stepl.006UNSAT144.71
sortnetsort8.AE.stepl.005SAT145.81
sortnetsort7.AE.stepl.005SAT148.3
sortnetsort9.AE.stepl.004SAT457.23
sortnetsort9.AE.stepl.005SAT522.04
sortnetsort10.AE.stepl.010FAIL599.62
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort9.AE.stepl.006FAIL599.71
sortnetsort10.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.009FAIL599.71
sortnetsort10.AE.stepl.011FAIL599.71
sortnetsort10.AE.stepl.004FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
sortnetsort9.AE.stepl.011FAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
sortnetsort10.AE.stepl.006FAIL599.71
sortnetsort9.AE.stepl.008FAIL599.81
sortnetsort10.AE.stepl.005FAIL599.81