/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$12#10*10010110$$##x1$$**x1**00x111**x1**11x1##00x1$$##x1$$**x111##x1##11x11$1-221$11*1210112111221#1221$$##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*1110122111221#111*121**00x111**x1**11x1##00x100##x1##00x111##x1##11x1**11x100x1false**11x10x1false**00x111**x1false**00x11**x1false00##x10x100##x100x1true10111#111011100##x10x100##x100x100##x1##00x100##x1##00x120101121#111012100##x100x100##x1##00x110131#1331012111##x11x111##x111x1true11111#111111111##x11x111##x111x111##x1##11x111##x1##11x120111121#111112111##x111x111##x1##11x111131#13311121AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (20 real / 0 unknown / 0 assumptions / 20 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe