Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292491
details
property
value
status
complete
benchmark
abbaaaaaaa-aaaaaaaaabbabb.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n061.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta 3.12 20G
configuration
default
runtime (wallclock)
1.2153 seconds
cpu usage
3.98303
user time
3.81915
system time
0.163872
max virtual memory
2.4989356E7
max residence set size
561340.0
stage attributes
key
value
starexec-result
NO
output
3.84/1.17 NO 3.84/1.18 Loop of length 64 starting with a string of length 52 using right expansion 3.84/1.18 and the encoding {a=a, b=b}: 3.84/1.18 3.84/1.18 .abbaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 0 3.84/1.18 .aaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 11 3.84/1.18 .aaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 22 3.84/1.18 .aaaaaaaaabbaaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 19 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 37 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 34 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 30 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 27 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 60 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 57 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 53 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 50 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 45 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 42 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 38 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 35 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 99 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 96 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 92 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 89 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 84 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 81 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 77 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 74 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 68 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 65 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 61 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 58 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 53 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 50 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 46 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 43 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 170 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 167 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 163 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 160 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 155 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 152 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 148 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 145 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 139 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 136 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 132 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 129 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 124 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 121 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb at position 117 3.84/1.18 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. 3.84/1.18 rule abbaaaaaaa -> aaaaaaaaabbabb 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