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