SRS_Standard 2019-03-29 03.29 pair #432293132

details
property	value
status	complete
benchmark	abaaaaa-aaaaaaabababab.srs.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n129.star.cs.uiowa.edu
space	Wenzel_16
run statistics
property	value
solver	matchbox-2019-03-17
configuration	std.sh
runtime (wallclock)	2.77481 seconds
cpu usage	10.7595
user time	9.43246
system time	1.32706
max virtual memory	1.16553736E8
max residence set size	464888.0
stage attributes
key	value
starexec-result	NO
output
9.71/2.49	NO
9.71/2.49	property Termination
9.71/2.50	has value False
9.71/2.50	for SRS ( [a, b, a, a, a, a, a] -> [a, a, a, a, a, a, a, b, a, b, a, b, a, b])
9.71/2.50	reason
9.71/2.50	  remap for 1 rules
9.71/2.50	   property Termination
9.71/2.50	has value False
9.71/2.50	for SRS ( [0, 1, 0, 0, 0, 0, 0] -> [0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1])
9.71/2.50	reason
9.71/2.50	  looping SRS derivation
9.71/2.50	  Closure source : abaaaaaaaaaaaaaaaaaaaaaaaaa
9.71/2.50	  target : aaaaaaabababaaaaaaaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab
9.71/2.50	  steps  : 86
9.71/2.50	  strict  : True
9.71/2.50	  last_rule_app_source  : 0
9.71/2.50	  last_rule_app_target  : 30
9.71/2.50	  reason : Overlap (Inside 30)
9.71/2.50	    Overlap (Inside 32)
9.71/2.50	      Overlap (Inside 34)
9.71/2.50	        Overlap (Inside 36)
9.71/2.50	          Overlap (Inside 39)
9.71/2.50	            Overlap (Inside 41)
9.71/2.50	              Overlap (Inside 43)
9.71/2.50	                Overlap (Inside 45)
9.71/2.51	                  Overlap (Inside 48)
9.71/2.51	                    Overlap (Inside 50)
9.71/2.51	                      Overlap (Inside 52)
9.71/2.51	                        Overlap (Inside 54)
9.71/2.51	                          Overlap (Inside 57)
9.71/2.51	                            Overlap (Inside 59)
9.71/2.51	                              Overlap (Inside 61)
9.71/2.51	                                Overlap (Inside 63)
9.71/2.51	                                  Overlap (Inside 67)
9.71/2.51	                                    Overlap (Inside 69)
9.71/2.51	                                      Overlap (Inside 71)
9.71/2.51	                                        Overlap (Inside 73)
9.71/2.51	                                          Overlap (Inside 76)
9.71/2.51	                                            Overlap (Inside 78)
9.71/2.51	                                              Overlap (Inside 80)
9.71/2.51	                                                Overlap (Inside 82)
9.71/2.51	                                                  Overlap (Inside 85)
9.71/2.51	                                                    Overlap (Inside 87)
9.71/2.51	                                                      Overlap (Inside 89)
9.71/2.51	                                                        Overlap (Inside 91)
9.71/2.51	                                                          Overlap (Inside 94)
9.71/2.51	                                                            Overlap (Inside 96)
9.71/2.51	                                                              Overlap (Inside 98)
9.71/2.51	                                                                Overlap (Inside 100)
9.71/2.51	                                                                  Overlap (Inside 104)
9.71/2.51	                                                                    Overlap (Inside 106)
9.71/2.51	                                                                      Overlap (Inside 108)
9.71/2.51	                                                                        Overlap (Inside 110)
9.71/2.51	                                                                          Overlap (Inside 113)
9.71/2.51	                                                                            Overlap (Inside 115)
9.71/2.51	                                                                              Overlap (Inside 117)
9.71/2.51	                                                                                Overlap (Inside 119)
9.71/2.51	                                                                                  Overlap (Inside 122)
9.71/2.51	                                                                                    Overlap (Inside 124)
9.71/2.51	                                                                                      Overlap (Inside 126)
9.71/2.51	                                                                                        Overlap (Inside 128)
9.71/2.51	                                                                                          Overlap (Inside 131)
9.71/2.51	                                                                                            Overlap (Inside 133)
9.71/2.51	                                                                                              Overlap (Inside 135)
9.71/2.51	                                                                                                Overlap (Inside 137)
9.71/2.51	                                                                                                  Overlap (Inside 141)
9.71/2.51	                                                                                                    Overlap (Inside 143)
9.71/2.51	                                                                                                      Overlap (Inside 145)
9.71/2.51	                                                                                                        Overlap (Inside 147)
9.71/2.52	                                                                                                          Overlap (Inside 150)
9.71/2.52	                                                                                                            Overlap (Inside 152)
9.71/2.52	                                                                                                              Overlap (Inside 154)
9.71/2.52	                                                                                                                Overlap (Inside 156)
9.71/2.52	                                                                                                                  Overlap (Inside 159)
9.71/2.52	                                                                                                                    Overlap (Inside 161)
9.71/2.52	                                                                                                                      Overlap (Inside 163)
9.71/2.52	                                                                                                                        Overlap (Inside 165)
9.71/2.52	                                                                                                                          Overlap (Inside 168)
9.71/2.52	                                                                                                                            Overlap (Inside 170)
9.71/2.52	                                                                                                                              Overlap (Inside 172)
9.71/2.52	                                                                                                                                Overlap (Right 2)
9.71/2.52	                                                                                                                                  Overlap (Inside 24)
9.71/2.52	                                                                                                                                    Overlap (Inside 26)
9.71/2.52	                                                                                                                                      Overlap (Inside 28)
9.71/2.52	                                                                                                                                        Overlap (Inside 30)
9.71/2.52	                                                                                                                                          Overlap (Inside 33)
9.71/2.52	                                                                                                                                            Overlap (Inside 35)
9.71/2.52	                                                                                                                                              Overlap (Inside 37)
9.71/2.52	                                                                                                                                                Overlap (Inside 39)
9.71/2.52	                                                                                                                                                  Overlap (Inside 42)
9.71/2.52	                                                                                                                                                    Overlap (Inside 44)
9.71/2.52	                                                                                                                                                      Overlap (Inside 46)
9.71/2.52	                                                                                                                                                        Overlap (Inside 48)
9.71/2.52	                                                                                                                                                          Overlap (Inside 51)
9.71/2.52	                                                                                                                                                            Overlap (Inside 53)
9.71/2.52	                                                                                                                                                              Overlap (Inside 55)
9.71/2.52	                                                                                                                                                                Overlap (Right 2)
9.71/2.52	                                                                                                                                                                  Overlap (Inside 18)
9.71/2.52	                                                                                                                                                                    Overlap (Inside 20)
9.71/2.52	                                                                                                                                                                      Overlap (Inside 22)
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