0 evaluări0% au considerat acest document util (0 voturi)
10 vizualizări1 pagină
This document compares the runtime of various Coq files with and without flambda optimization. It shows the file name, default runtime without flambda, runtime with flambda, and percent gain from flambda for each file. Most files see a speed improvement between 5-20% with flambda, though some see larger or smaller improvements.
This document compares the runtime of various Coq files with and without flambda optimization. It shows the file name, default runtime without flambda, runtime with flambda, and percent gain from flambda for each file. Most files see a speed improvement between 5-20% with flambda, though some see larger or smaller improvements.
This document compares the runtime of various Coq files with and without flambda optimization. It shows the file name, default runtime without flambda, runtime with flambda, and percent gain from flambda for each file. Most files see a speed improvement between 5-20% with flambda, though some see larger or smaller improvements.