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

run statistics

property	value
solver	Wanda
configuration	FirstOrder
runtime (wallclock)	1.14519095421 seconds
cpu usage	1.110532938
max memory	3.3697792E7

stage attributes

key	value
output-size	33785
starexec-result	YES

output

/export/starexec/sandbox2/solver/bin/starexec_run_FirstOrder /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES We consider the system theBenchmark. We are asked to determine termination of the following first-order TRS. !plus : [o * o] --> o !times : [o * o] --> o 0 : [] --> o 1 : [] --> o 2 : [] --> o 3 : [] --> o 4 : [] --> o 5 : [] --> o 6 : [] --> o 7 : [] --> o 8 : [] --> o 9 : [] --> o c : [o * o] --> o c(0, X) => X c(X, c(Y, Z)) => c(!plus(X, Y), Z) !plus(0, 0) => 0 !plus(0, 1) => 1 !plus(0, 2) => 2 !plus(0, 3) => 3 !plus(0, 4) => 4 !plus(0, 5) => 5 !plus(0, 6) => 6 !plus(0, 7) => 7 !plus(0, 8) => 8 !plus(0, 9) => 9 !plus(1, 0) => 1 !plus(1, 1) => 2 !plus(1, 2) => 3 !plus(1, 3) => 4 !plus(1, 4) => 5 !plus(1, 5) => 6 !plus(1, 6) => 7 !plus(1, 7) => 8 !plus(1, 8) => 9 !plus(1, 9) => c(1, 0) !plus(2, 0) => 2 !plus(2, 1) => 3 !plus(2, 2) => 4 !plus(2, 3) => 5 !plus(2, 4) => 6 !plus(2, 5) => 7 !plus(2, 6) => 8 !plus(2, 7) => 9 !plus(2, 8) => c(1, 0) !plus(2, 9) => c(1, 1) !plus(3, 0) => 3 !plus(3, 1) => 4 !plus(3, 2) => 5 !plus(3, 3) => 6 !plus(3, 4) => 7 !plus(3, 5) => 8 !plus(3, 6) => 9 !plus(3, 7) => c(1, 0) !plus(3, 8) => c(1, 1) !plus(3, 9) => c(1, 2) !plus(4, 0) => 4 !plus(4, 1) => 5 !plus(4, 2) => 6 !plus(4, 3) => 7 !plus(4, 4) => 8 !plus(4, 5) => 9 !plus(4, 6) => c(1, 0) !plus(4, 7) => c(1, 1) !plus(4, 8) => c(1, 2) !plus(4, 9) => c(1, 3) !plus(5, 0) => 5 !plus(5, 1) => 6 !plus(5, 2) => 7 !plus(5, 3) => 8 !plus(5, 4) => 9 !plus(5, 5) => c(1, 0) !plus(5, 6) => c(1, 1) !plus(5, 7) => c(1, 2) !plus(5, 8) => c(1, 3) !plus(5, 9) => c(1, 4) !plus(6, 0) => 6 !plus(6, 1) => 7 !plus(6, 2) => 8 !plus(6, 3) => 9 !plus(6, 4) => c(1, 0) !plus(6, 5) => c(1, 1) !plus(6, 6) => c(1, 2) !plus(6, 7) => c(1, 3) !plus(6, 8) => c(1, 4) !plus(6, 9) => c(1, 5) !plus(7, 0) => 7 !plus(7, 1) => 8 !plus(7, 2) => 9 popout

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

job log

popout

actions

all output return to TRS Stand 20472