details

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

run statistics

property	value
solver	Wanda
configuration	HigherOrder
runtime (wallclock)	41.6939139366 seconds
cpu usage	41.682762667
max memory	7.4481664E7

stage attributes

key	value
output-size	525
starexec-result	MAYBE

output

/export/starexec/sandbox2/solver/bin/starexec_run_HigherOrder /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE We consider the system theBenchmark. Alphabet: F : [a -> a * a] --> a -> a G : [a -> a] --> a -> a Rules: F(F(f, x), x) => F(G(F(f, x)), f x) This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0). popout

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

job log

popout

actions

all output return to HRS union beta 16688