cnt ok sat fld to unk real time space max best uniq abcsuperprove 54 48 48 6 6 0 20303 226740 17413 1174 26 9 avr 54 45 45 9 0 9 17425 44604 32781 6054 15 2 btormc 54 40 40 14 14 0 24882 24879 18714 3332 3 0 conps-btormc-thp 54 40 40 14 14 0 33984 33981 8764 2313 0 0 btormc-master 54 40 40 14 14 0 34993 34990 7768 2102 1 0 conps-btormc-no-thp 54 40 40 14 14 0 35393 35389 8660 2395 0 0 cosa2 54 36 36 18 18 0 12600 25563 19115 2587 9 0