details

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

run statistics

property	value
solver	MultumNonMulta3.12_29June2018A
configuration	default
runtime (wallclock)	0.4156229496 seconds
cpu usage	0.591263383
max memory	4.95742976E8

stage attributes

key	value
output-size	1153
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 The system was reversed. Remains to prove termination of the 31-rule system { 0 q0 0 -> q0 0 0 , h q0 0 -> h q0 0 0 , 1 q0 0 -> q0 1 0 , 0 q0 1 -> q1 0 0 , h q0 1 -> h q1 0 0 , 1 q0 1 -> q1 1 0 , 0 q1 1 -> q1 0 1 , h q1 1 -> h q1 0 1 , 1 q1 1 -> q1 1 1 , 0 q1 0 -> q2 0 0 , h q1 0 -> h q2 0 0 , 1 q1 0 -> q2 1 0 , 0 q2 1 -> q2 0 1 , h q2 1 -> h q2 0 1 , 1 q2 1 -> q2 1 1 , q2 0 -> 1 q3 , q3 1 -> 1 q3 , q3 0 -> 0 q4 , q4 1 -> 1 q4 , 0 q4 0 -> q5 0 1 , h q4 0 -> h q5 0 1 , 1 q4 0 -> q5 1 1 , 0 q5 1 -> q1 0 0 , h q5 1 -> h q1 0 0 , 1 q5 1 -> q1 1 0 , q0 h -> q0 0 h , q1 h -> q1 0 h , q2 h -> q2 0 h , q3 h -> q3 0 h , q4 h -> q4 0 h , q5 h -> q5 0 h } Loop of length 1 starting with a string of length 3 using right expansion and the encoding {0=a, 1=d, h=c, q0=b, q1=e, q2=f, q3=g, q4=h, q5=i}: .cba. rule cba -> cbaa at position 0 .cbaa. popout

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

job log

popout

actions

all output return to SRS Stand 10685