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

run statistics

property	value
solver	muterm 5.18
configuration	default
runtime (wallclock)	0.290936946869 seconds
cpu usage	0.295065305
max memory	1.017856E7

stage attributes

key	value
output-size	90565
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 Problem 1: (VAR x y z) (RULES *(c(x,y),z) -> c(*(x,z),*(y,z)) *(0,0) -> 0 *(0,1) -> 0 *(0,2) -> 0 *(0,3) -> 0 *(0,4) -> 0 *(0,5) -> 0 *(0,6) -> 0 *(0,7) -> 0 *(0,8) -> 0 *(0,9) -> 0 *(1,0) -> 0 *(1,1) -> 1 *(1,2) -> 2 *(1,3) -> 3 *(1,4) -> 4 *(1,5) -> 5 *(1,6) -> 6 *(1,7) -> 7 *(1,8) -> 8 *(1,9) -> 9 *(2,0) -> 0 *(2,1) -> 2 *(2,2) -> 4 *(2,3) -> 6 *(2,4) -> 8 *(2,5) -> c(1,0) *(2,6) -> c(1,2) *(2,7) -> c(1,4) *(2,8) -> c(1,6) *(2,9) -> c(1,8) *(3,0) -> 0 *(3,1) -> 3 *(3,2) -> 6 *(3,3) -> 9 *(3,4) -> c(1,2) *(3,5) -> c(1,5) *(3,6) -> c(1,8) *(3,7) -> c(2,1) *(3,8) -> c(2,4) *(3,9) -> c(2,7) *(4,0) -> 0 *(4,1) -> 4 *(4,2) -> 8 *(4,3) -> c(1,2) *(4,4) -> c(1,6) *(4,5) -> c(2,0) *(4,6) -> c(2,4) *(4,7) -> c(2,8) *(4,8) -> c(3,2) *(4,9) -> c(3,6) *(5,0) -> 0 *(5,1) -> 5 *(5,2) -> c(1,0) *(5,3) -> c(1,5) *(5,4) -> c(2,0) *(5,5) -> c(2,5) *(5,6) -> c(3,0) *(5,7) -> c(3,5) *(5,8) -> c(4,0) *(5,9) -> c(4,5) *(6,0) -> 0 *(6,1) -> 6 *(6,2) -> c(1,2) *(6,3) -> c(1,8) *(6,4) -> c(2,4) *(6,5) -> c(3,0) *(6,6) -> c(3,6) *(6,7) -> c(4,2) *(6,8) -> c(4,8) *(6,9) -> c(5,4) *(7,0) -> 0 *(7,1) -> 7 *(7,2) -> c(1,4) *(7,3) -> c(2,1) *(7,4) -> c(2,8) *(7,5) -> c(3,5) *(7,6) -> c(4,2) *(7,7) -> c(4,9) *(7,8) -> c(5,6) *(7,9) -> c(6,3) *(8,0) -> 0 *(8,1) -> 8 *(8,2) -> c(1,8) *(8,3) -> c(2,4) *(8,4) -> c(3,2) *(8,5) -> c(4,0) *(8,6) -> c(4,8) popout

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

job log

popout

actions

all output return to TRS Stand 20472