Instances of family Sorting_networks solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
sortnetsort5.AE.stepl.005UNSAT0.86
sortnetsort6.AE.stepl.003SAT0.92
sortnetsort5.AE.stepl.006UNSAT0.93
sortnetsort5.AE.stepl.007UNSAT1
sortnetsort5.AE.stepl.004SAT1.14
sortnetsort7.AE.stepl.003SAT1.3
sortnetsort7.v.stepl.004UNSAT1.32
sortnetsort8.AE.stepl.003SAT1.5
sortnetsort6.AE.stepl.006UNSAT1.7
sortnetsort6.AE.stepl.004SAT1.78
sortnetsort7.v.stepl.007SAT1.88
sortnetsort7.v.stepl.008SAT2.08
sortnetsort7.v.stepl.009SAT2.31
sortnetsort7.v.stepl.006SAT2.36
sortnetsort6.AE.stepl.005UNSAT2.44
sortnetsort8.v.stepl.004UNSAT3
sortnetsort6.AE.stepl.007UNSAT3.04
sortnetsort8.v.stepl.006SAT3.69
sortnetsort8.v.stepl.007SAT4.51
sortnetsort8.v.stepl.008SAT4.95
sortnetsort8.v.stepl.009SAT5.71
sortnetsort8.AE.stepl.004SAT5.95
sortnetsort9.v.stepl.004UNSAT7.14
sortnetsort7.v.stepl.005UNSAT7.32
sortnetsort9.v.stepl.008SAT11.94
sortnetsort7.AE.stepl.004SAT12.76
sortnetsort9.v.stepl.007SAT15.93
sortnetsort9.AE.stepl.004SAT16.39
sortnetsort9.v.stepl.009SAT17.08
sortnetsort8.v.stepl.005UNSAT17.17
sortnetsort9.v.stepl.010SAT18.07
sortnetsort10.v.stepl.004UNSAT18.96
sortnetsort9.v.stepl.011SAT150.42
sortnetsort9.v.stepl.012FAIL168.6
sortnetsort10.v.stepl.009SAT209.51
sortnetsort9.v.stepl.005UNSAT215.57
sortnetsort7.AE.stepl.008UNSAT216.08
sortnetsort10.v.stepl.008SAT234.83
sortnetsort7.AE.stepl.009UNSAT237.86
sortnetsort10.v.stepl.012SAT240.23
sortnetsort10.v.stepl.011SAT246.24
sortnetsort10.v.stepl.010SAT254.31
sortnetsort7.AE.stepl.007UNSAT263.76
sortnetsort10.v.stepl.005UNSAT271.86
sortnetsort7.AE.stepl.006UNSAT279.51
sortnetsort10.AE.stepl.004SAT395.1
sortnetsort8.AE.stepl.007UNSAT455.54
sortnetsort10.v.stepl.007FAIL600
sortnetsort7.AE.stepl.005FAIL600
sortnetsort8.AE.stepl.008FAIL600
sortnetsort8.AE.stepl.009FAIL600
sortnetsort8.AE.stepl.005FAIL600
sortnetsort8.AE.stepl.006FAIL600