Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381711654
details
property
value
status
complete
benchmark
5.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n022.star.cs.uiowa.edu
space
Secret_07_TRS
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.213897943497 seconds
cpu usage
0.265543776
max memory
1.91488E7
stage attributes
key
value
output-size
2362
starexec-result
MAYBE
output
/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE Input TRS: 1: g(x,x,x) -> g(c(),d(),e()) 2: g(x,y,x) -> g(c(),d(),e()) 3: s(f(x,y)) -> f(y,f(s(s(x)),a())) 4: h(h(x,a()),y) -> h(h(a(),y),h(a(),x)) 5: f(x,f(y,f(x,y))) -> f(a(),f(x,f(y,b()))) 6: f(h(a(),y),g(x,b(),a())) -> h(f(x,s(y)),s(b())) 7: h(f(x,s(y)),b()) -> f(a(),g(y,a(),f(s(x),a()))) 8: f(x,g(x,a(),f(s(x),y))) -> f(h(x,b()),g(a(),b(),y)) 9: s(y) -> b() Number of strict rules: 9 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #g(x,y,x) -> #g(c(),d(),e()) #2: #f(h(a(),y),g(x,b(),a())) -> #h(f(x,s(y)),s(b())) #3: #f(h(a(),y),g(x,b(),a())) -> #f(x,s(y)) #4: #f(h(a(),y),g(x,b(),a())) -> #s(y) #5: #f(h(a(),y),g(x,b(),a())) -> #s(b()) #6: #h(f(x,s(y)),b()) -> #f(a(),g(y,a(),f(s(x),a()))) #7: #h(f(x,s(y)),b()) -> #g(y,a(),f(s(x),a())) #8: #h(f(x,s(y)),b()) -> #f(s(x),a()) #9: #h(f(x,s(y)),b()) -> #s(x) #10: #f(x,f(y,f(x,y))) -> #f(a(),f(x,f(y,b()))) #11: #f(x,f(y,f(x,y))) -> #f(x,f(y,b())) #12: #f(x,f(y,f(x,y))) -> #f(y,b()) #13: #s(f(x,y)) -> #f(y,f(s(s(x)),a())) #14: #s(f(x,y)) -> #f(s(s(x)),a()) #15: #s(f(x,y)) -> #s(s(x)) #16: #s(f(x,y)) -> #s(x) #17: #g(x,x,x) -> #g(c(),d(),e()) #18: #f(x,g(x,a(),f(s(x),y))) -> #f(h(x,b()),g(a(),b(),y)) #19: #f(x,g(x,a(),f(s(x),y))) -> #h(x,b()) #20: #f(x,g(x,a(),f(s(x),y))) -> #g(a(),b(),y) #21: #h(h(x,a()),y) -> #h(h(a(),y),h(a(),x)) #22: #h(h(x,a()),y) -> #h(a(),y) #23: #h(h(x,a()),y) -> #h(a(),x) Number of SCCs: 5, DPs: 10 SCC { #21 } POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... succeeded. a w: [1;4] h w: [0,0;1,0] * x1 + [0,1;0,0] * x2 + [0;1] d w: [0;0] s w: [0;0] b w: [0;0] c w: [0;0] f w: [0;0] #h w: [1,1;1,0] * x1 + [0,1;0,1] * x2 #s w: [0;0] #f w: [0;0] #g w: [0;0] e w: [0;0] g w: [0;0] USABLE RULES: { } Removed DPs: #21 Number of SCCs: 4, DPs: 9 SCC { #15 #16 } POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed. Finding a loop... failed.
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Stand 20472