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

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.21
sortnetsort5.v.stepl.006SAT0.72
sortnetsort6.v.stepl.003UNSAT0.98
sortnetsort5.v.stepl.007SAT1.17
sortnetsort5.v.stepl.005SAT1.82
sortnetsort5.v.stepl.004UNSAT2.61
sortnetsort7.v.stepl.003UNSAT2.95
sortnetsort5.AE.stepl.003SAT12.51
sortnetsort8.v.stepl.003UNSAT31.01
sortnetsort6.v.stepl.006SAT34.59
sortnetsort6.v.stepl.004UNSAT36.4
sortnetsort6.v.stepl.007SAT86.04
sortnetsort7.v.stepl.004UNSAT181.99
sortnetsort6.v.stepl.005SAT202.73
sortnetsort5.AE.stepl.004SAT1301.85
sortnetsort6.AE.stepl.003SAT3015.68
sortnetsort8.v.stepl.004UNSAT5784.37
sortnetsort5.AE.stepl.005UNSAT5847.95
sortnetsort7.AE.stepl.009FAIL6000.19
sortnetsort8.AE.stepl.005FAIL6000.19
sortnetsort7.AE.stepl.007FAIL6000.19
sortnetsort7.AE.stepl.008FAIL6000.2
sortnetsort8.AE.stepl.003FAIL6000.24
sortnetsort9.v.stepl.008FAIL6000.24
sortnetsort10.v.stepl.012FAIL6000.24
sortnetsort9.v.stepl.005FAIL6000.25
sortnetsort7.AE.stepl.003FAIL6000.25
sortnetsort9.v.stepl.007FAIL6000.25
sortnetsort7.v.stepl.007FAIL6000.25
sortnetsort6.AE.stepl.004FAIL6000.26
sortnetsort8.v.stepl.005FAIL6000.26
sortnetsort9.v.stepl.006FAIL6000.26
sortnetsort6.AE.stepl.006FAIL6000.26
sortnetsort10.v.stepl.011FAIL6000.26
sortnetsort10.AE.stepl.005FAIL6000.26
sortnetsort10.v.stepl.005FAIL6000.26
sortnetsort10.v.stepl.006FAIL6000.27
sortnetsort7.v.stepl.009FAIL6000.27
sortnetsort9.AE.stepl.006FAIL6000.27
sortnetsort5.AE.stepl.007FAIL6000.27
sortnetsort6.AE.stepl.005FAIL6000.27
sortnetsort10.v.stepl.010FAIL6000.27
sortnetsort8.v.stepl.008FAIL6000.27
sortnetsort10.AE.stepl.007FAIL6000.28
sortnetsort7.v.stepl.005FAIL6000.28
sortnetsort8.AE.stepl.006FAIL6000.28
sortnetsort10.AE.stepl.012FAIL6000.28
sortnetsort6.AE.stepl.007FAIL6000.28
sortnetsort9.v.stepl.009FAIL6000.28
sortnetsort9.AE.stepl.011FAIL6000.28
sortnetsort8.AE.stepl.009FAIL6000.28
sortnetsort9.AE.stepl.012FAIL6000.28
sortnetsort10.v.stepl.009FAIL6000.29
sortnetsort7.AE.stepl.004FAIL6000.29
sortnetsort10.AE.stepl.006FAIL6000.29
sortnetsort7.v.stepl.008FAIL6000.29
sortnetsort10.AE.stepl.008FAIL6000.3
sortnetsort10.v.stepl.008FAIL6000.3
sortnetsort8.AE.stepl.004FAIL6000.3
sortnetsort8.AE.stepl.008FAIL6000.3
sortnetsort9.v.stepl.004FAIL6000.31
sortnetsort10.AE.stepl.010FAIL6000.31
sortnetsort10.AE.stepl.004FAIL6000.31
sortnetsort9.v.stepl.012FAIL6000.32
sortnetsort7.v.stepl.006FAIL6000.32
sortnetsort10.v.stepl.004FAIL6000.32
sortnetsort7.AE.stepl.006FAIL6000.32
sortnetsort9.v.stepl.010FAIL6000.32
sortnetsort9.v.stepl.011FAIL6000.32
sortnetsort8.v.stepl.007FAIL6000.33
sortnetsort9.AE.stepl.009FAIL6000.33
sortnetsort10.AE.stepl.009FAIL6000.34
sortnetsort5.AE.stepl.006FAIL6000.34
sortnetsort9.AE.stepl.007FAIL6000.34
sortnetsort8.v.stepl.006FAIL6000.34
sortnetsort9.AE.stepl.010FAIL6000.34
sortnetsort9.AE.stepl.004FAIL6000.34
sortnetsort10.AE.stepl.011FAIL6000.35
sortnetsort7.AE.stepl.005FAIL6000.35
sortnetsort9.AE.stepl.008FAIL6000.36
sortnetsort10.v.stepl.007FAIL6000.37
sortnetsort8.AE.stepl.007FAIL6000.37
sortnetsort9.AE.stepl.005FAIL6000.38
sortnetsort8.v.stepl.009FAIL6000.39