fxnilgnilxfxgyzgfxyz++xnilx++xgyzg++xyznullniltruenullgxyfalsememnilyfalsememgxyzor=yzmemxzmemxmaxxnotnullxmaxggnilxymax'xymaxgggxyzumax'maxggxyzuor2true0g2u0nil0false0=2max'2not1f2++2null1mem2max112.1fz0nilgnilz0fz0nilcfz0gz1z2gfz0z1z2fz0gz1z2c1fz0z1++z0nilz0++z0nilc2++z0gz1z2g++z0z1z2++z0gz1z2c3++z0z1nullniltruenullnilc4nullgz0z1falsenullgz0z1c5memnilz0falsememnilz0c6memgz0z1z2or=z1z2memz0z2memgz0z1z2c7memz0z2memz0maxz0notnullz0memz0maxz0c8nullz0maxggnilz0z1max'z0z1maxggnilz0z1c9maxgggz0z1z2umax'maxggz0z1z2umaxgggz0z1z2uc10maxggz0z1z2fz0nilfz0gz1z2++z0nil++z0gz1z2nullnilnullgz0z1memnilz0memgz0z1z2memz0maxz0maxggnilz0z1maxgggz0z1z2ufz0nilgnilz0fz0gz1z2gfz0z1z2++z0nilz0++z0gz1z2g++z0z1z2nullniltruenullgz0z1falsememnilz0falsememgz0z1z2or=z1z2memz0z2memz0maxz0notnullz0maxggnilz0z1max'z0z1maxgggz0z1z2umax'maxggz0z1z2u1c00c11110c200c31110c400c500c600c71110c81110c900c101110f20++23null1131mem2432max1210nil04g20max1311u02++z0nilc2nullnilc4nullgz0z1c5memnilz0c6memz0maxz0c8nullz0fz0nilcfz0gz1z2c1fz0z1++z0nilc2++z0gz1z2c3++z0z1nullnilc4nullgz0z1c5memnilz0c6memgz0z1z2c7memz0z2memz0maxz0c8nullz0maxggnilz0z1c9maxgggz0z1z2uc10maxggz0z1z21c00c11110c200c31110c400c500c600c71110c81110c900c101110f2312++2320null11mem22max15nil02g2211max12u05fz0nilcfz0gz1z2c1fz0z1++z0gz1z2c3++z0z1maxggnilz0z1c9fz0nilcfz0gz1z2c1fz0z1++z0nilc2++z0gz1z2c3++z0z1nullnilc4nullgz0z1c5memnilz0c6memgz0z1z2c7memz0z2memz0maxz0c8nullz0maxggnilz0z1c9maxgggz0z1z2uc10maxggz0z1z21c00c11110c200c31110c400c500c600c71110c81110c900c101110f2520++2120null1311mem2442max1210nil00g211012max1110u01maxgggz0z1z2uc10maxggz0z1z2fz0nilcfz0gz1z2c1fz0z1++z0nilc2++z0gz1z2c3++z0z1nullnilc4nullgz0z1c5memnilz0c6memgz0z1z2c7memz0z2memz0maxz0c8nullz0maxggnilz0z1c9maxgggz0z1z2uc10maxggz0z1z21c00c11110c200c31110c400c500c600c71110c81110c900c101110f20++2220null1310mem2310max1210nil00g2111max13u00memgz0z1z2c7memz0z2fz0nilcfz0gz1z2c1fz0z1++z0nilc2++z0gz1z2c3++z0z1nullnilc4nullgz0z1c5memnilz0c6memgz0z1z2c7memz0z2memz0maxz0c8nullz0maxggnilz0z1c9maxgggz0z1z2uc10maxggz0z1z2AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe