Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381713280
details
property
value
status
complete
benchmark
termMonTypes.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n042.star.cs.uiowa.edu
space
Applicative_05
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.15270113945 seconds
cpu usage
0.172842827
max memory
1.7293312E7
stage attributes
key
value
output-size
1502
starexec-result
MAYBE
output
/export/starexec/sandbox/solver/bin/starexec_run_Default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE Input TRS: 1: ap(f(),x) -> x 2: ap(ap(ap(g(),x),y),ap(s(),z)) -> ap(ap(ap(g(),x),y),ap(ap(x,y),0())) Number of strict rules: 2 Direct POLO(bPol) ... failed. Uncurrying ap 1: ap^1_f(x) -> x 2: ap^3_g(x,y,ap^1_s(z)) -> ap^3_g(x,y,ap(ap(x,y),0())) 3: ap(s(),_1) ->= ap^1_s(_1) 4: ap(g(),_1) ->= ap^1_g(_1) 5: ap(ap^1_g(_1),_2) ->= ap^2_g(_1,_2) 6: ap(ap^2_g(_1,_2),_3) ->= ap^3_g(_1,_2,_3) 7: ap(f(),_1) ->= ap^1_f(_1) Number of strict rules: 2 Direct POLO(bPol) ... failed. Dependency Pairs: #1: #ap^3_g(x,y,ap^1_s(z)) -> #ap^3_g(x,y,ap(ap(x,y),0())) #2: #ap^3_g(x,y,ap^1_s(z)) -> #ap(ap(x,y),0()) #3: #ap^3_g(x,y,ap^1_s(z)) -> #ap(x,y) #4: #ap(ap^2_g(_1,_2),_3) ->? #ap^3_g(_1,_2,_3) #5: #ap(f(),_1) ->? #ap^1_f(_1) Number of SCCs: 1, DPs: 4 SCC { #1..4 } POLO(Sum)... succeeded. #ap^1_f w: 0 s w: 1 #ap^3_g w: x1 + x2 + 3 ap w: x1 + x2 + 1 ap^3_g w: 0 f w: 1 0 w: 1 ap^1_g w: x1 + 3 #ap w: x1 + x2 ap^1_s w: 2 ap^1_f w: x1 g w: 2 ap^2_g w: x1 + x2 + 4 USABLE RULES: { 1..7 } Removed DPs: #2..4 Number of SCCs: 1, DPs: 1 SCC { #1 } 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