Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381715418
details
property
value
status
complete
benchmark
Ex5_DLMMU04_iGM.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n070.star.cs.uiowa.edu
space
Transformed_CSR_04
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.288597106934 seconds
cpu usage
0.302562374
max memory
1.1214848E7
stage attributes
key
value
output-size
12989
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 Input TRS: 1: active(pairNs()) -> mark(cons(0(),incr(oddNs()))) 2: active(oddNs()) -> mark(incr(pairNs())) 3: active(incr(cons(X,XS))) -> mark(cons(s(X),incr(XS))) 4: active(take(0(),XS)) -> mark(nil()) 5: active(take(s(N),cons(X,XS))) -> mark(cons(X,take(N,XS))) 6: active(zip(nil(),XS)) -> mark(nil()) 7: active(zip(X,nil())) -> mark(nil()) 8: active(zip(cons(X,XS),cons(Y,YS))) -> mark(cons(pair(X,Y),zip(XS,YS))) 9: active(tail(cons(X,XS))) -> mark(XS) 10: active(repItems(nil())) -> mark(nil()) 11: active(repItems(cons(X,XS))) -> mark(cons(X,cons(X,repItems(XS)))) 12: mark(pairNs()) -> active(pairNs()) 13: mark(cons(X1,X2)) -> active(cons(mark(X1),X2)) 14: mark(0()) -> active(0()) 15: mark(incr(X)) -> active(incr(mark(X))) 16: mark(oddNs()) -> active(oddNs()) 17: mark(s(X)) -> active(s(mark(X))) 18: mark(take(X1,X2)) -> active(take(mark(X1),mark(X2))) 19: mark(nil()) -> active(nil()) 20: mark(zip(X1,X2)) -> active(zip(mark(X1),mark(X2))) 21: mark(pair(X1,X2)) -> active(pair(mark(X1),mark(X2))) 22: mark(tail(X)) -> active(tail(mark(X))) 23: mark(repItems(X)) -> active(repItems(mark(X))) 24: cons(mark(X1),X2) -> cons(X1,X2) 25: cons(X1,mark(X2)) -> cons(X1,X2) 26: cons(active(X1),X2) -> cons(X1,X2) 27: cons(X1,active(X2)) -> cons(X1,X2) 28: incr(mark(X)) -> incr(X) 29: incr(active(X)) -> incr(X) 30: s(mark(X)) -> s(X) 31: s(active(X)) -> s(X) 32: take(mark(X1),X2) -> take(X1,X2) 33: take(X1,mark(X2)) -> take(X1,X2) 34: take(active(X1),X2) -> take(X1,X2) 35: take(X1,active(X2)) -> take(X1,X2) 36: zip(mark(X1),X2) -> zip(X1,X2) 37: zip(X1,mark(X2)) -> zip(X1,X2) 38: zip(active(X1),X2) -> zip(X1,X2) 39: zip(X1,active(X2)) -> zip(X1,X2) 40: pair(mark(X1),X2) -> pair(X1,X2) 41: pair(X1,mark(X2)) -> pair(X1,X2) 42: pair(active(X1),X2) -> pair(X1,X2) 43: pair(X1,active(X2)) -> pair(X1,X2) 44: tail(mark(X)) -> tail(X) 45: tail(active(X)) -> tail(X) 46: repItems(mark(X)) -> repItems(X) 47: repItems(active(X)) -> repItems(X) Number of strict rules: 47 Direct POLO(bPol) ... removes: 4 10 7 9 6 repItems w: 2 * x1 + 1 incr w: x1 s w: x1 take w: x1 + x2 + 2 pair w: x1 + x2 tail w: x1 + 3 0 w: 0 nil w: 1 mark w: x1 pairNs w: 32 oddNs w: 32 active w: x1 cons w: x1 + x2 zip w: x1 + x2 + 10 Number of strict rules: 42 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #active(oddNs()) -> #mark(incr(pairNs())) #2: #active(oddNs()) -> #incr(pairNs()) #3: #pair(X1,active(X2)) -> #pair(X1,X2) #4: #incr(active(X)) -> #incr(X) #5: #take(X1,active(X2)) -> #take(X1,X2) #6: #repItems(mark(X)) -> #repItems(X) #7: #pair(active(X1),X2) -> #pair(X1,X2) #8: #pair(X1,mark(X2)) -> #pair(X1,X2) #9: #zip(X1,mark(X2)) -> #zip(X1,X2) #10: #repItems(active(X)) -> #repItems(X) #11: #zip(active(X1),X2) -> #zip(X1,X2) #12: #pair(mark(X1),X2) -> #pair(X1,X2) #13: #mark(cons(X1,X2)) -> #active(cons(mark(X1),X2)) #14: #mark(cons(X1,X2)) -> #cons(mark(X1),X2) #15: #mark(cons(X1,X2)) -> #mark(X1) #16: #active(repItems(cons(X,XS))) -> #mark(cons(X,cons(X,repItems(XS)))) #17: #active(repItems(cons(X,XS))) -> #cons(X,cons(X,repItems(XS))) #18: #active(repItems(cons(X,XS))) -> #cons(X,repItems(XS)) #19: #active(repItems(cons(X,XS))) -> #repItems(XS) #20: #cons(mark(X1),X2) -> #cons(X1,X2) #21: #mark(repItems(X)) -> #active(repItems(mark(X))) #22: #mark(repItems(X)) -> #repItems(mark(X)) #23: #mark(repItems(X)) -> #mark(X) #24: #tail(active(X)) -> #tail(X) #25: #mark(pairNs()) -> #active(pairNs())
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Stand 20472