Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292437
details
property
value
status
complete
benchmark
babaaaaaaa-aaaaaaaababbab.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n107.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta 3.12 20G
configuration
default
runtime (wallclock)
14.7617 seconds
cpu usage
57.1824
user time
52.5868
system time
4.59559
max virtual memory
5.0128592E7
max residence set size
8984300.0
stage attributes
key
value
starexec-result
NO
output
57.04/14.72 NO 57.04/14.72 Loop of length 128 starting with a string of length 59 using right expansion 57.04/14.72 and the encoding {a=b, b=a}: 57.04/14.72 57.04/14.72 .ababbbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 0 57.04/14.72 .bbbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 11 57.04/14.72 .bbbbbbbbababbbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 22 57.04/14.72 .bbbbbbbbababbbbbbbbababbbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 19 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbabaabababaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 37 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbabaababababbbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 34 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbabaababbbbbbbbbabaabababaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 30 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbababbbbbbbbabaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 27 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 60 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 57 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 53 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbbabaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 50 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 45 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbbabaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 42 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 38 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 35 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 99 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbbabaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 96 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 92 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbbabaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 89 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 84 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbbbabaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 81 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbbbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 77 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 74 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 68 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 65 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 61 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 58 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 53 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 50 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 46 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 43 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 170 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbbabaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 167 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 163 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbbabaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 160 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 155 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababababbbbbbbbabaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 152 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababbbbbbbbbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 148 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbababbbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 145 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 139 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababababbbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 136 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababbbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 132 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbababbbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 129 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 124 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababababbbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 121 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababbbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba at position 117 57.04/14.72 .bbbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbababbbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbb 57.04/14.72 rule ababbbbbbb -> bbbbbbbbabaaba 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