details

property	value
status	complete
benchmark	size-12-alpha-3-num-272.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n057.star.cs.uiowa.edu
space	Waldmann_07_size12

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	3.29006695747 seconds
cpu usage	11.630797612
max memory	2.857652224E9

stage attributes

key	value
output-size	2118
starexec-result	NO

output

/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO The system was reversed. Remains to prove termination of the 3-rule system { a -> , b a -> a a c , c c -> a b c b } Loop of length 36 starting with a string of length 8 using right expansion and the encoding {a=a, b=b, c=c}: .ba.caaaaa rule ba -> aac at position 0 .aac.caaaaa rule cc -> abcb at position 2 .aaabcb.aaaaa rule ba -> aac at position 5 .aaabcaac.aaaa rule a -> at position 5 .aaabcac.aaaa rule a -> at position 5 .aaabcc.aaaa rule cc -> abcb at position 4 .aaababcb.aaaa rule a -> at position 4 .aaabbcb.aaaa rule ba -> aac at position 6 .aaabbcaac.aaa rule a -> at position 6 .aaabbcac.aaa rule a -> at position 6 .aaabbcc.aaa rule cc -> abcb at position 5 .aaabbabcb.aaa rule ba -> aac at position 4 .aaabaacbcb.aaa rule a -> at position 4 .aaabacbcb.aaa rule ba -> aac at position 8 .aaabacbcaac.aa rule a -> at position 8 .aaabacbcac.aa rule a -> at position 8 .aaabacbcc.aa rule cc -> abcb at position 7 .aaabacbabcb.aa rule a -> at position 7 .aaabacbbcb.aa rule ba -> aac at position 9 .aaabacbbcaac.a rule a -> at position 9 .aaabacbbcac.a rule a -> at position 9 .aaabacbbcc.a rule cc -> abcb at position 8 .aaabacbbabcb.a rule ba -> aac at position 7 .aaabacbaacbcb.a rule a -> at position 7 .aaabacbacbcb.a rule ba -> aac at position 6 .aaabacaaccbcb.a rule cc -> abcb at position 8 .aaabacaaabcbbcb.a rule ba -> aac at position 14 .aaabacaaabcbbcaac. rule a -> at position 14 .aaabacaaabcbbcac. rule a -> at position 14 .aaabacaaabcbbcc. rule cc -> abcb at position 13 .aaabacaaabcbbabcb. rule ba -> aac at position 12 .aaabacaaabcbaacbcb. rule ba -> aac at position 11 .aaabacaaabcaacacbcb. rule a -> at position 11 .aaabacaaabcacacbcb. rule a -> at position 11 .aaabacaaabccacbcb. rule cc -> abcb at position 10 .aaabacaaababcbacbcb. rule ba -> aac at position 9 .aaabacaaaaacbcbacbcb. popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to SRS Stand 10685