Instances of family Sorting_networks solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
sortnetsort5.AE.stepl.005UNSAT0.71
sortnetsort6.AE.stepl.003SAT0.77
sortnetsort5.AE.stepl.006UNSAT0.78
sortnetsort5.AE.stepl.007UNSAT0.85
sortnetsort5.AE.stepl.004SAT1.02
sortnetsort7.AE.stepl.003SAT1.15
sortnetsort7.v.stepl.004UNSAT1.2
sortnetsort8.AE.stepl.003SAT1.4
sortnetsort6.AE.stepl.006UNSAT1.58
sortnetsort6.AE.stepl.004SAT1.66
sortnetsort7.v.stepl.007SAT1.72
sortnetsort7.v.stepl.008SAT1.91
sortnetsort7.v.stepl.009SAT2.17
sortnetsort7.v.stepl.006SAT2.24
sortnetsort6.AE.stepl.005UNSAT2.33
sortnetsort8.v.stepl.004UNSAT2.86
sortnetsort6.AE.stepl.007UNSAT2.91
sortnetsort8.v.stepl.006SAT3.58
sortnetsort8.v.stepl.007SAT4.36
sortnetsort8.v.stepl.008SAT4.82
sortnetsort8.v.stepl.009SAT5.58
sortnetsort8.AE.stepl.004SAT5.77
sortnetsort9.v.stepl.004UNSAT7.07
sortnetsort7.v.stepl.005UNSAT7.18
sortnetsort9.v.stepl.008SAT11.89
sortnetsort7.AE.stepl.004SAT12.7
sortnetsort9.v.stepl.007SAT15.83
sortnetsort9.AE.stepl.004SAT16.39
sortnetsort9.v.stepl.009SAT16.91
sortnetsort8.v.stepl.005UNSAT16.93
sortnetsort9.v.stepl.010SAT17.86
sortnetsort10.v.stepl.004UNSAT18.82
sortnetsort9.v.stepl.011SAT150.31
sortnetsort9.v.stepl.012FAIL160.57
sortnetsort10.AE.stepl.004SAT205.87
sortnetsort10.v.stepl.009SAT209.23
sortnetsort9.v.stepl.005UNSAT214.93
sortnetsort7.AE.stepl.008UNSAT216.06
sortnetsort10.v.stepl.008SAT234.85
sortnetsort7.AE.stepl.009UNSAT238.32
sortnetsort10.v.stepl.012SAT240.18
sortnetsort10.v.stepl.011SAT246.16
sortnetsort10.v.stepl.010SAT253.94
sortnetsort7.AE.stepl.007UNSAT263.92
sortnetsort10.v.stepl.005UNSAT272.52
sortnetsort7.AE.stepl.006UNSAT279.16
sortnetsort8.AE.stepl.007UNSAT454.65
sortnetsort8.AE.stepl.005FAIL600
sortnetsort8.AE.stepl.006FAIL600
sortnetsort10.v.stepl.007FAIL600
sortnetsort7.AE.stepl.005FAIL600
sortnetsort8.AE.stepl.008FAIL600
sortnetsort8.AE.stepl.009FAIL600