exe ratingstat
    : ratingstat.cc
    ;

exe probability 
    : probability.cc
    ;
