cnt ok sat fld to unk real time space max best btormc 14 14 14 0 0 0 6952 6951 4071 907 3 cosa2 14 13 13 1 0 1 2720 5510 4962 984 11 conps-btormc-thp 14 13 13 1 1 0 9648 9647 2683 782 0 btormc-master 14 13 13 1 1 0 10143 10142 2278 672 0 conps-btormc-no-thp 14 13 13 1 1 0 10162 10161 2644 776 0 avr 14 3 3 11 0 11 465 970 3094 2768 0