Comparing
ui-append
(c5f8444
) withmain
(2ffa7be
)0%
- Untouched
- 174
Benchmarks
174 total
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00853.smt2
benches/bench.rs::benches::criterion_benchmark+1%
2.8 ms2.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0012/00134.smt2
benches/bench.rs::benches::criterion_benchmark+1%
678.4 µs672.9 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00424.smt2
benches/bench.rs::benches::criterion_benchmark+1%
824.4 µs818 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark+1%
536.3 µs533.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark+1%
447.3 µs444.7 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00533.smt2
benches/bench.rs::benches::criterion_benchmark+1%
545.6 µs542.5 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark+1%
39.7 ms39.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rether.2.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
37.4 ms37.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00092.smt2
benches/bench.rs::benches::criterion_benchmark0%
2.2 ms2.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
347.1 ms345.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0024/00318.smt2
benches/bench.rs::benches::criterion_benchmark0%
19.1 ms19 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0008/00002.smt2
benches/bench.rs::benches::criterion_benchmark0%
817.6 µs814.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
benches/bench.rs::benches::criterion_benchmark0%
643.4 µs640.9 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
118.3 ms117.9 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
42.5 ms42.3 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0002/00182.smt2
benches/bench.rs::benches::criterion_benchmark0%
19.4 ms19.3 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
36.3 ms36.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0000/00290.smt2
benches/bench.rs::benches::criterion_benchmark0%
3.4 ms3.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark0%
1 ms1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00007.smt2
benches/bench.rs::benches::criterion_benchmark0%
1.1 ms1.1 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00350.smt2
benches/bench.rs::benches::criterion_benchmark0%
983.6 µs981.8 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
benches/bench.rs::benches::criterion_benchmark0%
3.2 ms3.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0003/00006.smt2
benches/bench.rs::benches::criterion_benchmark0%
6 ms6 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
32.2 ms32.2 ms
benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2
benches/bench.rs::benches::criterion_benchmark0%
506.6 ms506 ms
Commits
Click on a commit to change the comparison rangeBase
main
2ffa7be
-0.06%
Optimize UI for append only mode and fix panic with get-interpolants and no assumptions
c5f8444
1 month ago
by dewert99