FPBench benchmarks used in the evaluation of PrincessCake.
WARNING: Running all of these at once takes a significant amount of time
as an instance of FloVer will be spawned for all the 44 benchmarks that
contain no sqrt operation.
RungeKuttaProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
bspline3ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
carbonGasProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
carthesianToPolar_radiusProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
delta4ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
deltaProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
doppler1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
doppler2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
doppler3ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
dopplerProgCompScript.sml: Icing benchmark input file Use this file to run a CakeML AST through the Icing optimizer
exampleLib.sml: Lib to prove examples
himmilbeauProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
hypot32ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
hypotProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
i4modifiedProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
intro_exampleProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
invertedPendulumProgCompScript.sml: Icing benchmark input file Use this file to run a CakeML AST through the Icing optimizer
jacobisMethodX1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
jacobisMethodX2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
jacobisMethodX3ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
jacobisMethodX4ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
jetEngineModifiedProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
kepler0ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
kepler1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
kepler2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
matrixDeterminant2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
matrixDeterminant2modifiedProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
matrixDeterminantProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
n_bodyXmodifiedProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
n_bodyZmodifiedProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
nn1LayerProgCompScript.sml: Icing benchmark input file Use this file to run a CakeML AST through the Icing optimizer
nonlin1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
nonlin2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
output: output directory for sexp files
pidProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
predatorPreyProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
rigidBody1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
rigidBody2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
rigidBodyProgCompScript.sml: Icing benchmark input file Use this file to run a CakeML AST through the Icing optimizer
rump_from_CProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
rump_revisitedProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
rump_with_powProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
runge_kutta_4ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sec4_exampleProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sineOrder3ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sineProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sine_newtonProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sqrootProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sqrt_addProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
sumProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test01_sum3ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test02_sum8ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test03_nonlin2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test04_dqmom9ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test05_nonlin1_r4ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test05_nonlin1_test2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test06_sums4_sum1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
test06_sums4_sum2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
turbine1ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
turbine2ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
turbine3ProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
verhulstProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy
x_by_xyProgCompScript.sml: Auto-generated by Daisy (https://gitlab.mpi-sws.org/AVA/daisy