cnt ok uns fld to mo unk real time space max best uniq avr 274 271 271 3 0 0 3 15878 230699 1026017 25471 75 12 nuxmv 274 252 252 22 22 0 0 54916 161218 330612 6898 2 0 pono 274 226 226 48 38 2 8 23112 95755 374988 77761 23 1 cosa2 274 220 220 54 43 1 10 91618 365311 462379 14623 1 0 btormc 274 199 199 75 75 0 0 5417 5403 11856 1167 173 1