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

InstanceResultTime
sortnetsort8.AE.stepl.004SAT2.3
sortnetsort5.AE.stepl.007UNSAT2.4
sortnetsort7.AE.stepl.007UNSAT2.91
sortnetsort5.AE.stepl.004SAT3.3
sortnetsort5.AE.stepl.005UNSAT3.35
sortnetsort7.AE.stepl.008UNSAT3.45
sortnetsort7.AE.stepl.006UNSAT3.61
sortnetsort5.AE.stepl.006UNSAT3.96
sortnetsort6.AE.stepl.003SAT4
sortnetsort7.AE.stepl.009UNSAT4.03
sortnetsort8.AE.stepl.006UNSAT4.11
sortnetsort9.AE.stepl.004SAT4.6
sortnetsort6.AE.stepl.006UNSAT6.21
sortnetsort7.AE.stepl.003SAT6.64
sortnetsort5.AE.stepl.003SAT7.19
sortnetsort6.AE.stepl.007UNSAT8.4
sortnetsort6.AE.stepl.004SAT8.89
sortnetsort8.AE.stepl.007UNSAT9.09
sortnetsort7.AE.stepl.004SAT9.15
sortnetsort8.AE.stepl.008UNSAT10.4
sortnetsort10.AE.stepl.004SAT10.5
sortnetsort8.AE.stepl.003SAT10.6
sortnetsort9.AE.stepl.008UNSAT13.35
sortnetsort8.AE.stepl.009UNSAT13.77
sortnetsort6.AE.stepl.005UNSAT14.38
sortnetsort8.AE.stepl.005SAT16.63
sortnetsort9.AE.stepl.005SAT28.03
sortnetsort10.AE.stepl.009UNSAT28.64
sortnetsort9.AE.stepl.011UNSAT28.69
sortnetsort9.AE.stepl.009UNSAT30
sortnetsort9.AE.stepl.010UNSAT30.35
sortnetsort9.AE.stepl.012UNSAT31.92
sortnetsort10.AE.stepl.008UNSAT39.63
sortnetsort10.AE.stepl.011UNSAT44.67
sortnetsort10.AE.stepl.012UNSAT51.42
sortnetsort10.AE.stepl.010UNSAT55.15
sortnetsort7.AE.stepl.005SAT63.16
sortnetsort10.AE.stepl.005SAT387.85
sortnetsort9.AE.stepl.006FAIL599.71
sortnetsort9.AE.stepl.007FAIL599.71
sortnetsort10.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.007FAIL599.81