details

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

run statistics

property	value
solver	MultumNonMulta 3.12 20G
configuration	default
runtime (wallclock)	0.903243 seconds
cpu usage	2.71527
user time	2.54519
system time	0.17008
max virtual memory	2.498972E7
max residence set size	553844.0

stage attributes

key	value
starexec-result	NO

output

2.48/0.87 NO 2.48/0.87 2.48/0.87 2.48/0.87 The system was reversed. 2.48/0.87 2.48/0.87 Remains to prove termination of the 1-rule system 2.48/0.87 { a a b a b a b -> a b a b a b a b a a a a a a } 2.48/0.87 2.48/0.87 2.48/0.87 Loop of length 44 starting with a string of length 25 using right expansion 2.48/0.87 and the encoding {a=a, b=b}: 2.48/0.87 2.48/0.87 .aababab.ababababababababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 0 2.48/0.87 .ababababaaaaaa.ababababababababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 13 2.48/0.87 .ababababaaaaaababababaaaaaa.abababababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 26 2.48/0.87 .ababababaaaaaababababaaaaaababababaaaaaa.ababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 25 2.48/0.87 .ababababaaaaaababababaaaaababababaaaaaaabaaaaaa.ababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 24 2.48/0.87 .ababababaaaaaababababaaaababababaaaaaaabaaaaaaabaaaaaa.ababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 23 2.48/0.87 .ababababaaaaaababababaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 22 2.48/0.87 .ababababaaaaaababababaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 21 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab 2.48/0.87 rule aababab -> ababababaaaaaa at position 74 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 73 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 72 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 71 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 70 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 69 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 66 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 65 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 64 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 63 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 62 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 61 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 58 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 57 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 56 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 55 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 54 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 53 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 50 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 49 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 48 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 47 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 46 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 45 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 42 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 41 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 40 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 39 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 38 2.48/0.87 .ababababaaaaaababababababababaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 37 2.48/0.87 .ababababaaaaaababababababababaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 34 2.48/0.87 .ababababaaaaaababababababababaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 33 2.48/0.87 .ababababaaaaaababababababababaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 32 2.48/0.87 .ababababaaaaaababababababababaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 31 2.48/0.87 .ababababaaaaaababababababababaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 30 2.48/0.87 .ababababaaaaaababababababababaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa. 2.48/0.87 rule aababab -> ababababaaaaaa at position 29 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