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

InstanceResultTime
sortnetsort5.AE.stepl.003SAT0.11
sortnetsort5.AE.stepl.007UNSAT0.31
sortnetsort5.AE.stepl.004SAT0.61
sortnetsort6.AE.stepl.003SAT0.81
sortnetsort5.AE.stepl.005UNSAT0.91
sortnetsort5.AE.stepl.006UNSAT1.81
sortnetsort6.AE.stepl.006UNSAT1.91
sortnetsort6.AE.stepl.007UNSAT3.32
sortnetsort6.AE.stepl.004SAT4.32
sortnetsort7.AE.stepl.003SAT6.71
sortnetsort6.AE.stepl.005UNSAT12.31
sortnetsort8.AE.stepl.003SAT28.11
sortnetsort7.AE.stepl.004SAT58.01
sortnetsort8.AE.stepl.007UNSAT138.52
sortnetsort7.AE.stepl.005SAT317.31
sortnetsort8.AE.stepl.009UNSAT443.61
sortnetsort8.AE.stepl.006UNSAT471.61
sortnetsort9.AE.stepl.011FAIL592.42
sortnetsort9.AE.stepl.012FAIL592.42
sortnetsort9.AE.stepl.006FAIL592.52
sortnetsort10.AE.stepl.010FAIL592.52
sortnetsort9.AE.stepl.007FAIL592.62
sortnetsort10.AE.stepl.009FAIL592.62
sortnetsort10.AE.stepl.011FAIL592.62
sortnetsort10.AE.stepl.012FAIL592.62
sortnetsort9.AE.stepl.009FAIL592.72
sortnetsort10.AE.stepl.007FAIL592.83
sortnetsort8.AE.stepl.008FAIL592.83
sortnetsort10.AE.stepl.004FAIL592.83
sortnetsort10.AE.stepl.006FAIL592.85
sortnetsort10.AE.stepl.008FAIL592.85
sortnetsort7.AE.stepl.009FAIL592.85
sortnetsort9.AE.stepl.005FAIL592.94
sortnetsort9.AE.stepl.008FAIL592.95
sortnetsort7.AE.stepl.008FAIL593.02
sortnetsort10.AE.stepl.005FAIL593.03
sortnetsort8.AE.stepl.005FAIL593.12
sortnetsort7.AE.stepl.006FAIL593.12
sortnetsort7.AE.stepl.007FAIL593.22
sortnetsort9.AE.stepl.004FAIL593.22
sortnetsort8.AE.stepl.004FAIL593.42
sortnetsort9.AE.stepl.010FAIL593.42