TRS Standard pair #516968153

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	n007.star.cs.uiowa.edu
space	HirokawaMiddeldorp_04

run statistics

property	value
solver	NaTT 2.1
configuration	default
runtime (wallclock)	1.14193511009 seconds
cpu usage	1.110818513
max memory	1.3295616E7

stage attributes

key	value
output-size	4426
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: +(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 Standard