dewert99

plat-smt

BlogDocsChangelog

Blog

Docs

Changelog

OverviewBranchesBenchmarksRuns

Mode

CPU Simulation

Wall Time

Memory

Status

Active

174 total

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2created

2 years ago

, last runago

16.6 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_adding.1.prop1_ab_core_max.smt2created

30 days ago

, last runago

6 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2created

2 years ago

, last runago

31.4 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.5.prop1_ab_core_max.smt2created

30 days ago

, last runago

8.1 MB

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2created

30 days ago

, last runago

6.1 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp.6.prop1_ab_min_max.smt2created

2 years ago

, last runago

19.9 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2created

2 years ago

, last runago

20.4 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_brp2.4.prop2_ab_min_max.smt2created

30 days ago

, last runago

6.2 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2created

2 years ago

, last runago

34.3 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_min_max.smt2created

30 days ago

, last runago

8.4 MB

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2created

30 days ago

, last runago

6.5 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_min_max.smt2created

2 years ago

, last runago

22 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2created

2 years ago

, last runago

8.6 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_core_max.smt2created

30 days ago

, last runago

5 MB

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2created

30 days ago

, last runago

49.2 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_core_max.smt2created

1 year ago

, last runago

922.7 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2created

30 days ago

, last runago

8.2 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2created

1 year ago

, last runago

118.3 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2created

2 years ago

, last runago

68.1 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_core_max.smt2created

30 days ago

, last runago

8.8 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2created

2 years ago

, last runago

36.3 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_core_max.smt2created

30 days ago

, last runago

8 MB

Uses the CPU Simulation instrument
to collect CPU performance metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2created

2 years ago

, last runago

125.1 ms

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_core_max.smt2created

30 days ago

, last runago

8.2 MB

Uses the Memory instrument
to collect Memory usage metrics.

benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2

benches/bench.rs::benches::criterion_benchmark::benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_min_max.smt2created

30 days ago

, last runago

6 MB

1234567

© 2026 CodSpeed Technology

Home Terms Privacy Docs