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

InstanceResultTime
sortnetsort10.AE.stepl.011FAIL599.71
sortnetsort6.AE.stepl.004FAIL599.71
sortnetsort7.AE.stepl.007FAIL599.71
sortnetsort9.AE.stepl.010FAIL599.71
sortnetsort10.AE.stepl.004FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
sortnetsort6.AE.stepl.005FAIL599.71
sortnetsort7.AE.stepl.008FAIL599.71
sortnetsort8.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.011FAIL599.71
sortnetsort10.AE.stepl.005FAIL599.71
sortnetsort5.AE.stepl.003FAIL599.71
sortnetsort6.AE.stepl.006FAIL599.71
sortnetsort7.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.004FAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
sortnetsort10.AE.stepl.006FAIL599.71
sortnetsort5.AE.stepl.004FAIL599.71
sortnetsort6.AE.stepl.007FAIL599.71
sortnetsort8.AE.stepl.003FAIL599.71
sortnetsort9.AE.stepl.005FAIL599.71
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort5.AE.stepl.005FAIL599.71
sortnetsort8.AE.stepl.004FAIL599.71
sortnetsort9.AE.stepl.006FAIL599.71
sortnetsort10.AE.stepl.008FAIL599.71
sortnetsort5.AE.stepl.006FAIL599.71
sortnetsort7.AE.stepl.004FAIL599.71
sortnetsort8.AE.stepl.005FAIL599.71
sortnetsort9.AE.stepl.007FAIL599.71
sortnetsort5.AE.stepl.007FAIL599.71
sortnetsort7.AE.stepl.005FAIL599.71
sortnetsort8.AE.stepl.006FAIL599.71
sortnetsort9.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.010FAIL599.71
sortnetsort6.AE.stepl.003FAIL599.71
sortnetsort7.AE.stepl.006FAIL599.71
sortnetsort8.AE.stepl.007FAIL599.71
sortnetsort9.AE.stepl.009FAIL599.71
sortnetsort7.AE.stepl.003FAIL599.72
sortnetsort8.AE.stepl.008FAIL599.81
sortnetsort10.AE.stepl.009FAIL599.81