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	n080.star.cs.uiowa.edu
space	Wenzel_16

run statistics

property	value
solver	MnM 3.18b
configuration	default
runtime (wallclock)	14.9526019096 seconds
cpu usage	57.514554046
max memory	6.422695936E9

stage attributes

key	value
output-size	40399
starexec-result	NO

output

/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO After renaming modulo the bijection { a ↦ 0, b ↦ 1 }, it remains to prove termination of the 1-rule system { 0 1 0 0 0 0 0 0 0 0 ⟶ 0 0 0 0 0 0 0 0 0 0 1 0 1 } Loop of length 128 starting with a string of length 66 using right expansion and the encoding { 0 ↦ a, 1 ↦ 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 popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to SRS Standard