Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381721100
details
property
value
status
complete
benchmark
abaaaaaaaa-aaaaaaaaaabab.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n058.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
MultumNonMulta3.12_29June2018A
configuration
default
runtime (wallclock)
13.6386189461 seconds
cpu usage
52.521446286
max memory
3.3997070336E10
stage attributes
key
value
output-size
40359
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 66 using right expansion and the encoding {a=a, b=b}: .abaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 0 .aaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 11 .aaaaaaaaaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 22 .aaaaaaaaaabaaaaaaaaaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 20 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 36 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 34 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 31 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 29 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 56 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 54 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 51 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaabaaaaaaaaaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 49 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaaaaaaaaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 45 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 43 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 40 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 38 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 88 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 86 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 83 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 81 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 77 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 75 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 72 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 70 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 65 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 63 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 60 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 58 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 54 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 52 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 49 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 47 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 144 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 142 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 139 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 137 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 133 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 131 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 128 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 126 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 121 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 119 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 116 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 114 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa -> aaaaaaaaaabab at position 110
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685