cnt  ok sat uns fld to mo unk  real   time   space   max best uniq
   avr 315 290  19 271  25  0  0  25 27110 388564 1148339 25471   76   12
 nuxmv 315 255   3 252  60 60  0   0 54927 161248  331394  6898    2    0
  pono 315 244  18 226  71 54  6  11 27845 114803  393154 77761   33    1
 cosa2 315 238  18 220  77 63  1  13 96905 386589  479802 14623    9    0
btormc 315 218  19 199  97 97  0   0 15611  15595   18865  1791  173    1