Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432291092
details
property
value
status
complete
benchmark
size-12-alpha-3-num-540.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n057.star.cs.uiowa.edu
space
Waldmann_07_size12
run statistics
property
value
solver
matchbox-2019-03-17
configuration
std.sh
runtime (wallclock)
1.16301 seconds
cpu usage
4.45019
user time
3.66155
system time
0.788636
max virtual memory
1.16614528E8
max residence set size
189184.0
stage attributes
key
value
starexec-result
NO
output
2.21/0.62 NO 2.39/0.62 property Termination 2.39/0.62 has value False 2.39/0.62 for SRS ( [a, b] -> [], [a, b] -> [b, c], [a, c] -> [b, a, a, a]) 2.39/0.62 reason 2.39/0.62 remap for 3 rules 2.39/0.62 property Termination 2.39/0.62 has value False 2.39/0.63 for SRS ( [0, 1] -> [], [0, 1] -> [1, 2], [0, 2] -> [1, 0, 0, 0]) 2.39/0.63 reason 2.39/0.63 looping SRS derivation 2.39/0.63 Closure source : aaaaaaab 2.39/0.63 target : bbbaaaaaaabaaa 2.39/0.63 steps : 24 2.39/0.63 strict : True 2.39/0.63 last_rule_app_source : 0 2.39/0.63 last_rule_app_target : 10 2.39/0.63 reason : Overlap (Inside 10) 2.39/0.63 Overlap (Inside 5) 2.39/0.63 Overlap (Inside 6) 2.39/0.63 Overlap (Inside 4) 2.39/0.63 Overlap (Inside 5) 2.39/0.63 Overlap (Inside 2) 2.39/0.63 Overlap (Inside 3) 2.39/0.63 Overlap (Inside 4) 2.39/0.63 Overlap (Inside 5) 2.39/0.63 Overlap (Inside 6) 2.39/0.63 Overlap (Inside 7) 2.39/0.63 Overlap (Inside 1) 2.39/0.64 Overlap (Inside 2) 2.39/0.64 Overlap (Inside 4) 2.39/0.64 Overlap (Inside 5) 2.39/0.64 Overlap (Inside 6) 2.39/0.64 Overlap (Inside 3) 2.39/0.64 Overlap (Left 1) 2.39/0.64 Overlap (Left 1) 2.39/0.64 Overlap (Left 1) 2.39/0.64 Overlap (Left 1) 2.39/0.64 Overlap (Left 1) 2.39/0.64 Overlap (Left 1) 2.39/0.64 Rule 1 2.39/0.64 Rule 1 2.39/0.64 Rule 1 2.39/0.64 Rule 1 2.39/0.64 Rule 1 2.39/0.64 Rule 0 2.39/0.64 Rule 2 2.39/0.64 Rule 2 2.49/0.64 Rule 2 2.49/0.64 Rule 1 2.49/0.64 Rule 0 2.49/0.64 Rule 0 2.49/0.65 Rule 2 2.49/0.65 Rule 2 2.49/0.65 Rule 1 2.49/0.65 Rule 1 2.49/0.65 Rule 1 2.49/0.65 Rule 0 2.49/0.65 Rule 2 2.49/0.65 Rule 2 2.49/0.65 Rule 0 2.49/0.65 Rule 2 2.49/0.65 Rule 0 2.49/0.65 Rule 2 2.49/0.65 2.49/0.65 2.49/0.65 ************************************************** 2.49/0.65 summary 2.49/0.65 ************************************************** 2.49/0.65 SRS with 3 rules on 3 letters Remap { tracing = False} 2.49/0.65 SRS with 3 rules on 3 letters looping SRS derivation 2.49/0.65 Closure source : aaaaaaab 2.49/0.65 target : bbbaaaaaaabaaa 2.49/0.65 steps : 24 2.49/0.65 strict : True 2.49/0.65 last_rule_app_source : 0 2.49/0.65 last_rule_app_target : 10 2.49/0.66 reason : Overlap (Inside 10) 2.49/0.66 Overlap (Inside 5) 2.49/0.66 Overlap (Inside 6) 2.49/0.66 Overlap (Inside 4) 2.49/0.66 Overlap (Inside 5) 2.49/0.66 Overlap (Inside 2) 2.49/0.66 Overlap (Inside 3) 2.49/0.66 Overlap (Inside 4) 2.49/0.66 Overlap (Inside 5) 2.49/0.66 Overlap (Inside 6) 2.49/0.66 Overlap (Inside 7) 2.49/0.66 Overlap (Inside 1) 2.49/0.66 Overlap (Inside 2) 2.49/0.66 Overlap (Inside 4) 2.49/0.66 Overlap (Inside 5) 2.49/0.66 Overlap (Inside 6) 2.49/0.66 Overlap (Inside 3) 2.49/0.66 Overlap (Left 1) 2.49/0.66 Overlap (Left 1) 2.49/0.66 Overlap (Left 1) 2.49/0.66 Overlap (Left 1) 2.49/0.66 Overlap (Left 1) 2.49/0.66 Overlap (Left 1)
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