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

InstanceResultTime
sortnetsort5.AE.stepl.003SAT0.06
sortnetsort5.AE.stepl.005UNSAT0.1
sortnetsort5.AE.stepl.006UNSAT0.15
sortnetsort5.AE.stepl.007UNSAT0.17
sortnetsort6.AE.stepl.003SAT0.26
sortnetsort7.AE.stepl.003SAT1.3
sortnetsort6.AE.stepl.006UNSAT5.42
sortnetsort7.AE.stepl.006UNSAT260.81
sortnetsort8.AE.stepl.009FAIL1200.15
sortnetsort10.AE.stepl.005FAIL1200.16
sortnetsort7.AE.stepl.009FAIL1200.16
sortnetsort8.AE.stepl.007FAIL1200.16
sortnetsort9.AE.stepl.004FAIL1200.16
sortnetsort9.AE.stepl.005FAIL1200.17
sortnetsort10.AE.stepl.012FAIL1200.17
sortnetsort8.AE.stepl.005FAIL1200.17
sortnetsort9.AE.stepl.012FAIL1200.18