details

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

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	0.396979093552 seconds
cpu usage	0.571778023
max memory	5.02181888E8

stage attributes

key	value
output-size	770
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 b c a b , c b c -> } Loop of length 7 starting with a string of length 4 using right expansion and the encoding {a=a, b=b, c=c}: .ba.aa rule ba -> aabcab at position 0 .aabcab.aa rule a -> at position 4 .aabcb.aa rule ba -> aabcab at position 4 .aabcaabcab.a rule a -> at position 4 .aabcabcab.a rule a -> at position 4 .aabcbcab.a rule cbc -> at position 3 .aabab.a rule ba -> aabcab at position 4 .aabaaabcab. popout

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

job log

popout

actions

all output return to SRS Stand 10685