details

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

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	0.920995 seconds
cpu usage	2.77855
user time	2.48837
system time	0.29018
max virtual memory	2.4989724E7
max residence set size	851316.0

stage attributes

key	value
starexec-result	NO

output

2.63/0.88 NO 2.63/0.88 Loop of length 64 starting with a string of length 45 using right expansion 2.63/0.88 and the encoding {a=c, b=a, c=b}: 2.63/0.88 2.63/0.88 .aabcccccc.cccccccccccccccccccccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 0 2.63/0.88 .cccccccaabaab.cccccccccccccccccccccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 10 2.63/0.88 .cccccccaabcccccccaabaab.cccccccccccccccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 20 2.63/0.88 .cccccccaabcccccccaabcccccccaabaab.cccccccccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 17 2.63/0.88 .cccccccaabccccccccccccccaabaabcaabaab.cccccccccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 34 2.63/0.88 .cccccccaabccccccccccccccaabaabcaabcccccccaabaab.cccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 31 2.63/0.88 .cccccccaabccccccccccccccaabaabccccccccaabaabcaabaab.cccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 27 2.63/0.88 .cccccccaabccccccccccccccaabcccccccaabaabccaabaabcaabaab.cccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 24 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 56 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 53 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 49 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 46 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 41 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 38 2.63/0.88 .cccccccaabcccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 34 2.63/0.88 .cccccccaabcccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 31 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 94 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 91 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 87 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 84 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 79 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 76 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 72 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 69 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 63 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 60 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 56 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 53 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 48 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 45 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 41 2.63/0.88 .cccccccaabccccccccccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 38 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 164 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 161 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 157 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 154 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 149 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 146 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 142 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 139 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 133 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 130 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 126 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 123 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 118 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 115 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab at position 111 2.63/0.88 .cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab. 2.63/0.88 rule aabcccccc -> cccccccaabaab 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