Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Conte Sensi 17651 pair #381733253
details
property
value
status
complete
benchmark
morse.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n092.star.cs.uiowa.edu
space
Transformed_outermost_08
run statistics
property
value
solver
muterm 5.18
configuration
default
runtime (wallclock)
1.26970100403 seconds
cpu usage
1.297242676
max memory
1.9816448E7
stage attributes
key
value
output-size
283868
starexec-result
YES
output
/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES Problem 1: (VAR s x) (STRATEGY CONTEXTSENSITIVE (*top*_0 1) (M_1) (cons_1) (cons_10) (cons_11) (cons_2) (cons_3) (cons_4) (cons_5) (cons_6) (cons_7) (cons_8) (cons_9) (h_0 1) (tail_0 1) (tail_1) (0_0) (1_0) (garbage_collection_0) (h_1) ) (RULES *top*_0(tail_1(cons_1(x,s))) -> *top*_0(s) *top*_0(tail_1(cons_10(x,s))) -> *top*_0(s) *top*_0(tail_1(cons_11(x,s))) -> *top*_0(s) *top*_0(tail_1(cons_5(x,s))) -> *top*_0(s) *top*_0(tail_1(cons_6(x,s))) -> *top*_0(s) *top*_0(h_1(cons_1(0_0,s))) -> *top*_0(cons_6(0_0,cons_1(1_0,h_0(s)))) *top*_0(h_1(cons_1(1_0,s))) -> *top*_0(cons_10(1_0,cons_1(0_0,h_0(s)))) *top*_0(h_1(cons_10(1_0,s))) -> *top*_0(cons_10(1_0,cons_2(0_0,h_1(s)))) *top*_0(h_1(cons_11(1_0,s))) -> *top*_0(cons_10(1_0,cons_3(0_0,h_1(s)))) *top*_0(h_1(cons_2(0_0,s))) -> *top*_0(cons_6(0_0,cons_1(1_0,h_0(s)))) *top*_0(h_1(cons_3(0_0,s))) -> *top*_0(cons_6(0_0,cons_1(1_0,h_0(s)))) *top*_0(h_1(cons_4(0_0,s))) -> *top*_0(cons_6(0_0,cons_1(1_0,h_0(s)))) *top*_0(h_1(cons_5(0_0,s))) -> *top*_0(cons_6(0_0,cons_7(1_0,h_1(s)))) *top*_0(h_1(cons_6(0_0,s))) -> *top*_0(cons_6(0_0,cons_8(1_0,h_1(s)))) *top*_0(h_1(cons_7(1_0,s))) -> *top*_0(cons_10(1_0,cons_1(0_0,h_0(s)))) *top*_0(h_1(cons_8(1_0,s))) -> *top*_0(cons_10(1_0,cons_1(0_0,h_0(s)))) *top*_0(h_1(cons_9(1_0,s))) -> *top*_0(cons_10(1_0,cons_1(0_0,h_0(s)))) M_1 -> h_1(cons_1(0_0,tail_0(M_1))) cons_1(x,s) -> garbage_collection_0 cons_10(x,s) -> garbage_collection_0 cons_11(x,s) -> garbage_collection_0 cons_2(x,s) -> garbage_collection_0 cons_3(x,s) -> garbage_collection_0 cons_4(x,s) -> garbage_collection_0 cons_5(x,s) -> garbage_collection_0 cons_6(x,s) -> garbage_collection_0 cons_7(x,s) -> garbage_collection_0 cons_8(x,s) -> garbage_collection_0 cons_9(x,s) -> garbage_collection_0 h_0(tail_1(cons_1(x,s))) -> h_0(s) h_0(tail_1(cons_1(x,s))) -> h_1(s) h_0(tail_1(cons_10(x,s))) -> h_1(s) h_0(tail_1(cons_11(x,s))) -> h_1(s) h_0(tail_1(cons_5(x,s))) -> h_1(s) h_0(tail_1(cons_6(x,s))) -> h_1(s) h_0(h_1(cons_1(0_0,s))) -> h_1(cons_6(0_0,cons_1(1_0,h_0(s)))) h_0(h_1(cons_1(1_0,s))) -> h_1(cons_10(1_0,cons_1(0_0,h_0(s)))) h_0(h_1(cons_10(1_0,s))) -> h_1(cons_10(1_0,cons_2(0_0,h_1(s)))) h_0(h_1(cons_11(1_0,s))) -> h_1(cons_10(1_0,cons_3(0_0,h_1(s)))) h_0(h_1(cons_2(0_0,s))) -> h_1(cons_6(0_0,cons_1(1_0,h_0(s)))) h_0(h_1(cons_3(0_0,s))) -> h_1(cons_6(0_0,cons_1(1_0,h_0(s)))) h_0(h_1(cons_4(0_0,s))) -> h_1(cons_6(0_0,cons_1(1_0,h_0(s)))) h_0(h_1(cons_5(0_0,s))) -> h_1(cons_6(0_0,cons_7(1_0,h_1(s)))) h_0(h_1(cons_6(0_0,s))) -> h_1(cons_6(0_0,cons_8(1_0,h_1(s)))) h_0(h_1(cons_7(1_0,s))) -> h_1(cons_10(1_0,cons_1(0_0,h_0(s)))) h_0(h_1(cons_8(1_0,s))) -> h_1(cons_10(1_0,cons_1(0_0,h_0(s)))) h_0(h_1(cons_9(1_0,s))) -> h_1(cons_10(1_0,cons_1(0_0,h_0(s)))) tail_0(tail_1(cons_1(x,s))) -> tail_1(s) tail_0(tail_1(cons_10(x,s))) -> tail_1(s) tail_0(tail_1(cons_11(x,s))) -> tail_1(s) tail_0(tail_1(cons_5(x,s))) -> tail_1(s) tail_0(tail_1(cons_6(x,s))) -> tail_1(s) tail_0(h_1(cons_1(0_0,s))) -> tail_1(cons_6(0_0,cons_1(1_0,h_0(s)))) tail_0(h_1(cons_1(1_0,s))) -> tail_1(cons_10(1_0,cons_1(0_0,h_0(s)))) tail_0(h_1(cons_10(1_0,s))) -> tail_1(cons_10(1_0,cons_2(0_0,h_1(s)))) tail_0(h_1(cons_11(1_0,s))) -> tail_1(cons_10(1_0,cons_3(0_0,h_1(s)))) tail_0(h_1(cons_2(0_0,s))) -> tail_1(cons_6(0_0,cons_1(1_0,h_0(s)))) tail_0(h_1(cons_3(0_0,s))) -> tail_1(cons_6(0_0,cons_1(1_0,h_0(s)))) tail_0(h_1(cons_4(0_0,s))) -> tail_1(cons_6(0_0,cons_1(1_0,h_0(s)))) tail_0(h_1(cons_5(0_0,s))) -> tail_1(cons_6(0_0,cons_7(1_0,h_1(s)))) tail_0(h_1(cons_6(0_0,s))) -> tail_1(cons_6(0_0,cons_8(1_0,h_1(s)))) tail_0(h_1(cons_7(1_0,s))) -> tail_1(cons_10(1_0,cons_1(0_0,h_0(s)))) tail_0(h_1(cons_8(1_0,s))) -> tail_1(cons_10(1_0,cons_1(0_0,h_0(s)))) tail_0(h_1(cons_9(1_0,s))) -> tail_1(cons_10(1_0,cons_1(0_0,h_0(s)))) tail_1(cons_1(x,s)) -> s tail_1(cons_2(x,s)) -> s
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Conte Sensi 17651