/export/starexec/sandbox2/solver/bin/starexec_run_certified /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES f0cons0n__fn__sn__0fs0fps0psXXfXn__fXsXn__sX0n__0activaten__fXfactivateXactivaten__sXsactivateXactivaten__00activateXX2.11f1221001cons21112n__f1221n__s111n__000s111p111activate1221fs0fps0psXXfXn__fXsXn__sXactivaten__fXfactivateXactivaten__sXsactivateX1f1221s1111000p111n__f1221n__s1111activate1221fs0fps0fXn__fXsXn__sXactivaten__fXfactivateX1f1221s121000p111n__f1221n__s121activate121fs0fps0fXn__fXsXn__sX1f1221s111000p111n__f111n__s111fs0fps0sXn__sX1f111s1121000p111n__s121fs0fps010fs0fps0true101230123f000f010f020f030s001s011s021s031002p003p013p023p033016s165p154f140AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (11 real / 0 unknown / 0 assumptions / 11 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe