Instances of family Sorting_networks solved by Quaffle
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.27
sortnetsort6.v.stepl.003UNSAT6.18
sortnetsort5.v.stepl.006SAT6.57
sortnetsort5.v.stepl.007SAT10.16
sortnetsort5.v.stepl.004UNSAT12.78
sortnetsort5.v.stepl.005SAT104.34
sortnetsort6.v.stepl.006SAT216.59
sortnetsort6.v.stepl.007SAT282.06
sortnetsort7.v.stepl.003UNSAT386.76
sortnetsort6.v.stepl.004UNSAT466.27
sortnetsort5.AE.stepl.004FAIL529.31
sortnetsort5.AE.stepl.005FAIL529.42
sortnetsort5.AE.stepl.003FAIL529.98
sortnetsort5.AE.stepl.007FAIL530.11
sortnetsort6.AE.stepl.004FAIL530.78
sortnetsort6.AE.stepl.003FAIL530.94
sortnetsort5.AE.stepl.006FAIL531.23
sortnetsort6.AE.stepl.005FAIL532.24
sortnetsort7.AE.stepl.004FAIL532.58
sortnetsort6.AE.stepl.006FAIL532.99
sortnetsort6.AE.stepl.007FAIL533.03
sortnetsort8.AE.stepl.003FAIL533.03
sortnetsort7.AE.stepl.003FAIL533.09
sortnetsort8.AE.stepl.004FAIL536.03
sortnetsort7.AE.stepl.005FAIL536.29
sortnetsort7.AE.stepl.006FAIL538.04
sortnetsort7.AE.stepl.007FAIL539.33
sortnetsort8.AE.stepl.005FAIL540
sortnetsort9.AE.stepl.004FAIL540.18
sortnetsort7.AE.stepl.008FAIL541.43
sortnetsort8.AE.stepl.006FAIL542.09
sortnetsort7.AE.stepl.009FAIL543.15
sortnetsort9.AE.stepl.005FAIL544.29
sortnetsort10.AE.stepl.004FAIL545.05
sortnetsort8.AE.stepl.007FAIL547.28
sortnetsort9.AE.stepl.006FAIL547.78
sortnetsort8.AE.stepl.008FAIL547.81
sortnetsort10.AE.stepl.005FAIL549.22
sortnetsort9.AE.stepl.007FAIL550.02
sortnetsort8.AE.stepl.009FAIL550.07
sortnetsort10.AE.stepl.006FAIL552.56
sortnetsort9.AE.stepl.008FAIL553.73
sortnetsort9.AE.stepl.009FAIL556.82
sortnetsort10.AE.stepl.007FAIL557.26
sortnetsort10.AE.stepl.008FAIL558.92
sortnetsort9.AE.stepl.010FAIL559.09
sortnetsort9.AE.stepl.011FAIL560.37
sortnetsort10.AE.stepl.009FAIL560.88
sortnetsort9.AE.stepl.012FAIL561.09
sortnetsort10.AE.stepl.011FAIL563.39
sortnetsort10.AE.stepl.010FAIL564.01
sortnetsort10.AE.stepl.012FAIL567.25
sortnetsort9.v.stepl.012FAIL599.09
sortnetsort10.v.stepl.012FAIL599.77
sortnetsort6.v.stepl.005SAT5637.87
sortnetsort10.v.stepl.011FAIL5990.92
sortnetsort7.v.stepl.007FAIL5997.64
sortnetsort7.v.stepl.008FAIL5997.73
sortnetsort7.v.stepl.009FAIL5998
sortnetsort7.v.stepl.006FAIL5998.08
sortnetsort10.v.stepl.010FAIL5998.14
sortnetsort8.v.stepl.009FAIL5998.56
sortnetsort9.v.stepl.009FAIL5998.68
sortnetsort9.v.stepl.011FAIL5998.83
sortnetsort7.v.stepl.005FAIL5998.87
sortnetsort10.v.stepl.009FAIL5999
sortnetsort9.v.stepl.010FAIL5999.08
sortnetsort8.v.stepl.007FAIL5999.11
sortnetsort8.v.stepl.008FAIL5999.19
sortnetsort10.v.stepl.007FAIL5999.24
sortnetsort9.v.stepl.007FAIL5999.31
sortnetsort9.v.stepl.006FAIL5999.38
sortnetsort7.v.stepl.004FAIL5999.38
sortnetsort8.v.stepl.005FAIL5999.39
sortnetsort9.v.stepl.008FAIL5999.44
sortnetsort8.v.stepl.006FAIL5999.46
sortnetsort10.v.stepl.008FAIL5999.48
sortnetsort10.v.stepl.006FAIL5999.57
sortnetsort10.v.stepl.005FAIL5999.69
sortnetsort8.v.stepl.004FAIL5999.81
sortnetsort9.v.stepl.005FAIL5999.86
sortnetsort8.v.stepl.003FAIL6000.13
sortnetsort10.v.stepl.004FAIL6000.25
sortnetsort9.v.stepl.004FAIL6000.28