details

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

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	13.6863 seconds
cpu usage	52.8189
user time	48.3407
system time	4.47818
max virtual memory	2.5386652E7
max residence set size	9275496.0

stage attributes

key	value
starexec-result	NO

output

52.54/13.63 NO 52.54/13.63 Loop of length 128 starting with a string of length 59 using right expansion 52.54/13.63 and the encoding {a=c, b=a, c=b}: 52.54/13.63 52.54/13.63 .aabccccccc.ccccccccccccccccccccccccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 0 52.54/13.63 .ccccccccaabaab.ccccccccccccccccccccccccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 11 52.54/13.63 .ccccccccaabccccccccaabaab.cccccccccccccccccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 22 52.54/13.63 .ccccccccaabccccccccaabccccccccaabaab.ccccccccccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 19 52.54/13.63 .ccccccccaabccccccccccccccccaabaabcaabaab.ccccccccccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 37 52.54/13.63 .ccccccccaabccccccccccccccccaabaabcaabccccccccaabaab.cccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 34 52.54/13.63 .ccccccccaabccccccccccccccccaabaabcccccccccaabaabcaabaab.cccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 30 52.54/13.63 .ccccccccaabccccccccccccccccaabccccccccaabaabccaabaabcaabaab.cccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 27 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 60 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccccaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 57 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 53 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 50 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 45 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 42 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 38 52.54/13.63 .ccccccccaabccccccccccccccccccccccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 35 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 99 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 96 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 92 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 89 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 84 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 81 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 77 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 74 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 68 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 65 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 61 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 58 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 53 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 50 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 46 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 43 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 170 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 167 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 163 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 160 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 155 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 152 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 148 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 145 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 139 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 136 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 132 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 129 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 124 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 121 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 117 52.54/13.63 .ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc 52.54/13.63 rule aabccccccc -> ccccccccaabaab at position 114 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