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