details

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

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	0.501357078552 seconds
cpu usage	0.628099644
max memory	4.7003648E8

stage attributes

key	value
output-size	1118
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 2-rule system { b a a -> a a a b c b , c a -> } Loop of length 12 starting with a string of length 9 using right expansion and the encoding {a=b, b=a, c=c}: .abb.bbbbbb rule abb -> bbbaca at position 0 .bbbaca.bbbbbb rule abb -> bbbaca at position 5 .bbbacbbbaca.bbbb rule cb -> at position 4 .bbbabbaca.bbbb rule abb -> bbbaca at position 8 .bbbabbacbbbaca.bb rule cb -> at position 7 .bbbabbabbaca.bb rule abb -> bbbaca at position 6 .bbbabbbbbacaaca.bb rule abb -> bbbaca at position 14 .bbbabbbbbacaacbbbaca. rule cb -> at position 13 .bbbabbbbbacaabbaca. rule abb -> bbbaca at position 12 .bbbabbbbbacabbbacaaca. rule abb -> bbbaca at position 11 .bbbabbbbbacbbbacabacaaca. rule cb -> at position 10 .bbbabbbbbabbacabacaaca. rule abb -> bbbaca at position 9 .bbbabbbbbbbbacaacabacaaca. popout

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

job log

popout

actions

all output return to SRS Stand 10685