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

InstanceResultTime
sortnetsort8.AE.stepl.004SAT4.61
sortnetsort5.AE.stepl.007UNSAT4.86
sortnetsort5.AE.stepl.004SAT6.13
sortnetsort5.AE.stepl.005UNSAT6.19
sortnetsort7.AE.stepl.007UNSAT6.27
sortnetsort6.AE.stepl.003SAT6.5
sortnetsort7.AE.stepl.006UNSAT6.68
sortnetsort5.AE.stepl.006UNSAT6.98
sortnetsort7.AE.stepl.008UNSAT8.09
sortnetsort6.AE.stepl.005UNSAT8.33
sortnetsort7.AE.stepl.003SAT9.09
sortnetsort9.AE.stepl.004SAT9.1
sortnetsort7.AE.stepl.009UNSAT9.53
sortnetsort5.AE.stepl.003SAT9.87
sortnetsort6.AE.stepl.006UNSAT10.48
sortnetsort6.AE.stepl.007UNSAT12.52
sortnetsort6.AE.stepl.004SAT15
sortnetsort7.AE.stepl.004SAT15.87
sortnetsort10.AE.stepl.004SAT18.03
sortnetsort8.AE.stepl.005SAT18.18
sortnetsort8.AE.stepl.007UNSAT18.24
sortnetsort8.AE.stepl.003SAT19.78
sortnetsort8.AE.stepl.008UNSAT21.42
sortnetsort8.AE.stepl.006UNSAT22.66
sortnetsort8.AE.stepl.009UNSAT26.42
sortnetsort9.AE.stepl.005SAT38
sortnetsort9.AE.stepl.010UNSAT54.12
sortnetsort9.AE.stepl.011UNSAT59.67
sortnetsort7.AE.stepl.005SAT65.06
sortnetsort10.AE.stepl.009UNSAT67.17
sortnetsort9.AE.stepl.012UNSAT75.13
sortnetsort10.AE.stepl.010UNSAT86.72
sortnetsort10.AE.stepl.011UNSAT92.65
sortnetsort10.AE.stepl.012UNSAT109.06
sortnetsort10.AE.stepl.008UNSAT246.53
sortnetsort10.AE.stepl.005SAT335.04
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort10.AE.stepl.006FAIL599.81
sortnetsort9.AE.stepl.007FAIL599.81
sortnetsort9.AE.stepl.008FAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.91