Don't use path compression #79
Merged
CodSpeed HQ / CodSpeed Performance Analysis
succeeded
Dec 21, 2024 in 0s
Performance Gate Passed
Summary
⚡ 13 improvements
✅ 74 untouched benchmarks
Benchmarks breakdown
| Benchmark | main |
no-path-compress |
Change | |
|---|---|---|---|---|
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2 |
33.7 ms | 30.3 ms | +11.15% |
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2 |
2.5 s | 1.5 s | +66.15% |
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2 |
38.3 ms | 34.8 ms | +10.07% |
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2 |
1.3 s | 1.1 s | +15.27% |
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2 |
1.9 s | 1.6 s | +18.07% |
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2 |
468.6 ms | 387.3 ms | +21.01% |
| ⚡ | benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2 |
41.2 ms | 37.3 ms | +10.44% |
| ⚡ | benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00310.smt2 |
14.1 ms | 11.4 ms | +23.91% |
| ⚡ | benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2 |
334 ms | 301.3 ms | +10.86% |
| ⚡ | benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2 |
20.4 ms | 17.6 ms | +16.12% |
| ⚡ | benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00009.smt2 |
47.9 ms | 40 ms | +19.6% |
| ⚡ | benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00117.smt2 |
205.2 ms | 183.6 ms | +11.81% |
| ⚡ | benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2 |
1.5 s | 1.1 s | +34.06% |
Loading