Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381721610
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
n109.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta3.12_29June2018A
configuration
default
runtime (wallclock)
0.919066905975 seconds
cpu usage
2.490779303
max memory
9.16652032E8
stage attributes
key
value
output-size
14492
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 39 using right expansion and the encoding {a=c, b=a, c=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. rule abbcccccc -> ccccccabbabbc at position 120 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc -> ccccccabbabbc at position 117 .ccccccabbccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbc. rule abbcccccc -> ccccccabbabbc at position 112
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685