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

InstanceResultTime
sortnetsort5.AE.stepl.006UNSAT6.01
sortnetsort5.AE.stepl.007UNSAT9.92
sortnetsort6.AE.stepl.003SAT12.02
sortnetsort5.AE.stepl.003SAT15.61
sortnetsort8.AE.stepl.004SAT18.81
sortnetsort6.AE.stepl.005UNSAT18.91
sortnetsort7.AE.stepl.003SAT22.41
sortnetsort8.AE.stepl.003SAT23.91
sortnetsort8.AE.stepl.007UNSAT28.11
sortnetsort9.AE.stepl.004SAT30.52
sortnetsort8.AE.stepl.006UNSAT33.02
sortnetsort5.AE.stepl.004SAT41.31
sortnetsort10.AE.stepl.004SAT42.61
sortnetsort8.AE.stepl.008UNSAT48.11
sortnetsort8.AE.stepl.009UNSAT48.71
sortnetsort7.AE.stepl.004SAT61.51
sortnetsort9.AE.stepl.010UNSAT65.31
sortnetsort5.AE.stepl.005UNSAT68.91
sortnetsort9.AE.stepl.011UNSAT70.91
sortnetsort6.AE.stepl.007UNSAT74.72
sortnetsort10.AE.stepl.010UNSAT78.61
sortnetsort9.AE.stepl.012UNSAT86.21
sortnetsort10.AE.stepl.012UNSAT99.61
sortnetsort8.AE.stepl.005SAT102.61
sortnetsort6.AE.stepl.004SAT105.11
sortnetsort9.AE.stepl.009UNSAT127.71
sortnetsort7.AE.stepl.006UNSAT133.51
sortnetsort10.AE.stepl.011UNSAT134.61
sortnetsort7.AE.stepl.005SAT136.71
sortnetsort10.AE.stepl.008UNSAT153.61
sortnetsort9.AE.stepl.005SAT218.82
sortnetsort10.AE.stepl.009UNSAT274.31
sortnetsort6.AE.stepl.006UNSAT291.31
sortnetsort7.AE.stepl.008UNSAT382.31
sortnetsort7.AE.stepl.009UNSAT418.51
sortnetsort7.AE.stepl.007UNSAT473.31
sortnetsort10.AE.stepl.005FAIL592.94
sortnetsort10.AE.stepl.006FAIL592.95
sortnetsort9.AE.stepl.008FAIL593.02
sortnetsort9.AE.stepl.007FAIL593.03
sortnetsort10.AE.stepl.007FAIL593.32
sortnetsort9.AE.stepl.006FAIL593.72