Since the experiments folder exceeded 100MB,  we report at the following link https://drive.google.com/file/d/1Cgt-JP-3EAneCONMLt_1HLHxKnRfbclQ/view?usp=share_link,  an anonymized version of our PT-LiRPA code, as well as detail instructions to reproduce our results.