Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yaml
820 workflow runs
820 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Quantifier instantiation via simplistic E-matching Performance Benchmarking #36: Pull request #8224 synchronize by tautschnig
March 22, 2024 10:55 47m 9s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
March 22, 2024 10:55 47m 9s
Merge pull request #8171 from tautschnig/features/benchcomp Performance Benchmarking #35: Commit 9cbfe7e pushed by tautschnig
March 20, 2024 17:59 43m 35s develop
develop
March 20, 2024 17:59 43m 35s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #34: Pull request #8171 synchronize by tautschnig
March 20, 2024 09:05 46m 4s tautschnig:features/benchcomp
tautschnig:features/benchcomp
March 20, 2024 09:05 46m 4s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #33: Pull request #8171 synchronize by tautschnig
March 18, 2024 09:53 42m 30s tautschnig:features/benchcomp
tautschnig:features/benchcomp
March 18, 2024 09:53 42m 30s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #32: Pull request #8171 synchronize by tautschnig
February 26, 2024 19:36 34m 38s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 26, 2024 19:36 34m 38s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #31: Pull request #8171 synchronize by tautschnig
February 26, 2024 19:34 45m 5s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 26, 2024 19:34 45m 5s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #30: Pull request #8171 synchronize by tautschnig
February 26, 2024 19:34 47m 28s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 26, 2024 19:34 47m 28s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #29: Pull request #8171 synchronize by tautschnig
February 6, 2024 12:38 30m 27s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 12:38 30m 27s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #28: Pull request #8171 synchronize by tautschnig
February 6, 2024 10:50 31m 40s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 10:50 31m 40s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #27: Pull request #8171 synchronize by tautschnig
February 6, 2024 10:13 20m 21s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 10:13 20m 21s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #26: Pull request #8171 synchronize by tautschnig
February 6, 2024 09:39 18m 17s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 09:39 18m 17s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #25: Pull request #8171 synchronize by tautschnig
February 6, 2024 09:20 16m 55s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 09:20 16m 55s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #24: Pull request #8171 synchronize by tautschnig
February 2, 2024 12:09 6h 0m 33s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 2, 2024 12:09 6h 0m 33s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #23: Pull request #8171 synchronize by tautschnig
January 29, 2024 15:20 2h 47m 38s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 29, 2024 15:20 2h 47m 38s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #22: Pull request #8171 synchronize by tautschnig
January 29, 2024 15:00 2h 47m 37s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 29, 2024 15:00 2h 47m 37s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #21: Pull request #8171 synchronize by tautschnig
January 29, 2024 11:55 2h 40m 47s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 29, 2024 11:55 2h 40m 47s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #20: Pull request #8171 synchronize by tautschnig
January 26, 2024 06:15 2h 46m 5s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 26, 2024 06:15 2h 46m 5s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #19: Pull request #8171 synchronize by tautschnig
January 25, 2024 15:00 4m 11s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 25, 2024 15:00 4m 11s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #18: Pull request #8171 synchronize by tautschnig
January 25, 2024 14:55 3m 25s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 25, 2024 14:55 3m 25s
Run performance comparison in CI using Kani's Benchcomp Performance Benchmarking #17: Pull request #8171 opened by tautschnig
January 25, 2024 13:58 40m 29s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 25, 2024 13:58 40m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-01-25 or the other filters available.