pseudo-ssaExtConvert
Number of instances: 8 (1 processed, 6 partially processed, 1 failed)
Processing completed
normalized-ssa-0432-003-ext
Partially processed
normalized-ssa-2670-130-ext
normalized-ssa-2670-141-ext
normalized-ssa-7552-038-ext
normalized-ssa-7552-158-ext
normalized-ssa-7552-159-ext
normalized-ssa-7552-160-ext
Processing failed
normalized-ssa-6288-047-ext