Instances of family Sorting_networks solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
sortnetsort7.v.stepl.004UNSAT0.24
sortnetsort7.v.stepl.006SAT4.98
sortnetsort7.v.stepl.007SAT5.12
sortnetsort7.v.stepl.008SAT5.14
sortnetsort7.v.stepl.009SAT5.38
sortnetsort10.v.stepl.004UNSAT5.88
sortnetsort7.v.stepl.005UNSAT10.94
sortnetsort8.v.stepl.007SAT31.96
sortnetsort9.v.stepl.011SAT33.33
sortnetsort9.v.stepl.012SAT33.37
sortnetsort8.v.stepl.006SAT33.77
sortnetsort8.v.stepl.008SAT33.79
sortnetsort8.v.stepl.009SAT33.94
sortnetsort9.v.stepl.008SAT36.77
sortnetsort10.v.stepl.005UNSAT37.11
sortnetsort9.v.stepl.007SAT38.58
sortnetsort9.v.stepl.009SAT39.3
sortnetsort8.v.stepl.004UNSAT40.09
sortnetsort9.v.stepl.010SAT40.29
sortnetsort9.v.stepl.004UNSAT40.58
sortnetsort9.v.stepl.005UNSAT47.42
sortnetsort5.AE.stepl.004FAIL110.01
sortnetsort8.v.stepl.005UNSAT110.72
sortnetsort10.v.stepl.007SAT170.61
sortnetsort5.AE.stepl.005FAIL399.64
sortnetsort10.v.stepl.011FAIL600
sortnetsort6.AE.stepl.005FAIL600
sortnetsort7.AE.stepl.008FAIL600
sortnetsort8.AE.stepl.003FAIL600
sortnetsort10.AE.stepl.004FAIL600
sortnetsort10.v.stepl.012FAIL600
sortnetsort6.AE.stepl.006FAIL600
sortnetsort7.AE.stepl.009FAIL600
sortnetsort8.AE.stepl.004FAIL600
sortnetsort6.AE.stepl.007FAIL600
sortnetsort8.AE.stepl.005FAIL600
sortnetsort7.AE.stepl.003FAIL600
sortnetsort8.AE.stepl.006FAIL600
sortnetsort5.AE.stepl.006FAIL600
sortnetsort7.AE.stepl.004FAIL600
sortnetsort8.AE.stepl.007FAIL600
sortnetsort10.v.stepl.008FAIL600
sortnetsort5.AE.stepl.007FAIL600
sortnetsort7.AE.stepl.005FAIL600
sortnetsort8.AE.stepl.008FAIL600
sortnetsort9.AE.stepl.004FAIL600
sortnetsort10.v.stepl.009FAIL600
sortnetsort6.AE.stepl.003FAIL600
sortnetsort7.AE.stepl.006FAIL600
sortnetsort8.AE.stepl.009FAIL600
sortnetsort10.v.stepl.010FAIL600
sortnetsort6.AE.stepl.004FAIL600
sortnetsort7.AE.stepl.007FAIL600