/export/starexec/sandbox/solver/bin/starexec_run_certified /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 00**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##x1##**x1**x12.1**00x111**x1**11x1##00x100##x1##00x111##x1##11x1$$##x1$$**x1####x1##x1**##x1**x11*111101111111#1111$111**00x111**x1**11x1##00x100##x1##00x111##x1##11x1$$##x1$$**x1**00x111**x1**00x11**x1**00x1**x1**00x1*x1**11x100x1**11x10x100##x100x100##x10x111##x111x111##x11x1$$##x1$$**x1$$##x1$**x1$$##x1**x1$$##x1*x1true$$##x1$**x1$$##x1$$**x1true1$111$1111#11*110101111$$##x1$$**x1**00x111**x1**11x1##00x1$$##x1$$**x111##x1##11x11*1210123111331#1221$121$121$$##x1**x1false$$##x1*x1false**00x1*x1**00x1**x1true1*11101111111#111*111**00x1*x1**00x1**x1**00x111**x1**11x1##00x100##x1##00x111##x1##11x1**00x111**x1**11x1##00x100##x1##00x111##x1##11x11*111*1110111111111#10**00x111**x1**11x1##00x111##x1##11x1**11x100x1false**11x10x1false**00x111**x1false**00x11**x1false00##x10x100##x100x1true10111#111011100##x10x100##x100x100##x1##00x100##x1##00x120101110111#111111##x11x111##x111x1true11111#111111111##x11x111##x111x111##x1##11x111##x1##11x120111-121111#1221AProVEAProVE Commit ID: c69e44bd14796315568835c1ffa2502984884775 mhark 20210624 unpublished Statistics for single proof: 100.00 % (18 real / 0 unknown / 0 assumptions / 18 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe