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