This page shows FPChecker reports for open-source projects.
Note: Please note that these reports are generated automatically using specific application inputs.
We have not confirmed with the programmers the validity of the reports and/or the inputs.
We always use the latest version available of the codes from their corresponding github repo.
Reports
| Application | Report Link |
|---|---|
| LULESH Input: mpirun -np 8 –oversubscribe ./lulesh2.0 -p -i 10 |
report |
| RAJA Perf Input: ./bin/raja-perf.exe |
report |
| Kripke Input: ./bin/kripke.exe |
report |
| Quicksilver Input: mpirun -np 2 –oversubscribe ./qs |
report |
| AMG Input: mpirun -np 8 -host localhost –oversubscribe ./amg |
report |