[*] Testing the target binary... [+] OK, 101 tuples recorded. [*] Obtaining traces for input files in 'testcase_full'... Processing file 6399/6399... [*] Sorting trace sets (this may take a while)... [+] Found 12057 unique tuples across 6399 files. [*] Finding best candidates for each tuple... Processing file 6399/6399... [*] Sorting candidate list (be patient)... [*] Processing candidates and writing output files... Processing tuple 12057/12057... [+] Narrowed down to 817 files, saved in 'testcase_cmin'.