Instances of family Sorting_networks solved by SQBF
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.03
sortnetsort5.v.stepl.006SAT0.04
sortnetsort5.v.stepl.005SAT0.05
sortnetsort5.v.stepl.004UNSAT0.06
sortnetsort6.v.stepl.003UNSAT0.07
sortnetsort5.v.stepl.007SAT0.12
sortnetsort6.v.stepl.006SAT0.13
sortnetsort6.v.stepl.007SAT0.15
sortnetsort6.v.stepl.005SAT0.15
sortnetsort7.v.stepl.003UNSAT0.29
sortnetsort6.v.stepl.004UNSAT0.3
sortnetsort8.v.stepl.003UNSAT0.62
sortnetsort7.v.stepl.008SAT0.83
sortnetsort7.v.stepl.004UNSAT0.85
sortnetsort7.v.stepl.009SAT1.26
sortnetsort8.v.stepl.008SAT2.1
sortnetsort8.v.stepl.004UNSAT2.52
sortnetsort8.v.stepl.009SAT2.59
sortnetsort7.v.stepl.006SAT5
sortnetsort8.v.stepl.006SAT6.14
sortnetsort7.v.stepl.007SAT7.31
sortnetsort9.v.stepl.004UNSAT7.9
sortnetsort9.v.stepl.011SAT9.12
sortnetsort8.v.stepl.007SAT10.6
sortnetsort9.v.stepl.008SAT12.42
sortnetsort9.v.stepl.010SAT13.64
sortnetsort9.v.stepl.009SAT15.07
sortnetsort9.v.stepl.012SAT15.61
sortnetsort7.v.stepl.005UNSAT23.28
sortnetsort10.v.stepl.004UNSAT23.57
sortnetsort10.v.stepl.009SAT27.38
sortnetsort8.v.stepl.005UNSAT49.94
sortnetsort10.v.stepl.008SAT53.24
sortnetsort10.v.stepl.012SAT58.12
sortnetsort10.v.stepl.011SAT64.13
sortnetsort10.v.stepl.010SAT72.3
sortnetsort9.v.stepl.005UNSAT129.85
sortnetsort5.AE.stepl.005FAIL514.76
sortnetsort6.AE.stepl.003FAIL574.97
sortnetsort7.AE.stepl.003FAIL619.66
sortnetsort5.AE.stepl.007FAIL654.92
sortnetsort6.AE.stepl.005FAIL677.36
sortnetsort5.AE.stepl.003FAIL685.97
sortnetsort6.AE.stepl.006FAIL698.03
sortnetsort5.AE.stepl.006FAIL729.98
sortnetsort7.AE.stepl.004FAIL789.61
sortnetsort5.AE.stepl.004FAIL803.94
sortnetsort6.AE.stepl.007FAIL809.45
sortnetsort7.AE.stepl.005FAIL877.48
sortnetsort6.AE.stepl.004FAIL901.08
sortnetsort8.AE.stepl.003FAIL936.45
sortnetsort7.AE.stepl.007FAIL1259.34
sortnetsort8.AE.stepl.004FAIL1265.22
sortnetsort8.AE.stepl.005FAIL1306.69
sortnetsort8.AE.stepl.006FAIL1308.86
sortnetsort7.AE.stepl.008FAIL1413.17
sortnetsort7.AE.stepl.006FAIL1440.76
sortnetsort9.AE.stepl.005FAIL1543.09
sortnetsort7.AE.stepl.009FAIL1688.84
sortnetsort8.AE.stepl.008FAIL1688.86
sortnetsort10.AE.stepl.004FAIL2026.15
sortnetsort10.AE.stepl.005FAIL2122.53
sortnetsort9.AE.stepl.007FAIL2450.09
sortnetsort9.AE.stepl.008FAIL2478.5
sortnetsort8.AE.stepl.009FAIL2699.38
sortnetsort9.AE.stepl.004FAIL2711.49
sortnetsort10.AE.stepl.009FAIL2727.41
sortnetsort10.AE.stepl.007FAIL2884.36
sortnetsort10.AE.stepl.008FAIL3206.72
sortnetsort9.AE.stepl.010FAIL3326.4
sortnetsort9.AE.stepl.012FAIL3682.54
sortnetsort9.AE.stepl.011FAIL3875.69
sortnetsort10.AE.stepl.012FAIL4321.1
sortnetsort9.AE.stepl.006FAIL4371.03
sortnetsort8.AE.stepl.007FAIL4429.5
sortnetsort10.AE.stepl.010FAIL4600.63
sortnetsort9.AE.stepl.009FAIL4610.46
sortnetsort10.AE.stepl.011FAIL4951.49
sortnetsort10.AE.stepl.006FAIL5175.8
sortnetsort9.v.stepl.006FAIL6000.42
sortnetsort9.v.stepl.007FAIL6000.42
sortnetsort10.v.stepl.005FAIL6000.42
sortnetsort10.v.stepl.006FAIL6000.42
sortnetsort10.v.stepl.007FAIL6000.42