Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292767
details
property
value
status
complete
benchmark
abaaaaaa-aaaaaaaababab.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n159.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta 3.12 20G
configuration
default
runtime (wallclock)
7.87327 seconds
cpu usage
29.9098
user time
26.9569
system time
2.95284
max virtual memory
2.5122932E7
max residence set size
7076900.0
stage attributes
key
value
starexec-result
NO
output
29.74/7.82 NO 29.74/7.82 Loop of length 122 starting with a string of length 38 using right expansion 29.74/7.82 and the encoding {a=a, b=b}: 29.74/7.82 29.74/7.82 .abaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 0 29.74/7.82 .aaaaaaaababab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 11 29.74/7.82 .aaaaaaaababaaaaaaaababab.aaaaaaaaaaaaaaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 22 29.74/7.82 .aaaaaaaababaaaaaaaababaaaaaaaababab.aaaaaaaaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 20 29.74/7.82 .aaaaaaaababaaaaaaaabaaaaaaaabababaababab.aaaaaaaaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 18 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaabababaababab.aaaaaaaaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 43 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaabababaababaaaaaaaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 41 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaabababaabaaaaaaaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 39 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaabababaaaaaaaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 36 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaababaaaaaaaabababaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 34 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaabaaaaaaaabababaabababaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 32 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabababaaaaaaaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 29 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 27 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 25 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 94 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababaaaaaaaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 92 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabaaaaaaaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 90 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 87 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 85 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 83 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 80 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 78 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 76 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 72 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 70 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 68 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 65 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 63 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 61 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 58 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 56 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 54 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 50 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 48 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 46 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 43 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 41 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 39 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 36 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 34 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 32 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 235 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababaaaaaaaababab. 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 233 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabaaaaaaaabababaababab. 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 231 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaababab. 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 228 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaababab. 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 226 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaababab. 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 224 29.74/7.82 .aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaababab. 29.74/7.82 rule abaaaaaa -> aaaaaaaababab at position 221
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