Instances of family Sorting_networks solved by caqe_2017_v2
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
sortnetsort7.AE.stepl.006UNSAT3.36
sortnetsort7.AE.stepl.007UNSAT3.93
sortnetsort8.AE.stepl.004SAT4.15
sortnetsort7.AE.stepl.008UNSAT5.09
sortnetsort7.AE.stepl.009UNSAT6.87
sortnetsort7.AE.stepl.005SAT7.94
sortnetsort9.AE.stepl.004SAT10.17
sortnetsort8.AE.stepl.008UNSAT15.67
sortnetsort8.AE.stepl.009UNSAT19.76
sortnetsort8.AE.stepl.005SAT22.21
sortnetsort10.AE.stepl.004SAT22.6
sortnetsort8.AE.stepl.006UNSAT24.72
sortnetsort9.AE.stepl.010UNSAT28.59
sortnetsort9.AE.stepl.005SAT36.54
sortnetsort9.AE.stepl.011UNSAT63.86
sortnetsort10.AE.stepl.005SAT74.35
sortnetsort10.AE.stepl.012UNSAT80.53
sortnetsort9.AE.stepl.008UNSAT139.14
sortnetsort9.AE.stepl.007UNSAT174.11
sortnetsort10.AE.stepl.011UNSAT337.57
sortnetsort10.AE.stepl.010UNSAT551.13
sortnetsort10.AE.stepl.009UNSAT589.93
sortnetsort10.AE.stepl.006FAIL900
sortnetsort10.AE.stepl.007FAIL900
sortnetsort10.AE.stepl.008FAIL900
sortnetsort9.AE.stepl.006FAIL900