Instances of family Sorting_networks solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.02
sortnetsort5.v.stepl.004UNSAT0.04
sortnetsort5.v.stepl.006SAT0.04
sortnetsort5.v.stepl.007SAT0.04
sortnetsort6.v.stepl.003UNSAT0.05
sortnetsort5.v.stepl.005SAT0.06
sortnetsort6.v.stepl.007SAT0.08
sortnetsort6.v.stepl.005SAT0.09
sortnetsort7.v.stepl.003UNSAT0.09
sortnetsort6.v.stepl.004UNSAT0.11
sortnetsort6.v.stepl.006SAT0.18
sortnetsort7.v.stepl.004UNSAT0.24
sortnetsort8.v.stepl.004UNSAT20.28
sortnetsort7.v.stepl.006SAT23.48
sortnetsort9.v.stepl.004UNSAT23.53
sortnetsort8.v.stepl.007SAT30.1
sortnetsort8.AE.stepl.005FAIL32.23
sortnetsort8.v.stepl.009SAT36.54
sortnetsort8.v.stepl.006SAT37.34
sortnetsort7.v.stepl.005UNSAT39.2
sortnetsort8.v.stepl.008SAT50.81
sortnetsort8.v.stepl.005UNSAT66.13
sortnetsort8.AE.stepl.006FAIL71.4
sortnetsort9.AE.stepl.008FAIL74.7
sortnetsort9.v.stepl.005FAIL87.74
sortnetsort9.AE.stepl.009FAIL87.75
sortnetsort9.AE.stepl.004FAIL87.97
sortnetsort7.AE.stepl.009FAIL88.45
sortnetsort9.AE.stepl.010FAIL93.72
sortnetsort9.AE.stepl.012FAIL98.4
sortnetsort9.AE.stepl.011FAIL98.86
sortnetsort8.v.stepl.003UNSAT99.24
sortnetsort7.v.stepl.007SAT102.73
sortnetsort7.v.stepl.009SAT103.75
sortnetsort7.v.stepl.008SAT112.07
sortnetsort9.v.stepl.006FAIL146.51
sortnetsort8.AE.stepl.007FAIL168.24
sortnetsort10.AE.stepl.006FAIL175.56
sortnetsort10.AE.stepl.007FAIL197.23
sortnetsort10.AE.stepl.008FAIL201.84
sortnetsort9.AE.stepl.005FAIL206.35
sortnetsort10.AE.stepl.009FAIL247.59
sortnetsort9.AE.stepl.006FAIL273.87
sortnetsort9.v.stepl.010SAT302.73
sortnetsort8.AE.stepl.008FAIL304.67
sortnetsort9.AE.stepl.007FAIL321.51
sortnetsort9.v.stepl.011SAT334.18
sortnetsort7.AE.stepl.008FAIL343.48
sortnetsort9.v.stepl.008SAT354.43
sortnetsort6.AE.stepl.007FAIL388.13
sortnetsort7.AE.stepl.005FAIL393
sortnetsort10.AE.stepl.010FAIL407.81
sortnetsort10.AE.stepl.005FAIL431.7
sortnetsort9.v.stepl.007FAIL439.88
sortnetsort8.AE.stepl.004FAIL443.73
sortnetsort9.v.stepl.012FAIL444.49
sortnetsort8.AE.stepl.009FAIL448.22
sortnetsort9.v.stepl.009FAIL598.23
sortnetsort7.AE.stepl.006FAIL598.92
sortnetsort10.v.stepl.012FAIL599.91
sortnetsort10.AE.stepl.011FAIL632.38
sortnetsort5.AE.stepl.003SAT724.49
sortnetsort8.AE.stepl.003FAIL781.16
sortnetsort10.AE.stepl.012FAIL833.61
sortnetsort7.AE.stepl.004FAIL1035.39
sortnetsort7.AE.stepl.003FAIL1038.8
sortnetsort10.AE.stepl.004FAIL1079.3
sortnetsort7.AE.stepl.007FAIL1142.16
sortnetsort10.v.stepl.010FAIL1471.22
sortnetsort10.v.stepl.011FAIL2210.36
sortnetsort10.v.stepl.007FAIL2238.93
sortnetsort10.v.stepl.008FAIL2282.06
sortnetsort10.v.stepl.006FAIL2325.69
sortnetsort10.v.stepl.004FAIL2559.39
sortnetsort10.v.stepl.009FAIL2782.71
sortnetsort5.AE.stepl.005UNSAT4223.45
sortnetsort10.v.stepl.005FAIL4916.76
sortnetsort5.AE.stepl.007FAIL6000.14
sortnetsort6.AE.stepl.005FAIL6000.31
sortnetsort6.AE.stepl.004FAIL6000.37
sortnetsort5.AE.stepl.004FAIL6000.44
sortnetsort6.AE.stepl.006FAIL6000.45
sortnetsort6.AE.stepl.003FAIL6000.7
sortnetsort5.AE.stepl.006FAIL6000.74