TRS Stand 20472 pair #381716068

details

property	value
status	complete
benchmark	Ex4_DLMMU04_L.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n089.star.cs.uiowa.edu
space	Transformed_CSR_04

run statistics

property	value
solver	NaTT
configuration	Default
runtime (wallclock)	0.0123929977417 seconds
cpu usage	0.011870172
max memory	4141056.0

stage attributes

key	value
output-size	932
starexec-result	NO

output

/export/starexec/sandbox2/solver/bin/starexec_run_Default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


NO
Input TRS:
    1: uTake2(tt()) -> cons(N)
    2: uLength(tt()) -> s(length(L))
    3: and(tt(),T) -> T
    4: isNatIList() -> isNatList()
    5: isNat() -> tt()
    6: isNat() -> isNat()
    7: isNat() -> isNatList()
    8: isNatIList() -> tt()
    9: isNatIList() -> and(isNat(),isNatIList())
    10: isNatList() -> tt()
    11: isNatList() -> and(isNat(),isNatList())
    12: isNatList() -> and(isNat(),isNatIList())
    13: zeros() -> cons(0())
    14: take(0(),IL) -> uTake1(isNatIList())
    15: uTake1(tt()) -> nil()
    16: take(s(M),cons(N)) -> uTake2(and(isNat(),and(isNat(),isNatIList())))
    17: length(cons(N)) -> uLength(and(isNat(),isNatList()))
Extra variable in rule 2.

popout

output may be truncated. 'popout' for the full output.

job log

popout

actions all output return to TRS Stand 20472