cnt ok sat fld to unk real time space max best btormc 19 19 19 0 0 0 10193 10192 7009 1791 0 avr 19 19 19 0 0 0 11232 157865 122322 13127 1 pono 19 18 18 1 0 1 4733 19048 18166 2220 10 cosa2 19 18 18 1 1 0 5287 21277 17423 1927 8 nuxmv 19 3 3 16 16 0 11 30 782 312 0