Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10 pair #432270253

details

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

run statistics

property	value
solver	Wanda 2.1c
configuration	default
runtime (wallclock)	0.009608 seconds
cpu usage	0.004412
user time	9.87E-4
system time	0.003425
max virtual memory	0.0
max residence set size	1488.0

stage attributes

key	value
starexec-result	YES

output

0.00/0.00	YES
0.00/0.00	We consider the system theBenchmark.
0.00/0.00	
0.00/0.00	  Alphabet:
0.00/0.00	
0.00/0.00	    fapp : [a -> b * a] --> b 
0.00/0.00	
0.00/0.00	  Rules:
0.00/0.00	
0.00/0.00	    fapp(f, x) => f x 
0.00/0.00	
0.00/0.00	This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).
0.00/0.00	
0.00/0.00	Symbol fapp is an encoding for application that is only used in innocuous ways.  We can simplify the program (without losing non-termination) by removing it.  This gives:
0.00/0.00	
0.00/0.00	  Alphabet:
0.00/0.00	
0.00/0.00	
0.00/0.00	  Rules:
0.00/0.00	
0.00/0.00	
0.00/0.00	EOF

popout

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

job log

popout

actions all output return to Higher_Order_Rewriting_Union_Beta 2019-03-28 22.10