details

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

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	1.06414699554 seconds
cpu usage	2.58149435
max memory	8.33642496E8

stage attributes

key	value
output-size	1450
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 Loop of length 20 starting with a string of length 11 using right expansion and the encoding {a=a, b=b, c=c}: .abbc.bbccbcc rule abbc -> bccaaa at position 0 .bccaaa.bbccbcc rule a -> b at position 4 .bccaba.bbccbcc rule abbc -> bccaaa at position 5 .bccabbccaaa.cbcc rule abbc -> bccaaa at position 3 .bccbccaaacaaa.cbcc rule a -> b at position 7 .bccbccabacaaa.cbcc rule a -> b at position 8 .bccbccabbcaaa.cbcc rule abbc -> bccaaa at position 6 .bccbccbccaaaaaa.cbcc rule a -> b at position 11 .bccbccbccaabaaa.cbcc rule a -> b at position 13 .bccbccbccaababa.cbcc rule a -> b at position 14 .bccbccbccaababb.cbcc rule abbc -> bccaaa at position 12 .bccbccbccaabbccaaa.bcc rule abbc -> bccaaa at position 10 .bccbccbccabccaaacaaa.bcc rule a -> b at position 14 .bccbccbccabccabacaaa.bcc rule a -> b at position 15 .bccbccbccabccabbcaaa.bcc rule a -> b at position 17 .bccbccbccabccabbcbaa.bcc rule a -> b at position 19 .bccbccbccabccabbcbab.bcc rule abbc -> bccaaa at position 18 .bccbccbccabccabbcbbccaaa.c rule a -> b at position 22 .bccbccbccabccabbcbbccaba.c rule a -> b at position 23 .bccbccbccabccabbcbbccabb.c rule abbc -> bccaaa at position 21 .bccbccbccabccabbcbbccbccaaa. popout

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

job log

popout

actions

all output return to SRS Stand 10685