Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381721955
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
n086.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta3.12_29June2018A
configuration
default
runtime (wallclock)
13.9278140068 seconds
cpu usage
53.654735726
max memory
3.5623804928E10
stage attributes
key
value
output-size
47850
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 128 starting with a string of length 59 using right expansion and the encoding {a=c, b=a, c=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 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc -> ccccccccabaaba at position 132 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc -> ccccccccabaaba at position 129 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc -> ccccccccabaaba at position 124
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685