Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add performance metrics in report.py #515

Merged
merged 17 commits into from
Dec 5, 2023
Merged

Add performance metrics in report.py #515

merged 17 commits into from
Dec 5, 2023

Commits on Nov 23, 2023

  1. Added engine_subprocess time to metrics of the result given by pddl/a…

    …nytimepddl engines and used this time in the report to print the overhead %
    Framba-Luca authored and alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    61c5746 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    dd7f3ab View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e6017c2 View commit details
    Browse the repository at this point in the history
  4. Updated result classes

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    1d4e644 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ffc5a39 View commit details
    Browse the repository at this point in the history
  6. Minor fix in report.py

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    67a0701 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    fa6048d View commit details
    Browse the repository at this point in the history
  8. Small changes

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    4ebf340 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    731612d View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    3640060 View commit details
    Browse the repository at this point in the history
  11. Updated engines version

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    4a0e806 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    9bf5ab8 View commit details
    Browse the repository at this point in the history
  13. Updated depot problem

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    bc6b0a1 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    e3259e0 View commit details
    Browse the repository at this point in the history
  15. Updated depot problems

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    fa5a9ac View commit details
    Browse the repository at this point in the history
  16. Updated aries version

    alvalentini committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    09778a7 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Configuration menu
    Copy the full SHA
    e856419 View commit details
    Browse the repository at this point in the history