Instances of family Sorting_networks solved by 2clsQ
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT0.04
sortnetsort5.v.stepl.005SAT0.05
sortnetsort5.v.stepl.004UNSAT0.06
sortnetsort6.v.stepl.003UNSAT0.08
sortnetsort5.v.stepl.006SAT0.08
sortnetsort5.v.stepl.007SAT0.08
sortnetsort6.v.stepl.005SAT0.15
sortnetsort6.v.stepl.006SAT0.16
sortnetsort6.v.stepl.007SAT0.19
sortnetsort7.v.stepl.003UNSAT0.22
sortnetsort6.v.stepl.004UNSAT0.28
sortnetsort8.v.stepl.003UNSAT0.61
sortnetsort7.v.stepl.008SAT0.81
sortnetsort7.v.stepl.004UNSAT0.83
sortnetsort7.v.stepl.009SAT1.23
sortnetsort8.v.stepl.008SAT2.13
sortnetsort8.v.stepl.009SAT2.54
sortnetsort8.v.stepl.004UNSAT2.54
sortnetsort7.v.stepl.006SAT5.03
sortnetsort8.v.stepl.006SAT6.14
sortnetsort7.v.stepl.007SAT7
sortnetsort9.v.stepl.004UNSAT7.89
sortnetsort9.v.stepl.011SAT9.15
sortnetsort8.v.stepl.007SAT10.59
sortnetsort9.v.stepl.008SAT12.52
sortnetsort9.v.stepl.010SAT13.71
sortnetsort9.v.stepl.009SAT15.18
sortnetsort9.v.stepl.012SAT15.62
sortnetsort7.v.stepl.005UNSAT23.3
sortnetsort10.v.stepl.004UNSAT23.65
sortnetsort10.v.stepl.009SAT27.61
sortnetsort8.v.stepl.005UNSAT50.07
sortnetsort10.v.stepl.008SAT53.26
sortnetsort10.v.stepl.012SAT58.13
sortnetsort10.v.stepl.011SAT64.17
sortnetsort10.v.stepl.010SAT72.23
sortnetsort5.AE.stepl.003SAT77.59
sortnetsort6.AE.stepl.003SAT83.08
sortnetsort5.AE.stepl.007UNSAT87.25
sortnetsort5.AE.stepl.006UNSAT87.59
sortnetsort5.AE.stepl.004SAT92.92
sortnetsort5.AE.stepl.005UNSAT100.63
sortnetsort9.v.stepl.005UNSAT129.78
sortnetsort7.AE.stepl.003SAT297.49
sortnetsort6.AE.stepl.004SAT1041.69
sortnetsort6.AE.stepl.005UNSAT2898.23
sortnetsort6.AE.stepl.006UNSAT4052.91
sortnetsort6.AE.stepl.007UNSAT4372.49
sortnetsort10.v.stepl.007FAIL5985.34
sortnetsort10.AE.stepl.010FAIL6000.42
sortnetsort8.AE.stepl.005FAIL6000.42
sortnetsort9.AE.stepl.008FAIL6000.42
sortnetsort9.v.stepl.007FAIL6000.42
sortnetsort10.AE.stepl.011FAIL6000.42
sortnetsort7.AE.stepl.004FAIL6000.42
sortnetsort8.AE.stepl.006FAIL6000.42
sortnetsort9.AE.stepl.009FAIL6000.42
sortnetsort10.AE.stepl.004FAIL6000.42
sortnetsort10.AE.stepl.012FAIL6000.42
sortnetsort7.AE.stepl.005FAIL6000.42
sortnetsort8.AE.stepl.007FAIL6000.42
sortnetsort9.AE.stepl.010FAIL6000.42
sortnetsort10.AE.stepl.005FAIL6000.42
sortnetsort7.AE.stepl.006FAIL6000.42
sortnetsort8.AE.stepl.008FAIL6000.42
sortnetsort9.AE.stepl.011FAIL6000.42
sortnetsort10.AE.stepl.006FAIL6000.42
sortnetsort10.v.stepl.005FAIL6000.42
sortnetsort7.AE.stepl.007FAIL6000.42
sortnetsort8.AE.stepl.009FAIL6000.42
sortnetsort9.AE.stepl.004FAIL6000.42
sortnetsort9.AE.stepl.012FAIL6000.42
sortnetsort10.AE.stepl.007FAIL6000.42
sortnetsort10.v.stepl.006FAIL6000.42
sortnetsort7.AE.stepl.008FAIL6000.42
sortnetsort9.AE.stepl.005FAIL6000.42
sortnetsort10.AE.stepl.008FAIL6000.42
sortnetsort7.AE.stepl.009FAIL6000.42
sortnetsort8.AE.stepl.003FAIL6000.42
sortnetsort9.AE.stepl.006FAIL6000.42
sortnetsort10.AE.stepl.009FAIL6000.42
sortnetsort8.AE.stepl.004FAIL6000.42
sortnetsort9.AE.stepl.007FAIL6000.42
sortnetsort9.v.stepl.006FAIL6000.42