Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

Minor optimizations to avoid allocations when parsing

#105Merged
Comparing
parse-opt
(
27bc538
) with
main
(
1b28a69
)
CodSpeed Performance Gauge
0%
Untouched
174

Benchmarks

174 total
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
10.3 MB10.3 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
6.5 MB6.5 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.3 MB4.3 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
14.8 MB14.8 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00116.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.5 MB4.5 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
6.2 MB6.2 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00060.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.2 MB4.2 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.2 MB8.2 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00126.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
6.5 MB6.5 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00115.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.4 MB4.4 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00025.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
14.7 MB14.7 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00268.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.3 MB4.3 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00405.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.4 MB4.4 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00371.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.3 MB4.3 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0005/00154.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0001/00103.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
5.4 MB5.4 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.1 MB4.1 MB
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0015/00111.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.4 MB4.4 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.2 MB8.2 MB
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.3 MB8.3 MB

Commits

Click on a commit to change the comparison range
Base
main
1b28a69
-0.48%
Minor optimizations to avoid allocations when parsing
27bc538
23 days ago
by dewert99
© 2026 CodSpeed Technology
Home Terms Privacy Docs