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

InstanceResultTime
sortnetsort5.AE.stepl.007UNSAT0.81
sortnetsort5.AE.stepl.006UNSAT1.53
sortnetsort5.AE.stepl.003SAT2.35
sortnetsort5.AE.stepl.004SAT2.81
sortnetsort5.AE.stepl.005UNSAT3.12
sortnetsort6.AE.stepl.007UNSAT4.87
sortnetsort6.AE.stepl.003SAT5.97
sortnetsort7.AE.stepl.003SAT6.1
sortnetsort6.AE.stepl.006UNSAT7.28
sortnetsort6.AE.stepl.005UNSAT9.97
sortnetsort8.AE.stepl.003SAT21.92
sortnetsort6.AE.stepl.004SAT62.78
sortnetsort7.AE.stepl.004SAT86.26
sortnetsort9.AE.stepl.012UNSAT349.33
sortnetsort7.AE.stepl.005SAT387.84
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort10.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.004FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
sortnetsort8.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.011FAIL599.71
sortnetsort10.AE.stepl.005FAIL599.71
sortnetsort9.AE.stepl.004FAIL599.71
sortnetsort9.AE.stepl.005FAIL599.71
sortnetsort10.AE.stepl.011FAIL599.72
sortnetsort7.AE.stepl.008FAIL599.72
sortnetsort10.AE.stepl.006FAIL599.72
sortnetsort8.AE.stepl.004FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
sortnetsort8.AE.stepl.005FAIL599.81
sortnetsort9.AE.stepl.007FAIL599.81
sortnetsort8.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.010FAIL599.81
sortnetsort7.AE.stepl.006FAIL599.81
sortnetsort8.AE.stepl.007FAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
sortnetsort7.AE.stepl.007FAIL599.81
sortnetsort8.AE.stepl.008FAIL599.81
sortnetsort9.AE.stepl.010FAIL599.81
sortnetsort7.AE.stepl.009FAIL599.81