Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381716261
details
property
value
status
complete
benchmark
PALINDROME_nokinds_Z.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
Transformed_CSR_04
run statistics
property
value
solver
muterm 5.18
configuration
default
runtime (wallclock)
0.361266136169 seconds
cpu usage
0.368971848
max memory
7311360.0
stage attributes
key
value
output-size
50837
starexec-result
YES
output
/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES Problem 1: (VAR I P V V1 V2 X X1 X2 Y Z) (RULES __(__(X,Y),Z) -> __(X,__(Y,Z)) __(nil,X) -> X __(X,nil) -> X __(X1,X2) -> n____(X1,X2) a -> n__a activate(n____(X1,X2)) -> __(X1,X2) activate(n__a) -> a activate(n__e) -> e activate(n__i) -> i activate(n__isList(X)) -> isList(X) activate(n__isNeList(X)) -> isNeList(X) activate(n__isPal(X)) -> isPal(X) activate(n__nil) -> nil activate(n__o) -> o activate(n__u) -> u activate(X) -> X and(tt,X) -> activate(X) e -> n__e i -> n__i isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2))) isList(n__nil) -> tt isList(V) -> isNeList(activate(V)) isList(X) -> n__isList(X) isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2))) isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2))) isNeList(V) -> isQid(activate(V)) isNeList(X) -> n__isNeList(X) isNePal(n____(I,__(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P))) isNePal(V) -> isQid(activate(V)) isPal(n__nil) -> tt isPal(V) -> isNePal(activate(V)) isPal(X) -> n__isPal(X) isQid(n__a) -> tt isQid(n__e) -> tt isQid(n__i) -> tt isQid(n__o) -> tt isQid(n__u) -> tt nil -> n__nil o -> n__o u -> n__u ) Problem 1: Dependency Pairs Processor: -> Pairs: __#(__(X,Y),Z) -> __#(X,__(Y,Z)) __#(__(X,Y),Z) -> __#(Y,Z) ACTIVATE(n____(X1,X2)) -> __#(X1,X2) ACTIVATE(n__a) -> A ACTIVATE(n__e) -> E ACTIVATE(n__i) -> I ACTIVATE(n__isList(X)) -> ISLIST(X) ACTIVATE(n__isNeList(X)) -> ISNELIST(X) ACTIVATE(n__isPal(X)) -> ISPAL(X) ACTIVATE(n__nil) -> NIL ACTIVATE(n__o) -> O ACTIVATE(n__u) -> U AND(tt,X) -> ACTIVATE(X) ISLIST(n____(V1,V2)) -> ACTIVATE(V1) ISLIST(n____(V1,V2)) -> ACTIVATE(V2) ISLIST(n____(V1,V2)) -> AND(isList(activate(V1)),n__isList(activate(V2))) ISLIST(n____(V1,V2)) -> ISLIST(activate(V1)) ISLIST(V) -> ACTIVATE(V) ISLIST(V) -> ISNELIST(activate(V)) ISNELIST(n____(V1,V2)) -> ACTIVATE(V1) ISNELIST(n____(V1,V2)) -> ACTIVATE(V2) ISNELIST(n____(V1,V2)) -> AND(isList(activate(V1)),n__isNeList(activate(V2))) ISNELIST(n____(V1,V2)) -> AND(isNeList(activate(V1)),n__isList(activate(V2))) ISNELIST(n____(V1,V2)) -> ISLIST(activate(V1)) ISNELIST(n____(V1,V2)) -> ISNELIST(activate(V1)) ISNELIST(V) -> ACTIVATE(V) ISNELIST(V) -> ISQID(activate(V)) ISNEPAL(n____(I,__(P,I))) -> ACTIVATE(I) ISNEPAL(n____(I,__(P,I))) -> ACTIVATE(P) ISNEPAL(n____(I,__(P,I))) -> AND(isQid(activate(I)),n__isPal(activate(P))) ISNEPAL(n____(I,__(P,I))) -> ISQID(activate(I)) ISNEPAL(V) -> ACTIVATE(V) ISNEPAL(V) -> ISQID(activate(V)) ISPAL(V) -> ACTIVATE(V) ISPAL(V) -> ISNEPAL(activate(V)) -> Rules: __(__(X,Y),Z) -> __(X,__(Y,Z)) __(nil,X) -> X __(X,nil) -> X __(X1,X2) -> n____(X1,X2) a -> n__a activate(n____(X1,X2)) -> __(X1,X2)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Stand 20472