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