Instances of family Sorting_networks solved by hiqqer1ldsq
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
sortnetsort8.AE.stepl.004SAT2.28
sortnetsort5.AE.stepl.007UNSAT2.38
sortnetsort7.AE.stepl.007UNSAT2.9
sortnetsort5.AE.stepl.004SAT3.29
sortnetsort5.AE.stepl.005UNSAT3.32
sortnetsort7.AE.stepl.008UNSAT3.44
sortnetsort7.AE.stepl.006UNSAT3.57
sortnetsort5.AE.stepl.006UNSAT3.88
sortnetsort6.AE.stepl.003SAT4
sortnetsort7.AE.stepl.009UNSAT4.01
sortnetsort8.AE.stepl.006UNSAT4.08
sortnetsort9.AE.stepl.004SAT4.65
sortnetsort6.AE.stepl.006UNSAT6.21
sortnetsort7.AE.stepl.003SAT6.6
sortnetsort5.AE.stepl.003SAT7.15
sortnetsort6.AE.stepl.007UNSAT8.42
sortnetsort6.AE.stepl.004SAT8.78
sortnetsort7.AE.stepl.004SAT9.17
sortnetsort8.AE.stepl.007UNSAT9.19
sortnetsort8.AE.stepl.008UNSAT10.34
sortnetsort10.AE.stepl.004SAT10.47
sortnetsort8.AE.stepl.003SAT10.54
sortnetsort9.AE.stepl.008UNSAT13.32
sortnetsort8.AE.stepl.009UNSAT13.75
sortnetsort6.AE.stepl.005UNSAT14.41
sortnetsort8.AE.stepl.005SAT16.54
sortnetsort9.AE.stepl.005SAT28.02
sortnetsort9.AE.stepl.011UNSAT28.39
sortnetsort10.AE.stepl.009UNSAT28.4
sortnetsort9.AE.stepl.009UNSAT29.78
sortnetsort9.AE.stepl.010UNSAT30.19
sortnetsort9.AE.stepl.012UNSAT31.88
sortnetsort10.AE.stepl.008UNSAT39.26
sortnetsort10.AE.stepl.011UNSAT44.28
sortnetsort10.AE.stepl.012UNSAT51.08
sortnetsort10.AE.stepl.010UNSAT54.69
sortnetsort7.AE.stepl.005SAT63.67
sortnetsort10.AE.stepl.005SAT387.22
sortnetsort9.AE.stepl.007FAIL599.71
sortnetsort10.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.007FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81