Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487518264
details
property
value
status
complete
benchmark
bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n174.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta 3.16 29 June 2020 60G
configuration
default
runtime (wallclock)
15.7506868839 seconds
cpu usage
61.110879821
max memory
7.590301696E9
stage attributes
key
value
output-size
47881
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 After renaming modulo { b->0, c->1, a->2 }, it remains to prove termination of the 1-rule system { 0 1 0 2 2 2 2 2 2 2 -> 2 2 2 2 2 2 2 2 0 1 0 0 1 0 } Loop of length 128 starting with a string of length 59 using right expansion and the encoding { 0->a, 1->b, ... }: .abaccccccc.ccccccccccccccccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 0 .ccccccccabaaba.ccccccccccccccccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 11 .ccccccccabaccccccccabaaba.cccccccccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 22 .ccccccccabaccccccccabaccccccccabaaba.ccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 19 .ccccccccabaccccccccccccccccabaabacabaaba.ccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 37 .ccccccccabaccccccccccccccccabaabacabaccccccccabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 34 .ccccccccabaccccccccccccccccabaabacccccccccabaabacabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 30 .ccccccccabaccccccccccccccccabaccccccccabaabaccabaabacabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 27 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaabacabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 60 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaabacabaccccccccabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 57 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaabacccccccccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 53 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaccccccccabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 50 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 45 .ccccccccabaccccccccccccccccccccccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 42 .ccccccccabaccccccccccccccccccccccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 38 .ccccccccabaccccccccccccccccccccccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 35 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 99 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 96 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 92 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 89 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 84 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 81 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 77 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 74 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 68 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 65 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 61 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 58 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 53 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 50 .ccccccccabaccccccccccccccccccccccccccccccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 46 .ccccccccabaccccccccccccccccccccccccccccccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 43 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 170 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 167 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 163 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 160 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 155 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 152 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 148 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 145 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 139 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 136
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard