details

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

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	13.3378 seconds
cpu usage	51.2941
user time	47.0403
system time	4.25382
max virtual memory	2.5188592E7
max residence set size	8729312.0

stage attributes

key	value
starexec-result	NO

output

51.19/13.29 NO 51.19/13.29 Loop of length 38 starting with a string of length 8 using right expansion 51.19/13.29 and the encoding {a=a, b=b, c=c}: 51.19/13.29 51.19/13.29 .ab.bcbbbc 51.19/13.29 rule ab -> cac at position 0 51.19/13.29 .cac.bcbbbc 51.19/13.29 rule a -> at position 1 51.19/13.29 .cc.bcbbbc 51.19/13.29 rule cc -> bbba at position 0 51.19/13.29 .bbba.bcbbbc 51.19/13.29 rule ab -> cac at position 3 51.19/13.29 .bbbcac.cbbbc 51.19/13.29 rule cc -> bbba at position 5 51.19/13.29 .bbbcabbba.bbbc 51.19/13.29 rule ab -> cac at position 4 51.19/13.29 .bbbccacbba.bbbc 51.19/13.29 rule a -> at position 5 51.19/13.29 .bbbcccbba.bbbc 51.19/13.29 rule cc -> bbba at position 4 51.19/13.29 .bbbcbbbabba.bbbc 51.19/13.29 rule ab -> cac at position 7 51.19/13.29 .bbbcbbbcacba.bbbc 51.19/13.29 rule a -> at position 8 51.19/13.29 .bbbcbbbccba.bbbc 51.19/13.29 rule cc -> bbba at position 7 51.19/13.29 .bbbcbbbbbbaba.bbbc 51.19/13.29 rule ab -> cac at position 10 51.19/13.29 .bbbcbbbbbbcaca.bbbc 51.19/13.29 rule a -> at position 11 51.19/13.29 .bbbcbbbbbbcca.bbbc 51.19/13.29 rule cc -> bbba at position 10 51.19/13.29 .bbbcbbbbbbbbbaa.bbbc 51.19/13.29 rule ab -> cac at position 14 51.19/13.29 .bbbcbbbbbbbbbacac.bbc 51.19/13.29 rule a -> at position 15 51.19/13.29 .bbbcbbbbbbbbbacc.bbc 51.19/13.29 rule cc -> bbba at position 14 51.19/13.29 .bbbcbbbbbbbbbabbba.bbc 51.19/13.29 rule ab -> cac at position 13 51.19/13.29 .bbbcbbbbbbbbbcacbba.bbc 51.19/13.29 rule a -> at position 14 51.19/13.29 .bbbcbbbbbbbbbccbba.bbc 51.19/13.29 rule cc -> bbba at position 13 51.19/13.29 .bbbcbbbbbbbbbbbbabba.bbc 51.19/13.29 rule ab -> cac at position 16 51.19/13.29 .bbbcbbbbbbbbbbbbcacba.bbc 51.19/13.29 rule a -> at position 17 51.19/13.29 .bbbcbbbbbbbbbbbbccba.bbc 51.19/13.29 rule cc -> bbba at position 16 51.19/13.29 .bbbcbbbbbbbbbbbbbbbaba.bbc 51.19/13.29 rule ab -> cac at position 19 51.19/13.29 .bbbcbbbbbbbbbbbbbbbcaca.bbc 51.19/13.29 rule a -> at position 20 51.19/13.29 .bbbcbbbbbbbbbbbbbbbcca.bbc 51.19/13.29 rule cc -> bbba at position 19 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbaa.bbc 51.19/13.29 rule ab -> cac at position 23 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbacac.bc 51.19/13.29 rule a -> at position 24 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbacc.bc 51.19/13.29 rule cc -> bbba at position 23 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbabbba.bc 51.19/13.29 rule ab -> cac at position 22 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbcacbba.bc 51.19/13.29 rule a -> at position 23 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbccbba.bc 51.19/13.29 rule cc -> bbba at position 22 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabba.bc 51.19/13.29 rule ab -> cac at position 28 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabbcac.c 51.19/13.29 rule cc -> bbba at position 30 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabbcabbba. 51.19/13.29 rule ab -> cac at position 29 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabbccacbba. 51.19/13.29 rule a -> at position 30 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabbcccbba. 51.19/13.29 rule cc -> bbba at position 29 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabbcbbbabba. 51.19/13.29 rule ab -> cac at position 32 51.19/13.29 .bbbcbbbbbbbbbbbbbbbbbbbbbabbcbbbcacba. 51.26/13.33 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