Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Standard pair #516961753
details
property
value
status
complete
benchmark
PALINDROME_complete-noand_L.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n029.star.cs.uiowa.edu
space
Transformed_CSR_04
run statistics
property
value
solver
NaTT 2.1
configuration
default
runtime (wallclock)
0.757818937302 seconds
cpu usage
0.741261788
max memory
2.3097344E7
stage attributes
key
value
output-size
6087
starexec-result
NO
output
/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO Input TRS: 1: __(__(X,Y),Z) -> __(X,__(Y,Z)) 2: __(X,nil()) -> X 3: __(nil(),X) -> X 4: U11(tt()) -> U12(isPalListKind()) 5: U12(tt()) -> U13(isNeList()) 6: U13(tt()) -> tt() 7: U21(tt()) -> U22(isPalListKind()) 8: U22(tt()) -> U23(isPalListKind()) 9: U23(tt()) -> U24(isPalListKind()) 10: U24(tt()) -> U25(isList()) 11: U25(tt()) -> U26(isList()) 12: U26(tt()) -> tt() 13: U31(tt()) -> U32(isPalListKind()) 14: U32(tt()) -> U33(isQid()) 15: U33(tt()) -> tt() 16: U41(tt()) -> U42(isPalListKind()) 17: U42(tt()) -> U43(isPalListKind()) 18: U43(tt()) -> U44(isPalListKind()) 19: U44(tt()) -> U45(isList()) 20: U45(tt()) -> U46(isNeList()) 21: U46(tt()) -> tt() 22: U51(tt()) -> U52(isPalListKind()) 23: U52(tt()) -> U53(isPalListKind()) 24: U53(tt()) -> U54(isPalListKind()) 25: U54(tt()) -> U55(isNeList()) 26: U55(tt()) -> U56(isList()) 27: U56(tt()) -> tt() 28: U61(tt()) -> U62(isPalListKind()) 29: U62(tt()) -> U63(isQid()) 30: U63(tt()) -> tt() 31: U71(tt()) -> U72(isPalListKind()) 32: U72(tt()) -> U73(isPal()) 33: U73(tt()) -> U74(isPalListKind()) 34: U74(tt()) -> tt() 35: U81(tt()) -> U82(isPalListKind()) 36: U82(tt()) -> U83(isNePal()) 37: U83(tt()) -> tt() 38: U91(tt()) -> U92(isPalListKind()) 39: U92(tt()) -> tt() 40: isList() -> U11(isPalListKind()) 41: isList() -> tt() 42: isList() -> U21(isPalListKind()) 43: isNeList() -> U31(isPalListKind()) 44: isNeList() -> U41(isPalListKind()) 45: isNeList() -> U51(isPalListKind()) 46: isNePal() -> U61(isPalListKind()) 47: isNePal() -> U71(isQid()) 48: isPal() -> U81(isPalListKind()) 49: isPal() -> tt() 50: isPalListKind() -> tt() 51: isPalListKind() -> U91(isPalListKind()) 52: isQid() -> tt() Number of strict rules: 52 Direct poly ... removes: 1 3 28 49 30 46 29 2 U21(x1) w: (x1) U11(x1) w: (x1) U24(x1) w: (x1) U25(x1) w: (x1) isNeList() w: (0) U56(x1) w: (x1) isPal() w: (39993) U42(x1) w: (x1) U91(x1) w: (x1) U26(x1) w: (x1) U71(x1) w: (39993 + x1) U43(x1) w: (x1) U44(x1) w: (x1) U55(x1) w: (x1) U23(x1) w: (x1) U63(x1) w: (14459 + x1) isNePal() w: (39993) U72(x1) w: (39993 + x1) U12(x1) w: (x1) isQid() w: (0) U54(x1) w: (x1) U83(x1) w: (x1) isList() w: (0) U73(x1) w: (x1) nil() w: (15047) U62(x1) w: (39991 + x1) U45(x1) w: (x1) U32(x1) w: (x1) U33(x1) w: (x1) U46(x1) w: (x1) U52(x1) w: (x1) U61(x1) w: (39992 + x1) U31(x1) w: (x1) U92(x1) w: (x1) U81(x1) w: (39993 + x1) U82(x1) w: (39993 + x1) tt() w: (0) U13(x1) w: (x1)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Standard