Disproving fair termination by MoCHi. (see our ICFP16 paper for details) The benchmark set used in our paper is available here.