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	n011.star.cs.uiowa.edu
space	Wenzel_16

run statistics

property	value
solver	MultumNonMulta 3.16 29 June 2020 60G
configuration	default
runtime (wallclock)	1.40568804741 seconds
cpu usage	4.054098885
max memory	1.380765696E9

stage attributes

key	value
output-size	15555
starexec-result	NO

output

/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO After renaming modulo { a->0, b->1 }, it remains to prove termination of the 1-rule system { 0 1 1 0 0 0 0 0 0 0 -> 0 0 0 0 0 0 0 0 0 1 1 0 1 1 } Loop of length 64 starting with a string of length 52 using right expansion and the encoding { 0->a, 1->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 popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to SRS Standard