Don't use path compression

[dewert99]

No description provided.

[codspeed-hq]

CodSpeed Performance Report

Merging #79 will improve performances by 66.15%

_{Comparing no-path-compress (0451e8e) with main (7c7f703)}

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%