cnt ok sat uns fld to mo unk real time space max best uniq abcsuperprove 317 253 48 205 64 64 0 0 43520 438180 89594 24444 160 73 avr 317 156 45 111 161 0 0 161 34227 92687 106867 13560 45 8 cosa2 317 131 36 95 186 185 1 0 41083 91351 75021 7736 13 0 btormc 317 117 40 77 200 200 0 0 41915 41907 33263 3648 50 1 conps-btormc-thp 317 40 40 0 277 175 0 102 33984 33981 8764 2313 0 0 btormc-master 317 40 40 0 277 176 0 101 34993 34990 7768 2102 1 0 conps-btormc-no-thp 317 40 40 0 277 176 0 101 35393 35389 8660 2395 0 0