Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #516977231
details
property
value
status
complete
benchmark
bccaaaaaa-aaaaaabccbcca.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n144.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MnM 3.18b
configuration
default
runtime (wallclock)
1.07825303078 seconds
cpu usage
2.927561228
max memory
8.15673344E8
stage attributes
key
value
output-size
14599
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 the bijection { b ↦ 0, c ↦ 1, a ↦ 2 }, it remains to prove termination of the 1-rule system { 0 1 1 2 2 2 2 2 2 ⟶ 2 2 2 2 2 2 0 1 1 0 1 1 2 } Loop of length 64 starting with a string of length 39 using right expansion and the encoding { 0 ↦ a, 1 ↦ b, ... }: .abbcccccc.cccccccccccccccccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 0 .ccccccabbabbc.cccccccccccccccccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 9 .ccccccabbccccccabbabbc.ccccccccccccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 18 .ccccccabbccccccabbccccccabbabbc.cccccccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 15 .ccccccabbccccccccccccabbabbcabbabbc.cccccccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 31 .ccccccabbccccccccccccabbabbcabbccccccabbabbc.ccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 28 .ccccccabbccccccccccccabbabbcccccccabbabbcabbabbc.ccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 24 .ccccccabbccccccccccccabbccccccabbabbccabbabbcabbabbc.ccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 21 .ccccccabbccccccccccccccccccabbabbcabbabbccabbabbcabbabbc.ccccccccccccccc rule abbcccccc-> ccccccabbabbc at position 52 .ccccccabbccccccccccccccccccabbabbcabbabbccabbabbcabbccccccabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 49 .ccccccabbccccccccccccccccccabbabbcabbabbccabbabbcccccccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 45 .ccccccabbccccccccccccccccccabbabbcabbabbccabbccccccabbabbccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 42 .ccccccabbccccccccccccccccccabbabbcabbabbccccccccabbabbcabbabbccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 37 .ccccccabbccccccccccccccccccabbabbcabbccccccabbabbcccabbabbcabbabbccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 34 .ccccccabbccccccccccccccccccabbabbcccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 30 .ccccccabbccccccccccccccccccabbccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 27 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.cccccccccc rule abbcccccc-> ccccccabbabbc at position 89 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 86 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 82 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 79 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 74 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 71 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 67 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 64 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 58 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 55 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 51 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccabbccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 48 .ccccccabbccccccccccccccccccccccccabbabbcabbabbccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 43 .ccccccabbccccccccccccccccccccccccabbabbcabbccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 40 .ccccccabbccccccccccccccccccccccccabbabbcccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 36 .ccccccabbccccccccccccccccccccccccabbccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 33 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.ccccc rule abbcccccc-> ccccccabbabbc at position 158 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccabbabbc. rule abbcccccc-> ccccccabbabbc at position 155 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 151 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 148 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 143 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 140 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 136 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 133 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 127 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc-> ccccccabbabbc at position 124 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc.
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard