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