Closed 0x0f0f0f closed 4 months ago
master | 6ce74d5c9f603b... | master/6ce74d5c9f603b... | |
---|---|---|---|
basic_maths/simpl1 | 0.0561 ± 0.0043 s | 17 ± 0.99 ms | 3.3 |
calc_logic/demorgan | 0.594 ± 0.013 ms | 0.204 ± 0.0042 ms | 2.92 |
egraph/addexpr | 19.3 ± 1.8 ms | 6.87 ± 0.26 ms | 2.81 |
egraph/constructor | 0.591 ± 0.027 μs | 0.679 ± 0.036 μs | 0.871 |
prop_logic/demorgan | 0.954 ± 0.02 ms | 0.24 ± 0.0044 ms | 3.97 |
prop_logic/freges_theorem | 0.0399 ± 0.0035 s | 9.18 ± 0.16 ms | 4.35 |
prop_logic/prove1 | 9.37 s | 0.0916 ± 0.0027 s | 102 |
prop_logic/rewrite | 0.0759 ± 0.0016 ms | 0.048 ± 0.0014 ms | 1.58 |
while_superinterpreter/while_10 | 0.123 ± 0.00079 s | 0.0326 ± 0.0019 s | 3.76 |
time_to_load | 0.26 ± 0.0054 s | 0.154 ± 0.00061 s | 1.68 |
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
80.76063%
with172 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 @@ ## master #199 +/- ## ========================================== + Coverage 69.17% 72.95% +3.77% ========================================== Files 16 19 +3 Lines 1353 1427 +74 ========================================== + Hits 936 1041 +105 + Misses 417 386 -31 ```:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.