details

property	value
status	complete
benchmark	bbcaaaaaaa-aaaaaaabbcbbca.srs.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n113.star.cs.uiowa.edu
space	Wenzel_16

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	16.3804 seconds
cpu usage	62.6798
user time	57.6617
system time	5.01802
max virtual memory	2.4992456E7
max residence set size	9360760.0

stage attributes

key	value
starexec-result	NO

output

62.51/16.32 NO 62.51/16.33 Loop of length 128 starting with a string of length 52 using right expansion 62.51/16.33 and the encoding {a=c, b=a, c=b}: 62.51/16.33 62.51/16.33 .aabccccccc.cccccccccccccccccccccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 0 62.51/16.33 .cccccccaabaabc.cccccccccccccccccccccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 10 62.51/16.33 .cccccccaabcccccccaabaabc.cccccccccccccccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 20 62.51/16.33 .cccccccaabcccccccaabcccccccaabaabc.cccccccccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 17 62.51/16.33 .cccccccaabccccccccccccccaabaabcaabaabc.cccccccccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 34 62.51/16.33 .cccccccaabccccccccccccccaabaabcaabcccccccaabaabc.cccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 31 62.51/16.33 .cccccccaabccccccccccccccaabaabccccccccaabaabcaabaabc.cccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 27 62.51/16.33 .cccccccaabccccccccccccccaabcccccccaabaabccaabaabcaabaabc.cccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 24 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabaabc.cccccccccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 56 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 53 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 49 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 46 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 41 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 38 62.51/16.33 .cccccccaabcccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 34 62.51/16.33 .cccccccaabcccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 31 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 94 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 91 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 87 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 84 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 79 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 76 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 72 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 69 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 63 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 60 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 56 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 53 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 48 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 45 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 41 62.51/16.33 .cccccccaabccccccccccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 38 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 164 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 161 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 157 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 154 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 149 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 146 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 142 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 139 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 133 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 130 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 126 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 123 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 118 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 115 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 111 62.51/16.33 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccc 62.51/16.33 rule aabccccccc -> cccccccaabaabc at position 108 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