Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292868
details
property
value
status
complete
benchmark
babaaaaaa-aaaaaaababbab.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n050.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
matchbox-2019-03-17
configuration
std.sh
runtime (wallclock)
1.60935 seconds
cpu usage
6.20763
user time
5.26187
system time
0.94575
max virtual memory
1.16546176E8
max residence set size
365124.0
stage attributes
key
value
starexec-result
NO
output
4.75/1.21 NO 4.75/1.21 property Termination 4.78/1.25 has value False 4.78/1.25 for SRS ( [b, a, b, a, a, a, a, a, a] -> [a, a, a, a, a, a, a, b, a, b, b, a, b]) 4.78/1.25 reason 4.78/1.25 remap for 1 rules 4.78/1.25 property Termination 4.78/1.25 has value False 4.78/1.25 for SRS ( [0, 1, 0, 1, 1, 1, 1, 1, 1] -> [1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0]) 4.78/1.25 reason 4.78/1.25 looping SRS derivation 4.78/1.25 Closure source : ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb 4.78/1.25 target : bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba 4.78/1.25 steps : 64 4.78/1.25 strict : True 4.78/1.25 last_rule_app_source : 0 4.78/1.25 last_rule_app_target : 45 4.78/1.25 reason : Overlap (Inside 45) 4.78/1.25 Overlap (Inside 48) 4.78/1.25 Overlap (Inside 52) 4.78/1.25 Overlap (Inside 55) 4.78/1.25 Overlap (Inside 60) 4.78/1.25 Overlap (Inside 63) 4.78/1.25 Overlap (Inside 67) 4.78/1.25 Overlap (Inside 70) 4.78/1.25 Overlap (Inside 76) 4.78/1.25 Overlap (Inside 79) 4.78/1.25 Overlap (Inside 83) 4.78/1.25 Overlap (Inside 86) 4.78/1.25 Overlap (Inside 91) 4.78/1.25 Overlap (Inside 94) 4.78/1.25 Overlap (Inside 98) 4.78/1.25 Overlap (Inside 101) 4.78/1.25 Overlap (Inside 108) 4.78/1.25 Overlap (Inside 111) 4.78/1.25 Overlap (Inside 115) 4.78/1.25 Overlap (Inside 118) 4.78/1.25 Overlap (Inside 123) 4.78/1.25 Overlap (Inside 126) 4.78/1.25 Overlap (Inside 130) 4.78/1.25 Overlap (Inside 133) 4.78/1.25 Overlap (Inside 139) 4.78/1.25 Overlap (Inside 142) 4.78/1.25 Overlap (Inside 146) 4.78/1.25 Overlap (Inside 149) 4.78/1.25 Overlap (Inside 154) 4.78/1.25 Overlap (Inside 157) 4.78/1.25 Overlap (Inside 161) 4.78/1.25 Overlap (Right 3) 4.78/1.25 Overlap (Inside 38) 4.78/1.25 Overlap (Inside 41) 4.78/1.25 Overlap (Inside 45) 4.78/1.25 Overlap (Inside 48) 4.78/1.25 Overlap (Inside 53) 4.78/1.25 Overlap (Inside 56) 4.78/1.25 Overlap (Inside 60) 4.78/1.25 Overlap (Inside 63) 4.78/1.25 Overlap (Inside 69) 4.78/1.25 Overlap (Inside 72) 4.78/1.25 Overlap (Inside 76) 4.78/1.25 Overlap (Inside 79) 4.78/1.25 Overlap (Inside 84) 4.78/1.25 Overlap (Inside 87) 4.78/1.25 Overlap (Inside 91) 4.78/1.25 Overlap (Right 3) 4.78/1.25 Overlap (Inside 31) 4.78/1.25 Overlap (Inside 34) 4.78/1.25 Overlap (Inside 38) 4.78/1.25 Overlap (Inside 41) 4.78/1.25 Overlap (Inside 46) 4.78/1.25 Overlap (Inside 49) 4.78/1.25 Overlap (Inside 53) 4.78/1.25 Overlap (Right 3) 4.78/1.25 Overlap (Inside 24) 4.78/1.25 Overlap (Inside 27) 4.78/1.25 Overlap (Inside 31) 4.78/1.25 Overlap (Right 3) 4.78/1.25 Overlap (Inside 17) 4.78/1.25 Overlap (Right 3) 4.78/1.25 Overlap (Right 3) 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0 4.78/1.25 Rule 0
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