added results of case study. pyB works but is very slow. ~8 sec. for every check