details

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

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	16.6135 seconds
cpu usage	64.3805
user time	59.7515
system time	4.62903
max virtual memory	2.4991304E7
max residence set size	9199552.0

stage attributes

key	value
starexec-result	NO

output

64.11/16.54 NO 64.11/16.55 Loop of length 128 starting with a string of length 59 using right expansion 64.11/16.55 and the encoding {a=b, b=a, c=c}: 64.11/16.55 64.11/16.55 .abcbbbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 0 64.11/16.55 .bbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 11 64.11/16.55 .bbbbbbbbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 22 64.11/16.55 .bbbbbbbbabcbbbbbbbbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 19 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 37 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 34 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 30 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 27 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 60 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 57 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 53 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 50 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 45 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 42 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 38 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 35 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 99 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 96 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 92 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 89 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 84 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 81 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 77 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 74 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 68 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 65 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 61 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 58 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 53 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 50 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 46 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 43 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 170 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 167 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 163 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 160 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 155 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 152 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 148 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 145 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 139 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcbbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 136 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 132 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 129 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 124 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcbbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 121 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc at position 117 64.11/16.55 .bbbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcbbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbb 64.11/16.55 rule abcbbbbbbb -> bbbbbbbbabcabc 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