/export/starexec/sandbox/solver/bin/starexec_run_certified /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES apx1paAx1aAx1Aax1pAAx1apx12.1pax1Aapx1Aax1aAx1AApx1pax1pax1Aapx1pax1px1Aax1Ax1AApx1pax1true1p131a1111A1211p131A1211pax1Aapx1pax1Aapx1Aax1aAx1201p1331a1221A111p1231A111pax1Aapx1Aax1aAx1pax01p141a14A10p10AProVEAProVE Commit ID: c69e44bd14796315568835c1ffa2502984884775 mhark 20210624 unpublished Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe