cnt ok sat fld to unk  real   time space  max best uniq
             btormc  68 54  54  14 14   0 31834  31830 22785 3332    6    0
   conps-btormc-thp  68 53  53  15 15   0 43632  43627 11447 2313    0    0
      btormc-master  68 53  53  15 15   0 45136  45131 10046 2102    1    0
conps-btormc-no-thp  68 53  53  15 15   0 45555  45550 11304 2395    0    0
              cosa2  68 49  49  19 18   1 15320  31073 24077 2587   20    0
                avr  68 48  48  20  0  20 17890  45574 35875 6054   15    2
      abcsuperprove  54 48  48   6  6   0 20303 226740 17413 1174   26    9