cnt ok sat uns fld to mo unk real time space max best uniq cosa2 629 353 49 304 276 260 2 14 134935 289939 450511 18275 35 11 btormc 629 325 54 271 304 304 0 0 53637 53616 47757 3648 241 4 avr 629 286 48 238 343 0 0 343 51128 141825 409297 37372 75 25 abcsuperprove 317 253 48 205 64 64 0 0 43520 438180 89594 24444 160 73 conps-btormc-thp 629 53 53 0 576 296 0 280 43632 43627 11447 2313 0 0 btormc-master 629 53 53 0 576 298 0 278 45136 45131 10046 2102 1 0 conps-btormc-no-thp 629 53 53 0 576 298 0 278 45555 45550 11304 2395 0 0