SRS_Standard 2019-03-29 03.29 pair #432293096

details

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

run statistics

property	value
solver	matchbox-2019-03-17
configuration	std.sh
runtime (wallclock)	1.85527 seconds
cpu usage	7.12714
user time	6.0134
system time	1.11375
max virtual memory	1.1654938E8
max residence set size	368984.0

stage attributes

key	value
starexec-result	NO

output

6.34/1.65	NO
6.34/1.65	property Termination
6.34/1.65	has value False
6.34/1.65	for SRS ( [b, a, b, a, b, a, b, a, b, a, a] -> [a, a, b, a, b, a, b, a, b, a, b, a, b, a])
6.34/1.65	reason
6.34/1.65	  remap for 1 rules
6.34/1.65	   property Termination
6.34/1.65	has value False
6.34/1.65	for SRS ( [0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1] -> [1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1])
6.34/1.65	reason
6.34/1.65	  looping SRS derivation
6.34/1.65	  Closure source : ababababababababababababababababababababababababababababababb
6.34/1.65	  target : bbabbbababbbabbbabababbbabbbababbbabbbababababbbabbbababbbabbbabababbbabbbababbbabbbababababababababababababababababababababababababababababababbabababababab
6.34/1.65	  steps  : 32
6.34/1.65	  strict  : True
6.34/1.65	  last_rule_app_source  : 0
6.34/1.65	  last_rule_app_target  : 82
6.34/1.65	  reason : Overlap (Inside 82)
6.34/1.65	    Overlap (Inside 78)
6.34/1.65	      Overlap (Inside 88)
6.34/1.65	        Overlap (Inside 72)
6.34/1.65	          Overlap (Inside 68)
6.34/1.65	            Overlap (Inside 78)
6.34/1.65	              Overlap (Inside 88)
6.34/1.65	                Overlap (Inside 60)
6.34/1.65	                  Overlap (Inside 56)
6.34/1.66	                    Overlap (Inside 66)
6.34/1.66	                      Overlap (Inside 50)
6.34/1.66	                        Overlap (Inside 46)
6.34/1.66	                          Overlap (Inside 56)
6.34/1.66	                            Overlap (Inside 66)
6.34/1.66	                              Overlap (Inside 76)
6.34/1.66	                                Overlap (Inside 36)
6.34/1.66	                                  Overlap (Inside 32)
6.34/1.66	                                    Overlap (Inside 42)
6.34/1.66	                                      Overlap (Inside 26)
6.34/1.66	                                        Overlap (Inside 22)
6.34/1.66	                                          Overlap (Inside 32)
6.34/1.66	                                            Overlap (Inside 42)
6.34/1.66	                                              Overlap (Inside 14)
6.34/1.66	                                                Overlap (Inside 10)
6.34/1.66	                                                  Overlap (Inside 4)
6.34/1.66	                                                    Overlap (Left 1)
6.34/1.66	                                                      Overlap (Inside 4)
6.34/1.66	                                                        Overlap (Left 1)
6.34/1.66	                                                          Overlap (Left 1)
6.34/1.66	                                                            Overlap (Left 1)
6.34/1.66	                                                              Overlap (Left 1)
6.34/1.66	                                                                Rule 0
6.34/1.66	                                                                Rule 0
6.34/1.66	                                                              Rule 0
6.34/1.66	                                                            Rule 0
6.34/1.66	                                                          Rule 0
6.34/1.66	                                                        Rule 0
6.34/1.66	                                                      Rule 0
6.34/1.66	                                                    Rule 0
6.34/1.66	                                                  Rule 0
6.34/1.66	                                                Rule 0
6.34/1.66	                                              Rule 0
6.34/1.66	                                            Rule 0
6.34/1.66	                                          Rule 0
6.34/1.66	                                        Rule 0
6.34/1.66	                                      Rule 0
6.34/1.66	                                    Rule 0
6.34/1.66	                                  Rule 0
6.34/1.66	                                Rule 0
6.34/1.66	                              Rule 0
6.34/1.66	                            Rule 0
6.34/1.66	                          Rule 0
6.34/1.66	                        Rule 0
6.34/1.66	                      Rule 0
6.34/1.66	                    Rule 0
6.34/1.66	                  Rule 0
6.34/1.66	                Rule 0
6.34/1.66	              Rule 0
6.34/1.66	            Rule 0
6.34/1.66	          Rule 0
6.34/1.66	        Rule 0
6.34/1.66	      Rule 0
6.34/1.66	    Rule 0
6.34/1.66	  
6.34/1.66	
6.34/1.66	**************************************************
6.34/1.66	          summary
6.34/1.66	**************************************************
6.34/1.66	SRS with 1 rules on 2 letters       Remap   { tracing = False}
6.34/1.66	SRS with 1 rules on 2 letters       looping SRS derivation
6.34/1.66	Closure source : ababababababababababababababababababababababababababababababb
6.34/1.66	target : bbabbbababbbabbbabababbbabbbababbbabbbababababbbabbbababbbabbbabababbbabbbababbbabbbababababababababababababababababababababababababababababababbabababababab
6.34/1.66	steps  : 32
6.34/1.66	strict  : True
6.34/1.66	last_rule_app_source  : 0
6.34/1.66	last_rule_app_target  : 82
6.34/1.66	reason : Overlap (Inside 82)
6.34/1.66	  Overlap (Inside 78)
6.34/1.66	    Overlap (Inside 88)
6.34/1.66	      Overlap (Inside 72)
6.34/1.66	        Overlap (Inside 68)
6.34/1.66	          Overlap (Inside 78)
6.34/1.66	            Overlap (Inside 88)

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