Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432293133
details
property
value
status
complete
benchmark
abaaaaa-aaaaaaabababab.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n041.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta 3.12 20G
configuration
default
runtime (wallclock)
1.85578 seconds
cpu usage
6.36607
user time
6.0109
system time
0.355168
max virtual memory
2.5055568E7
max residence set size
1243696.0
stage attributes
key
value
starexec-result
NO
output
6.18/1.81 NO 6.18/1.82 Loop of length 86 starting with a string of length 27 using right expansion 6.18/1.82 and the encoding {a=a, b=b}: 6.18/1.82 6.18/1.82 .abaaaaa.aaaaaaaaaaaaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 0 6.18/1.82 .aaaaaaabababab.aaaaaaaaaaaaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 12 6.18/1.82 .aaaaaaabababaaaaaaabababab.aaaaaaaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 24 6.18/1.82 .aaaaaaabababaaaaaaabababaaaaaaabababab.aaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 22 6.18/1.82 .aaaaaaabababaaaaaaababaaaaaaababababaabababab.aaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 20 6.18/1.82 .aaaaaaabababaaaaaaabaaaaaaababababaababababaabababab.aaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 18 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaababababaabababab.aaaaaaaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 57 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaababababaabababaaaaaaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 55 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaababababaababaaaaaaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 53 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaababababaabaaaaaaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 51 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaababababaaaaaaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 48 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaabababaaaaaaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 46 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 44 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 42 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 39 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 37 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 35 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 33 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 30 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 28 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 26 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 24 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 174 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababaaaaaaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 172 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababaaaaaaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 170 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabaaaaaaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 168 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaaaaaaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 165 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabababaaaaaaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 163 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 161 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 159 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 156 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 154 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 152 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 150 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 147 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 145 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 143 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 141 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 137 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababaaaaaaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 135 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababaaaaaaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 133 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabaaaaaaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 131 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaaaaaaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 128 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabababaaaaaaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 126 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 124 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 122 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 119 6.18/1.82 .aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab. 6.18/1.82 rule abaaaaa -> aaaaaaabababab at position 117
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