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

InstanceResultTime
sortnetsort5.AE.stepl.003SAT0.05
sortnetsort5.AE.stepl.005UNSAT0.1
sortnetsort6.AE.stepl.003SAT0.13
sortnetsort5.AE.stepl.007UNSAT0.15
sortnetsort5.AE.stepl.006UNSAT0.18
sortnetsort7.AE.stepl.003SAT0.24
sortnetsort5.AE.stepl.004SAT0.32
sortnetsort8.AE.stepl.003SAT0.57
sortnetsort6.AE.stepl.004SAT1
sortnetsort6.AE.stepl.005UNSAT1.06
sortnetsort6.AE.stepl.007UNSAT1.19
sortnetsort7.AE.stepl.004SAT1.42
sortnetsort6.AE.stepl.006UNSAT1.71
sortnetsort9.AE.stepl.004SAT3.84
sortnetsort8.AE.stepl.004SAT4.07
sortnetsort7.AE.stepl.009UNSAT7.87
sortnetsort10.AE.stepl.004SAT7.91
sortnetsort7.AE.stepl.008UNSAT15.18
sortnetsort7.AE.stepl.006UNSAT15.49
sortnetsort7.AE.stepl.005SAT19.48
sortnetsort7.AE.stepl.007UNSAT20.88
sortnetsort8.AE.stepl.006UNSAT28.22
sortnetsort8.AE.stepl.005SAT38.59
sortnetsort9.AE.stepl.005SAT63.61
sortnetsort10.AE.stepl.005SAT89.74
sortnetsort8.AE.stepl.007UNSAT99.81
sortnetsort8.AE.stepl.008UNSAT146.95
sortnetsort8.AE.stepl.009UNSAT159.75
sortnetsort9.AE.stepl.008UNSAT430.28
sortnetsort10.AE.stepl.010FAIL599.71
sortnetsort9.AE.stepl.009FAIL599.71
sortnetsort10.AE.stepl.011FAIL599.71
sortnetsort9.AE.stepl.010FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort10.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.007FAIL599.72
sortnetsort9.AE.stepl.011FAIL599.81
sortnetsort10.AE.stepl.006FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81