details

property	value
status	complete
benchmark	bababaa-aaaababababa.srs.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n164.star.cs.uiowa.edu
space	Wenzel_16

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	0.386941 seconds
cpu usage	0.763462
user time	0.684166
system time	0.079296
max virtual memory	113176.0
max residence set size	166416.0

stage attributes

key	value
starexec-result	NO

output

0.00/0.34 NO 0.00/0.35 0.00/0.35 0.00/0.35 The system was reversed. 0.00/0.35 0.00/0.35 Remains to prove termination of the 1-rule system 0.00/0.35 { a a b a b a b -> a b a b a b a b a a a a } 0.00/0.35 0.00/0.35 0.00/0.35 Loop of length 22 starting with a string of length 25 using right expansion 0.00/0.35 and the encoding {a=a, b=b}: 0.00/0.35 0.00/0.35 .aababab.ababababababababab 0.00/0.35 rule aababab -> ababababaaaa at position 0 0.00/0.35 .ababababaaaa.ababababababababab 0.00/0.35 rule aababab -> ababababaaaa at position 11 0.00/0.35 .ababababaaaababababaaaa.abababababab 0.00/0.35 rule aababab -> ababababaaaa at position 22 0.00/0.35 .ababababaaaababababaaaababababaaaa.ababab 0.00/0.35 rule aababab -> ababababaaaa at position 21 0.00/0.35 .ababababaaaababababaaababababaaaaabaaaa.ababab 0.00/0.35 rule aababab -> ababababaaaa at position 20 0.00/0.35 .ababababaaaababababaababababaaaaabaaaaabaaaa.ababab 0.00/0.35 rule aababab -> ababababaaaa at position 19 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaaaabaaaa.ababab 0.00/0.35 rule aababab -> ababababaaaa at position 48 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaaaabaaaababababaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 47 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaaaabaaababababaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 46 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 45 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 42 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 41 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 40 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 39 0.00/0.35 .ababababaaaababababababababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 36 0.00/0.35 .ababababaaaababababababababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 35 0.00/0.35 .ababababaaaababababababababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 34 0.00/0.35 .ababababaaaababababababababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 33 0.00/0.35 .ababababaaaababababababababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 30 0.00/0.35 .ababababaaaababababababababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 29 0.00/0.35 .ababababaaaababababababababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 28 0.00/0.35 .ababababaaaababababababababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.35 rule aababab -> ababababaaaa at position 27 0.00/0.35 .ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaa. 0.00/0.38 EOF popout

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

job log

popout

actions

all output return to SRS_Standard 2019-03-29 03.29