Instances of family Sorting_networks solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
sortnetsort8.AE.stepl.004SAT3.42
sortnetsort7.AE.stepl.006UNSAT3.71
sortnetsort7.AE.stepl.007UNSAT4.93
sortnetsort7.AE.stepl.008UNSAT6.05
sortnetsort9.AE.stepl.004SAT6.08
sortnetsort7.AE.stepl.009UNSAT7.16
sortnetsort8.AE.stepl.005SAT7.51
sortnetsort8.AE.stepl.006UNSAT8.86
sortnetsort9.AE.stepl.005SAT13.38
sortnetsort10.AE.stepl.004SAT24.2
sortnetsort9.AE.stepl.008UNSAT25.52
sortnetsort8.AE.stepl.008UNSAT29.24
sortnetsort10.AE.stepl.009UNSAT46.86
sortnetsort9.AE.stepl.011UNSAT57.96
sortnetsort8.AE.stepl.009UNSAT60.76
sortnetsort10.AE.stepl.011UNSAT63.59
sortnetsort9.AE.stepl.007UNSAT63.94
sortnetsort7.AE.stepl.005SAT83.91
sortnetsort9.AE.stepl.010UNSAT84.24
sortnetsort10.AE.stepl.005SAT109.42
sortnetsort10.AE.stepl.012UNSAT112.79
sortnetsort10.AE.stepl.010UNSAT125.32
sortnetsort10.AE.stepl.006FAIL900
sortnetsort10.AE.stepl.007FAIL900
sortnetsort10.AE.stepl.008FAIL900
sortnetsort9.AE.stepl.006FAIL900