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