Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
TRS Stand 20472 pair #381709659
details
property
value
status
complete
benchmark
t005.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n107.star.cs.uiowa.edu
space
HirokawaMiddeldorp_04
run statistics
property
value
solver
NaTT
configuration
Default
runtime (wallclock)
0.134299993515 seconds
cpu usage
0.156543208
max memory
1.1644928E7
stage attributes
key
value
output-size
11785
starexec-result
YES
output
/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES Input TRS: 1: c(0(),x) -> x 2: c(x,c(y,z)) -> c(+(x,y),z) 3: +(0(),0()) -> 0() 4: +(0(),1()) -> 1() 5: +(0(),2()) -> 2() 6: +(0(),3()) -> 3() 7: +(0(),4()) -> 4() 8: +(0(),5()) -> 5() 9: +(0(),6()) -> 6() 10: +(0(),7()) -> 7() 11: +(0(),8()) -> 8() 12: +(0(),9()) -> 9() 13: +(1(),0()) -> 1() 14: +(1(),1()) -> 2() 15: +(1(),2()) -> 3() 16: +(1(),3()) -> 4() 17: +(1(),4()) -> 5() 18: +(1(),5()) -> 6() 19: +(1(),6()) -> 7() 20: +(1(),7()) -> 8() 21: +(1(),8()) -> 9() 22: +(1(),9()) -> c(1(),0()) 23: +(2(),0()) -> 2() 24: +(2(),1()) -> 3() 25: +(2(),2()) -> 4() 26: +(2(),3()) -> 5() 27: +(2(),4()) -> 6() 28: +(2(),5()) -> 7() 29: +(2(),6()) -> 8() 30: +(2(),7()) -> 9() 31: +(2(),8()) -> c(1(),0()) 32: +(2(),9()) -> c(1(),1()) 33: +(3(),0()) -> 3() 34: +(3(),1()) -> 4() 35: +(3(),2()) -> 5() 36: +(3(),3()) -> 6() 37: +(3(),4()) -> 7() 38: +(3(),5()) -> 8() 39: +(3(),6()) -> 9() 40: +(3(),7()) -> c(1(),0()) 41: +(3(),8()) -> c(1(),1()) 42: +(3(),9()) -> c(1(),2()) 43: +(4(),0()) -> 4() 44: +(4(),1()) -> 5() 45: +(4(),2()) -> 6() 46: +(4(),3()) -> 7() 47: +(4(),4()) -> 8() 48: +(4(),5()) -> 9() 49: +(4(),6()) -> c(1(),0()) 50: +(4(),7()) -> c(1(),1()) 51: +(4(),8()) -> c(1(),2()) 52: +(4(),9()) -> c(1(),3()) 53: +(5(),0()) -> 5() 54: +(5(),1()) -> 6() 55: +(5(),2()) -> 7() 56: +(5(),3()) -> 8() 57: +(5(),4()) -> 9() 58: +(5(),5()) -> c(1(),0()) 59: +(5(),6()) -> c(1(),1()) 60: +(5(),7()) -> c(1(),2()) 61: +(5(),8()) -> c(1(),3()) 62: +(5(),9()) -> c(1(),4()) 63: +(6(),0()) -> 6() 64: +(6(),1()) -> 7() 65: +(6(),2()) -> 8() 66: +(6(),3()) -> 9() 67: +(6(),4()) -> c(1(),0()) 68: +(6(),5()) -> c(1(),1()) 69: +(6(),6()) -> c(1(),2()) 70: +(6(),7()) -> c(1(),3()) 71: +(6(),8()) -> c(1(),4()) 72: +(6(),9()) -> c(1(),5()) 73: +(7(),0()) -> 7() 74: +(7(),1()) -> 8() 75: +(7(),2()) -> 9() 76: +(7(),3()) -> c(1(),0()) 77: +(7(),4()) -> c(1(),1()) 78: +(7(),5()) -> c(1(),2()) 79: +(7(),6()) -> c(1(),3()) 80: +(7(),7()) -> c(1(),4()) 81: +(7(),8()) -> c(1(),5()) 82: +(7(),9()) -> c(1(),6()) 83: +(8(),0()) -> 8() 84: +(8(),1()) -> 9() 85: +(8(),2()) -> c(1(),0()) 86: +(8(),3()) -> c(1(),1()) 87: +(8(),4()) -> c(1(),2()) 88: +(8(),5()) -> c(1(),3()) 89: +(8(),6()) -> c(1(),4()) 90: +(8(),7()) -> c(1(),5()) 91: +(8(),8()) -> c(1(),6()) 92: +(8(),9()) -> c(1(),7())
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to TRS Stand 20472