Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292496
details
property
value
status
complete
benchmark
bababaa-aaaaababababa.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
matchbox-2019-03-17
configuration
std.sh
runtime (wallclock)
5.81827 seconds
cpu usage
22.8483
user time
20.6367
system time
2.21159
max virtual memory
1.16681352E8
max residence set size
814300.0
stage attributes
key
value
starexec-result
NO
output
14.63/3.78 NO 14.63/3.78 property Termination 14.63/3.78 has value False 14.63/3.78 for SRS ( [b, a, b, a, b, a, a] -> [a, a, a, a, a, b, a, b, a, b, a, b, a]) 14.63/3.78 reason 14.63/3.78 remap for 1 rules 14.63/3.78 property Termination 14.63/3.78 has value False 14.63/3.78 for SRS ( [0, 1, 0, 1, 0, 1, 1] -> [1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1]) 14.63/3.78 reason 14.63/3.78 looping SRS derivation 14.63/3.78 Closure source : ababababababababababababb 14.63/3.78 target : bbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababababababababababababbbbbabababab 14.63/3.78 steps : 32 14.63/3.78 strict : True 14.63/3.78 last_rule_app_source : 0 14.63/3.78 last_rule_app_target : 176 14.63/3.78 reason : Overlap (Inside 176) 14.63/3.78 Overlap (Inside 169) 14.63/3.78 Overlap (Inside 162) 14.63/3.78 Overlap (Inside 155) 14.63/3.78 Overlap (Inside 148) 14.63/3.78 Overlap (Inside 154) 14.63/3.78 Overlap (Inside 139) 14.63/3.78 Overlap (Inside 132) 14.63/3.78 Overlap (Inside 125) 14.63/3.78 Overlap (Inside 118) 14.63/3.78 Overlap (Inside 111) 14.63/3.78 Overlap (Inside 117) 14.63/3.78 Overlap (Inside 102) 14.89/3.78 Overlap (Inside 95) 14.89/3.78 Overlap (Inside 88) 14.89/3.78 Overlap (Inside 81) 14.89/3.78 Overlap (Inside 74) 14.89/3.78 Overlap (Inside 80) 14.89/3.78 Overlap (Inside 65) 14.89/3.78 Overlap (Inside 58) 14.89/3.78 Overlap (Inside 51) 14.89/3.78 Overlap (Inside 44) 14.89/3.78 Overlap (Inside 37) 14.89/3.78 Overlap (Inside 43) 14.89/3.78 Overlap (Inside 28) 14.89/3.78 Overlap (Inside 21) 14.89/3.78 Overlap (Inside 14) 14.89/3.78 Overlap (Inside 7) 14.89/3.79 Overlap (Left 1) 14.89/3.79 Overlap (Left 1) 14.89/3.79 Overlap (Left 1) 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.79 Rule 0 14.89/3.80 Rule 0 14.89/3.80 Rule 0 14.89/3.80 Rule 0 14.89/3.80 Rule 0 14.89/3.80 Rule 0 14.89/3.80 Rule 0 14.89/3.80 14.89/3.80 14.89/3.80 ************************************************** 14.89/3.80 summary 14.89/3.80 ************************************************** 14.89/3.80 SRS with 1 rules on 2 letters Remap { tracing = False} 14.89/3.80 SRS with 1 rules on 2 letters looping SRS derivation 14.89/3.80 Closure source : ababababababababababababb 14.89/3.80 target : bbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababbbbbbabbbbbbabbbbbbabbbbbbabbbbbbababababababababababababbbbbabababab 14.89/3.80 steps : 32 14.89/3.80 strict : True 14.89/3.80 last_rule_app_source : 0 14.89/3.80 last_rule_app_target : 176 14.89/3.80 reason : Overlap (Inside 176) 14.89/3.80 Overlap (Inside 169) 14.89/3.80 Overlap (Inside 162) 14.89/3.80 Overlap (Inside 155) 14.89/3.80 Overlap (Inside 148) 14.89/3.80 Overlap (Inside 154) 14.89/3.80 Overlap (Inside 139)
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