/export/starexec/sandbox/solver/bin/starexec_run_certified /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES aacx1baax1bcax1aaax1caax1bcax1ccax1cacx1abcx1acbx1abbx1bacx1aacx1acax12.1caax1aabx1acbx1aaax1aacx1acbx1accx1cacx1cbax1bcax1bbax1cabx1caax1acax121c11020221a11020001b10120001acbx1aaax1aacx1acbx1accx1cacx1caax1acax11a111c1111b111aacx1acbx1accx1cacx1caax1acax1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe