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	Wanda
configuration	FirstOrder
runtime (wallclock)	0.461399078369 seconds
cpu usage	0.446057163
max memory	7122944.0

stage attributes

key	value
output-size	21058
starexec-result	YES

output

/export/starexec/sandbox/solver/bin/starexec_run_FirstOrder /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 0 : [] --> o 1 : [] --> o 2 : [] --> o 3 : [] --> o 4 : [] --> o 5 : [] --> o 6 : [] --> o 7 : [] --> o 8 : [] --> o 9 : [] --> o c : [o * o] --> o !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 !plus(7, 3) => c(1, 0) !plus(7, 4) => c(1, 1) !plus(7, 5) => c(1, 2) popout

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

job log

popout

actions

all output return to TRS Stand 20472