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