Instances of family Sorting_networks solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
sortnetsort8.AE.stepl.004SAT3.39
sortnetsort7.AE.stepl.006UNSAT3.67
sortnetsort7.AE.stepl.007UNSAT4.85
sortnetsort7.AE.stepl.008UNSAT5.9
sortnetsort9.AE.stepl.004SAT6.07
sortnetsort8.AE.stepl.006UNSAT7.09
sortnetsort7.AE.stepl.009UNSAT7.26
sortnetsort8.AE.stepl.005SAT7.37
sortnetsort9.AE.stepl.005SAT13.44
sortnetsort5.AE.stepl.003SAT16.14
sortnetsort5.AE.stepl.006UNSAT20.08
sortnetsort8.AE.stepl.007UNSAT26.04
sortnetsort8.AE.stepl.003SAT26.97
sortnetsort8.AE.stepl.008UNSAT30.03
sortnetsort10.AE.stepl.004SAT30.6
sortnetsort9.AE.stepl.009UNSAT35.18
sortnetsort9.AE.stepl.008UNSAT36.04
sortnetsort7.AE.stepl.004SAT37.33
sortnetsort5.AE.stepl.005UNSAT42.03
sortnetsort6.AE.stepl.007UNSAT43.32
sortnetsort6.AE.stepl.003SAT45.57
sortnetsort6.AE.stepl.004SAT45.64
sortnetsort5.AE.stepl.007UNSAT46.76
sortnetsort5.AE.stepl.004SAT47.36
sortnetsort9.AE.stepl.007UNSAT48.22
sortnetsort6.AE.stepl.005UNSAT53.16
sortnetsort7.AE.stepl.003SAT53.16
sortnetsort6.AE.stepl.006UNSAT67.03
sortnetsort9.AE.stepl.011UNSAT68.7
sortnetsort10.AE.stepl.009UNSAT71
sortnetsort8.AE.stepl.009UNSAT71.01
sortnetsort7.AE.stepl.005SAT72.99
sortnetsort10.AE.stepl.011UNSAT98.11
sortnetsort9.AE.stepl.012UNSAT101.76
sortnetsort9.AE.stepl.010UNSAT123.38
sortnetsort10.AE.stepl.012UNSAT139.61
sortnetsort10.AE.stepl.008UNSAT168.74
sortnetsort10.AE.stepl.010UNSAT175.6
sortnetsort10.AE.stepl.005SAT342.64
sortnetsort10.AE.stepl.007UNSAT508.02
sortnetsort9.AE.stepl.006SAT556.72
sortnetsort10.AE.stepl.006FAIL599.71