Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381714199
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
n023.star.cs.uiowa.edu
space
Transformed_CSR_04
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.328690767288 seconds
cpu usage
0.357977253
max memory
2.0918272E7
stage attributes
key
value
output-size
5927
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 POLO(bPol) ... removes: 1 3 28 49 30 46 29 2 U21 w: x1 U11 w: x1 U24 w: x1 U25 w: x1 isNeList w: 1 U56 w: x1 isPal w: 227 U42 w: x1 U91 w: x1 U26 w: x1 U71 w: x1 + 226 U43 w: x1 U44 w: x1 U55 w: x1 U23 w: x1 U63 w: 2 * x1 + 1 isNePal w: 227 U72 w: x1 + 226 U12 w: x1 isQid w: 1 U54 w: x1 U83 w: x1 isList w: 1 U73 w: x1 nil w: 1 U62 w: x1 + 5 U45 w: x1 U32 w: x1 U33 w: x1 U46 w: x1 U52 w: x1 U61 w: 2 * x1 + 6 U31 w: x1 U92 w: x1 U81 w: x1 + 226 U82 w: 2 * x1 + 225 tt w: 1 U13 w: x1
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Stand 20472