Avatar for the dewert99 user
dewert99
plat-smt
BlogDocsChangelog

GitHub Actions run

23 days ago b7cc6cd main push

Compare

Base
Search a run
Head
main
b7cc6cd
23 days ago
CPU SimulationMemory
Compare
Suggested base runs:
174 total
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00120.smt2
benches/bench.rs::benches::criterion_benchmark
1.2 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00119.smt2
benches/bench.rs::benches::criterion_benchmark
832.4 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
31.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00959.smt2
benches/bench.rs::benches::criterion_benchmark
1 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
19.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00130.smt2
benches/bench.rs::benches::criterion_benchmark
640.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00749.smt2
benches/bench.rs::benches::criterion_benchmark
1.4 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
20.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
22 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
919.5 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
16.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00912.smt2
benches/bench.rs::benches::criterion_benchmark
719.3 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0017/00005.smt2
benches/bench.rs::benches::criterion_benchmark
6.4 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0009/00232.smt2
benches/bench.rs::benches::criterion_benchmark
2.8 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00968.smt2
benches/bench.rs::benches::criterion_benchmark
443 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0016/00794.smt2
benches/bench.rs::benches::criterion_benchmark
529.2 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00046.smt2
benches/bench.rs::benches::criterion_benchmark
669 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00914.smt2
benches/bench.rs::benches::criterion_benchmark
701.1 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00190.smt2
benches/bench.rs::benches::criterion_benchmark
928.5 µs
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0019/00013.smt2
benches/bench.rs::benches::criterion_benchmark
3.2 ms
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2
benches/bench.rs::benches::criterion_benchmark
33.9 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00248.smt2
benches/bench.rs::benches::criterion_benchmark
2.5 ms
benches/starexec/incremental/QF_UF/20190906-CLEARSY/0023/00058.smt2
benches/bench.rs::benches::criterion_benchmark
505.9 µs
benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2
benches/bench.rs::benches::criterion_benchmark
8.5 ms
benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2
benches/bench.rs::benches::criterion_benchmark
505.6 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs