details

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

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	10.3086 seconds
cpu usage	39.0495
user time	37.0241
system time	2.02535
max virtual memory	2.5002756E7
max residence set size	6078140.0

stage attributes

key	value
starexec-result	NO

output

38.78/10.16 NO 38.78/10.16 Loop of length 24 starting with a string of length 11 using right expansion 38.78/10.16 and the encoding {a=a, b=b, c=c}: 38.78/10.16 38.78/10.16 .a.bacbaccacc 38.78/10.16 rule a -> b at position 0 38.78/10.16 .b.bacbaccacc 38.78/10.16 rule bbac -> ccaaaa at position 0 38.78/10.16 .ccaaaa.baccacc 38.78/10.16 rule a -> b at position 2 38.78/10.16 .ccbaaa.baccacc 38.78/10.16 rule a -> b at position 3 38.78/10.16 .ccbbaa.baccacc 38.78/10.16 rule a -> b at position 5 38.78/10.16 .ccbbab.baccacc 38.78/10.16 rule bbac -> ccaaaa at position 5 38.78/10.16 .ccbbaccaaaa.cacc 38.78/10.16 rule bbac -> ccaaaa at position 2 38.78/10.16 .ccccaaaacaaaa.cacc 38.78/10.16 rule a -> b at position 5 38.78/10.16 .ccccabaacaaaa.cacc 38.78/10.16 rule a -> b at position 6 38.78/10.16 .ccccabbacaaaa.cacc 38.78/10.16 rule bbac -> ccaaaa at position 5 38.78/10.16 .ccccaccaaaaaaaa.cacc 38.78/10.16 rule a -> b at position 9 38.78/10.16 .ccccaccaabaaaaa.cacc 38.78/10.16 rule a -> b at position 10 38.78/10.16 .ccccaccaabbaaaa.cacc 38.78/10.16 rule a -> b at position 12 38.78/10.16 .ccccaccaabbabaa.cacc 38.78/10.16 rule a -> b at position 13 38.78/10.16 .ccccaccaabbabba.cacc 38.78/10.16 rule bbac -> ccaaaa at position 12 38.78/10.16 .ccccaccaabbaccaaaa.acc 38.78/10.16 rule bbac -> ccaaaa at position 9 38.78/10.16 .ccccaccaaccaaaacaaaa.acc 38.78/10.16 rule a -> b at position 13 38.78/10.16 .ccccaccaaccaabacaaaa.acc 38.78/10.16 rule a -> b at position 16 38.78/10.16 .ccccaccaaccaabacbaaa.acc 38.78/10.16 rule a -> b at position 18 38.78/10.16 .ccccaccaaccaabacbaba.acc 38.78/10.16 rule a -> b at position 19 38.78/10.16 .ccccaccaaccaabacbabb.acc 38.78/10.16 rule bbac -> ccaaaa at position 18 38.78/10.16 .ccccaccaaccaabacbaccaaaa.c 38.78/10.16 rule a -> b at position 21 38.78/10.16 .ccccaccaaccaabacbaccabaa.c 38.78/10.16 rule a -> b at position 22 38.78/10.16 .ccccaccaaccaabacbaccabba.c 38.78/10.16 rule bbac -> ccaaaa at position 21 38.78/10.16 .ccccaccaaccaabacbaccaccaaaa. 39.02/10.30 EOF popout

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

job log

popout

actions

all output return to SRS_Standard 2019-03-29 03.29