Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381718661
details
property
value
status
complete
benchmark
turing_mult.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n112.star.cs.uiowa.edu
space
Mixed_SRS
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
1.27636599541 seconds
cpu usage
1.360663691
max memory
4.4085248E7
stage attributes
key
value
output-size
5867
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: 0(q0(0(x1))) -> 0(0(q0(x1))) 2: 0(q0(1(x1))) -> 0(1(q0(x1))) 3: 1(q0(0(x1))) -> 0(0(q1(x1))) 4: 1(q0(1(x1))) -> 0(1(q1(x1))) 5: 1(q1(0(x1))) -> 1(0(q1(x1))) 6: 1(q1(1(x1))) -> 1(1(q1(x1))) 7: 0(q1(0(x1))) -> 0(0(q2(x1))) 8: 0(q1(1(x1))) -> 0(1(q2(x1))) 9: 1(q2(0(x1))) -> 1(0(q2(x1))) 10: 1(q2(1(x1))) -> 1(1(q2(x1))) 11: 0(q2(x1)) -> q3(1(x1)) 12: 1(q3(x1)) -> q3(1(x1)) 13: 0(q3(x1)) -> q4(0(x1)) 14: 1(q4(x1)) -> q4(1(x1)) 15: 0(q4(0(x1))) -> 1(0(q5(x1))) 16: 0(q4(1(x1))) -> 1(1(q5(x1))) 17: 1(q5(0(x1))) -> 0(0(q1(x1))) 18: 1(q5(1(x1))) -> 0(1(q1(x1))) 19: 0(q5(x1)) -> q6(0(x1)) 20: 1(q6(x1)) -> q6(1(x1)) 21: 1(q7(0(x1))) -> 0(0(q8(x1))) 22: 1(q7(1(x1))) -> 0(1(q8(x1))) 23: 0(q8(x1)) -> 0(q0(x1)) 24: 1(q8(0(x1))) -> 1(0(q8(x1))) 25: 1(q8(1(x1))) -> 1(1(q8(x1))) 26: 0(q6(x1)) -> q9(0(x1)) 27: 0(q9(0(x1))) -> 1(0(q7(x1))) 28: 0(q9(1(x1))) -> 1(1(q7(x1))) 29: 1(q9(x1)) -> q9(1(x1)) 30: h(q0(x1)) -> h(0(q0(x1))) 31: q0(h(x1)) -> q0(0(h(x1))) 32: h(q1(x1)) -> h(0(q1(x1))) 33: q1(h(x1)) -> q1(0(h(x1))) 34: h(q2(x1)) -> h(0(q2(x1))) 35: q2(h(x1)) -> q2(0(h(x1))) 36: h(q3(x1)) -> h(0(q3(x1))) 37: q3(h(x1)) -> q3(0(h(x1))) 38: h(q4(x1)) -> h(0(q4(x1))) 39: q4(h(x1)) -> q4(0(h(x1))) 40: h(q5(x1)) -> h(0(q5(x1))) 41: q5(h(x1)) -> q5(0(h(x1))) 42: h(q6(x1)) -> h(0(q6(x1))) 43: q6(h(x1)) -> q6(0(h(x1))) Number of strict rules: 43 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #1: #0(q0(1(x1))) -> #0(1(q0(x1))) #2: #0(q0(1(x1))) -> #1(q0(x1)) #3: #0(q0(1(x1))) -> #q0(x1) #4: #q6(h(x1)) -> #q6(0(h(x1))) #5: #q6(h(x1)) -> #0(h(x1)) #6: #1(q9(x1)) -> #1(x1) #7: #q2(h(x1)) -> #q2(0(h(x1))) #8: #q2(h(x1)) -> #0(h(x1)) #9: #h(q6(x1)) -> #h(0(q6(x1))) #10: #h(q6(x1)) -> #0(q6(x1)) #11: #q5(h(x1)) -> #q5(0(h(x1))) #12: #q5(h(x1)) -> #0(h(x1)) #13: #q3(h(x1)) -> #q3(0(h(x1))) #14: #q3(h(x1)) -> #0(h(x1)) #15: #h(q4(x1)) -> #h(0(q4(x1))) #16: #h(q4(x1)) -> #0(q4(x1)) #17: #1(q1(1(x1))) -> #1(1(q1(x1))) #18: #1(q1(1(x1))) -> #1(q1(x1)) #19: #1(q1(1(x1))) -> #q1(x1) #20: #h(q5(x1)) -> #h(0(q5(x1))) #21: #h(q5(x1)) -> #0(q5(x1)) #22: #0(q3(x1)) -> #q4(0(x1)) #23: #0(q3(x1)) -> #0(x1) #24: #1(q2(0(x1))) -> #1(0(q2(x1))) #25: #1(q2(0(x1))) -> #0(q2(x1)) #26: #1(q2(0(x1))) -> #q2(x1) #27: #0(q2(x1)) -> #q3(1(x1)) #28: #0(q2(x1)) -> #1(x1) #29: #1(q8(0(x1))) -> #1(0(q8(x1))) #30: #1(q8(0(x1))) -> #0(q8(x1)) #31: #0(q8(x1)) -> #0(q0(x1)) #32: #0(q8(x1)) -> #q0(x1) #33: #1(q3(x1)) -> #q3(1(x1)) #34: #1(q3(x1)) -> #1(x1) #35: #q0(h(x1)) -> #q0(0(h(x1))) #36: #q0(h(x1)) -> #0(h(x1)) #37: #1(q4(x1)) -> #q4(1(x1)) #38: #1(q4(x1)) -> #1(x1) #39: #h(q0(x1)) -> #h(0(q0(x1))) #40: #h(q0(x1)) -> #0(q0(x1)) #41: #1(q8(1(x1))) -> #1(1(q8(x1))) #42: #1(q8(1(x1))) -> #1(q8(x1)) #43: #1(q6(x1)) -> #q6(1(x1)) #44: #1(q6(x1)) -> #1(x1) #45: #0(q1(0(x1))) -> #0(0(q2(x1)))
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685