Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487518090
details
property
value
status
complete
benchmark
bbcaaaaaa-aaaaaabbcbbca.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n048.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta 3.16 29 June 2020 60G
configuration
default
runtime (wallclock)
1.31762504578 seconds
cpu usage
3.695510155
max memory
1.094250496E9
stage attributes
key
value
output-size
14580
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 { b->0, c->1, a->2 }, it remains to prove termination of the 1-rule system { 0 0 1 2 2 2 2 2 2 -> 2 2 2 2 2 2 0 0 1 0 0 1 2 } Loop of length 64 starting with a string of length 39 using right expansion and the encoding { 0->a, 1->b, ... }: .aabcccccc.cccccccccccccccccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 0 .ccccccaabaabc.cccccccccccccccccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 9 .ccccccaabccccccaabaabc.ccccccccccccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 18 .ccccccaabccccccaabccccccaabaabc.cccccccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 15 .ccccccaabccccccccccccaabaabcaabaabc.cccccccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 31 .ccccccaabccccccccccccaabaabcaabccccccaabaabc.ccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 28 .ccccccaabccccccccccccaabaabcccccccaabaabcaabaabc.ccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 24 .ccccccaabccccccccccccaabccccccaabaabccaabaabcaabaabc.ccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 21 .ccccccaabccccccccccccccccccaabaabcaabaabccaabaabcaabaabc.ccccccccccccccc rule aabcccccc-> ccccccaabaabc at position 52 .ccccccaabccccccccccccccccccaabaabcaabaabccaabaabcaabccccccaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 49 .ccccccaabccccccccccccccccccaabaabcaabaabccaabaabcccccccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 45 .ccccccaabccccccccccccccccccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 42 .ccccccaabccccccccccccccccccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 37 .ccccccaabccccccccccccccccccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 34 .ccccccaabccccccccccccccccccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 30 .ccccccaabccccccccccccccccccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 27 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.cccccccccc rule aabcccccc-> ccccccaabaabc at position 89 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 86 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 82 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 79 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 74 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 71 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 67 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 64 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 58 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 55 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 51 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 48 .ccccccaabccccccccccccccccccccccccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 43 .ccccccaabccccccccccccccccccccccccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 40 .ccccccaabccccccccccccccccccccccccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 36 .ccccccaabccccccccccccccccccccccccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 33 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc.ccccc rule aabcccccc-> ccccccaabaabc at position 158 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccaabaabc. rule aabcccccc-> ccccccaabaabc at position 155 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 151 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 148 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 143 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 140 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 136 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 133 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 127 .ccccccaabccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabc. rule aabcccccc-> ccccccaabaabc at position 124
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard