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