Closed 0x0f0f0f closed 3 months ago
egg-sym | egg-cust | MT@11c279b185a... | MT@master | egg-sym/MT@11c... | egg-cust/MT@11... | MT@master/MT@1... | |
---|---|---|---|---|---|---|---|
egraph_addexpr | 1.46 ms | 5.03 ms | 15.7 ms | 0.29 | 3.12 | ||
basic_maths_simpl2 | 14.8 ms | 5.1 ms | 19.2 ms | 1.01e+03 ms | 0.772 | 0.265 | 52.6 |
prop_logic_freges_theorem | 2.62 ms | 1.56 ms | 2.34 ms | 38.6 ms | 1.12 | 0.666 | 16.5 |
calc_logic_demorgan | 65.2 μs | 34.4 μs | 86.1 μs | 546 μs | 0.757 | 0.399 | 6.34 |
calc_logic_freges_theorem | 23 ms | 12.1 ms | 35.6 ms | 3.52e+03 ms | 0.646 | 0.339 | 98.8 |
basic_maths_simpl1 | 6.88 ms | 2.79 ms | 5.6 ms | 56.7 ms | 1.23 | 0.498 | 10.1 |
egraph_constructor | 0.0884 μs | 0.655 μs | 0.572 μs | 0.135 | 0.873 | ||
prop_logic_prove1 | 36.6 ms | 14 ms | 39.9 ms | 8.71e+03 ms | 0.918 | 0.352 | 218 |
prop_logic_demorgan | 84.3 μs | 44.9 μs | 103 μs | 796 μs | 0.817 | 0.435 | 7.72 |
while_superinterpreter_while_10 | 18 ms | 96.3 ms | 5.36 | ||||
prop_logic_rewrite | 122 μs | 122 μs | 1 | ||||
time_to_load | 71.4 ms | 100 ms | 1.41 |
A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR. Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).
Codecov Report
Attention: Patch coverage is
74.35897%
with10 lines
in your changes are missing coverage. Please review.:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## ale/3.0 #207 +/- ## =========================================== - Coverage 75.68% 75.32% -0.37% =========================================== Files 20 20 Lines 1522 1548 +26 =========================================== + Hits 1152 1166 +14 - Misses 370 382 +12 ```:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.