Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381717794
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
n014.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta3.12_29June2018A
configuration
default
runtime (wallclock)
1.26243495941 seconds
cpu usage
3.85604797
max memory
9.48400128E8
stage attributes
key
value
output-size
15464
starexec-result
NO
output
/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- NO Loop of length 64 starting with a string of length 52 using right expansion and the encoding {a=a, b=b}: .abbaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 0 .aaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 11 .aaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 22 .aaaaaaaaabbaaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 19 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 37 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 34 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 30 .aaaaaaaaabbaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 27 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 60 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 57 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 53 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 50 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 45 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 42 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 38 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 35 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 99 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 96 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 92 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 89 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 84 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 81 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 77 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 74 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 68 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 65 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 61 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 58 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 53 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 50 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 46 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 43 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa rule abbaaaaaaa -> aaaaaaaaabbabb at position 170 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 167 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 163 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 160 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 155 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 152 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 148 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 145 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 139 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 136 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 132 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 129 .aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb. rule abbaaaaaaa -> aaaaaaaaabbabb at position 124
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685