minX0XminsXsYminXYquot0sY0quotsXsYsquotminXYsYlogs00logssXslogsquotXss02.110minsXsYminXYquotsXsYquotminXYsYquotsXsYminXYlogssXlogsquotXss0logssXquotXss0truelogssXlogsquotXss0truequot0sY0quotsXsYsquotminXYsYminX0XminsXsYminXYminx00minsx0sx1quot0sx0quotsx0sx11s1010011log11s11quot2100min21logssXquotXss0falsequotsXsYquotminXYsYtrueminX0XminsXsYminXYminx00minsx0sx11s101quot21s11min21quotsXsYminXYfalseminsXsYminXYtrueminsXsYminXY1true12true2AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (14 real / 0 unknown / 0 assumptions / 14 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe