cnt  ok sat uns fld  to mo unk  real   time  space   max best uniq
              cosa2 312 222  13 209  90  75  1  14 93852 198589 375490 18275   22   11
             btormc 312 208  14 194 104 104  0   0 11723  11710  14494   907  191    3
                avr 312 130   3 127 182   0  0 182 16901  49138 302430 37372   30   17
   conps-btormc-thp 312  13  13   0 299 121  0 178  9648   9647   2683   782    0    0
      btormc-master 312  13  13   0 299 122  0 177 10143  10142   2278   672    0    0
conps-btormc-no-thp 312  13  13   0 299 122  0 177 10162  10161   2644   776    0    0