Instances of family Sorting_networks solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.29
sortnetsort5.v.stepl.006SAT0.66
sortnetsort6.v.stepl.003UNSAT0.92
sortnetsort5.v.stepl.007SAT1.24
sortnetsort5.v.stepl.005SAT1.76
sortnetsort5.v.stepl.004UNSAT2.61
sortnetsort7.v.stepl.003UNSAT2.99
sortnetsort5.AE.stepl.003SAT24.61
sortnetsort8.v.stepl.003UNSAT31.01
sortnetsort6.v.stepl.006SAT34.57
sortnetsort6.v.stepl.004UNSAT36.43
sortnetsort6.v.stepl.007SAT83.19
sortnetsort7.v.stepl.004UNSAT181.86
sortnetsort6.v.stepl.005SAT201.06
sortnetsort6.AE.stepl.004FAIL599.97
sortnetsort5.AE.stepl.004SAT1321.74
sortnetsort6.AE.stepl.003SAT3054.11
sortnetsort8.v.stepl.004UNSAT5780.72
sortnetsort5.AE.stepl.005UNSAT5856.64
sortnetsort5.AE.stepl.006FAIL5999.77
sortnetsort5.AE.stepl.007FAIL5999.88
sortnetsort6.AE.stepl.005FAIL5999.95
sortnetsort6.AE.stepl.006FAIL6000
sortnetsort7.AE.stepl.004FAIL6000.09
sortnetsort7.AE.stepl.009FAIL6000.13
sortnetsort6.AE.stepl.007FAIL6000.16
sortnetsort9.v.stepl.009FAIL6000.18
sortnetsort8.AE.stepl.003FAIL6000.18
sortnetsort9.AE.stepl.007FAIL6000.19
sortnetsort9.AE.stepl.004FAIL6000.19
sortnetsort7.v.stepl.007FAIL6000.2
sortnetsort8.v.stepl.006FAIL6000.21
sortnetsort7.AE.stepl.008FAIL6000.21
sortnetsort8.AE.stepl.006FAIL6000.22
sortnetsort7.AE.stepl.003FAIL6000.23
sortnetsort9.v.stepl.007FAIL6000.23
sortnetsort7.v.stepl.005FAIL6000.23
sortnetsort9.AE.stepl.005FAIL6000.23
sortnetsort9.v.stepl.006FAIL6000.24
sortnetsort7.v.stepl.006FAIL6000.24
sortnetsort8.AE.stepl.008FAIL6000.24
sortnetsort9.v.stepl.008FAIL6000.25
sortnetsort8.v.stepl.008FAIL6000.25
sortnetsort10.AE.stepl.005FAIL6000.25
sortnetsort10.AE.stepl.006FAIL6000.25
sortnetsort10.v.stepl.007FAIL6000.25
sortnetsort9.AE.stepl.006FAIL6000.25
sortnetsort8.AE.stepl.004FAIL6000.26
sortnetsort9.AE.stepl.008FAIL6000.26
sortnetsort10.AE.stepl.011FAIL6000.26
sortnetsort8.AE.stepl.009FAIL6000.26
sortnetsort10.v.stepl.006FAIL6000.26
sortnetsort9.AE.stepl.009FAIL6000.27
sortnetsort10.v.stepl.012FAIL6000.27
sortnetsort10.v.stepl.005FAIL6000.27
sortnetsort7.AE.stepl.007FAIL6000.27
sortnetsort7.v.stepl.008FAIL6000.27
sortnetsort9.v.stepl.005FAIL6000.27
sortnetsort8.v.stepl.005FAIL6000.28
sortnetsort10.v.stepl.009FAIL6000.28
sortnetsort8.v.stepl.007FAIL6000.28
sortnetsort10.v.stepl.004FAIL6000.28
sortnetsort9.AE.stepl.011FAIL6000.28
sortnetsort9.v.stepl.011FAIL6000.28
sortnetsort8.AE.stepl.005FAIL6000.29
sortnetsort7.AE.stepl.006FAIL6000.29
sortnetsort9.v.stepl.010FAIL6000.29
sortnetsort9.v.stepl.004FAIL6000.29
sortnetsort10.AE.stepl.009FAIL6000.3
sortnetsort9.AE.stepl.012FAIL6000.3
sortnetsort10.AE.stepl.007FAIL6000.3
sortnetsort7.v.stepl.009FAIL6000.3
sortnetsort10.AE.stepl.012FAIL6000.31
sortnetsort8.AE.stepl.007FAIL6000.31
sortnetsort9.v.stepl.012FAIL6000.31
sortnetsort10.v.stepl.008FAIL6000.32
sortnetsort10.AE.stepl.004FAIL6000.32
sortnetsort7.AE.stepl.005FAIL6000.32
sortnetsort8.v.stepl.009FAIL6000.32
sortnetsort10.AE.stepl.008FAIL6000.32
sortnetsort10.AE.stepl.010FAIL6000.33
sortnetsort10.v.stepl.010FAIL6000.33
sortnetsort9.AE.stepl.010FAIL6000.33
sortnetsort10.v.stepl.011FAIL6000.39