details

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

run statistics

property	value
solver	sol 37957
configuration	hrs
runtime (wallclock)	0.0206661224365 seconds
cpu usage	0.01782395
max memory	1843200.0

stage attributes

key	value
output-size	650
starexec-result	MAYBE

output

/export/starexec/sandbox/solver/bin/starexec_run_hrs /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE ******** Signature ******** cons : (a,alist) -> alist foldl : (((a,a) -> a),a,alist) -> a nil : alist xap : (((a,a) -> a),a,a) -> a yap : ((a -> a),a) -> a ******** Computation Rules ******** (1) foldl(%X.%Y.yap(xap(F,%X),%Y),Y,nil) => Y (2) foldl(%Z.%U.yap(xap(G,%Z),%U),V,cons(W,P)) => foldl(%V.%W.yap(xap(G,%V),%W),yap(xap(G,V),W),P) (3) xap(F1,Y1) => F1[Y1] (4) yap(G1,V1) => G1[V1] MAYBE popout

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

job log

popout

actions

all output return to HRS 58631