Skip to content

Actions: SMT-LIB/benchmark-submission

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix folder name (date) Check Pull Request #48: Pull request #20 opened by pcarbonn
Action required pcarbonn:push-zvzomkqympoq
pcarbonn:push-zvzomkqympoq
Action required
Add CIRCT datapath synthesis benchmarks 2025 Check Pull Request #45: Pull request #17 opened by cowardsa
3m 35s cowardsa:main
cowardsa:main
3m 35s
Add 2020 Kanig benchmarks Check Pull Request #44: Pull request #15 synchronize by hansjoergschurr
6m 22s Kanig
Kanig
6m 22s
Add 2020 Kanig benchmarks Check Pull Request #43: Pull request #15 synchronize by hansjoergschurr
4m 46s Kanig
Kanig
4m 46s
Add LibMLKEM 2.7 benchmarks from 2024 Check Pull Request #42: Pull request #14 synchronize by hansjoergschurr
3m 44s LibMLKEM
LibMLKEM
3m 44s
Add LibMLKEM 2.7 benchmarks from 2024 Check Pull Request #41: Pull request #14 synchronize by hansjoergschurr
3m 48s LibMLKEM
LibMLKEM
3m 48s
Add 2020 Kanig benchmarks Check Pull Request #40: Pull request #15 opened by hansjoergschurr
4m 48s Kanig
Kanig
4m 48s
Add LibMLKEM 2.7 benchmarks from 2024 Check Pull Request #39: Pull request #14 opened by hansjoergschurr
2m 8s LibMLKEM
LibMLKEM
2m 8s
Adding benchmarks from Verus (a Rust Verification tool) Check Pull Request #38: Pull request #12 synchronize by amarshah1
5m 5s amarshah1:main
amarshah1:main
5m 5s
Adding benchmarks from Verus (a Rust Verification tool) Check Pull Request #37: Pull request #12 synchronize by amarshah1
40s amarshah1:main
amarshah1:main
40s
horn_string_benchnchmarks Check Pull Request #36: Pull request #8 synchronize by OliverMa1
1m 20s hongjianjiang:main
hongjianjiang:main
1m 20s
4 different benchmark sets focused around str.replace_all Check Pull Request #33: Pull request #7 synchronize by OliverMa1
2m 3s OliverMa1:main
OliverMa1:main
2m 3s
Adding non-incremental UFNIA benchmarks for the verification of bit-vector lemmas Check Pull Request #32: Pull request #13 opened by yoni206
32s yoni206:main
yoni206:main
32s
Adding benchmarks from Verus (a Rust Verification tool) Check Pull Request #31: Pull request #12 opened by amarshah1
13m 30s amarshah1:main
amarshah1:main
13m 30s
horn_string_benchnchmarks Check Pull Request #30: Pull request #8 synchronize by hongjianjiang
52s hongjianjiang:main
hongjianjiang:main
52s
qf_s: add negated predicates with regular constraints Check Pull Request #29: Pull request #11 synchronize by MichalHe
46s MichalHe:negated-string-predicates
MichalHe:negated-string-predicates
46s
qf_s: add negated predicates with regular constraints Check Pull Request #28: Pull request #11 opened by MichalHe
15s MichalHe:negated-string-predicates
MichalHe:negated-string-predicates
15s
horn_string_benchnchmarks Check Pull Request #27: Pull request #8 synchronize by hongjianjiang
57s hongjianjiang:main
hongjianjiang:main
57s
horn_string_benchnchmarks Check Pull Request #26: Pull request #8 synchronize by hongjianjiang
44s hongjianjiang:main
hongjianjiang:main
44s
horn_string_benchnchmarks Check Pull Request #25: Pull request #8 synchronize by hongjianjiang
44s hongjianjiang:main
hongjianjiang:main
44s
Add 240+16 instances of the string matching problems. Check Pull Request #24: Pull request #10 synchronize by Bazoka13
41s Bazoka13:main
Bazoka13:main
41s
Add 240+16 instances of the string matching problems. Check Pull Request #23: Pull request #10 synchronize by Bazoka13
30s Bazoka13:main
Bazoka13:main
30s
Add 240+16 instances of the string matching problems. Check Pull Request #22: Pull request #10 opened by Bazoka13
27s Bazoka13:main
Bazoka13:main
27s
horn_string_benchnchmarks Check Pull Request #21: Pull request #8 synchronize by hongjianjiang
46s hongjianjiang:main
hongjianjiang:main
46s
horn_string_benchnchmarks Check Pull Request #19: Pull request #8 synchronize by hongjianjiang
15s hongjianjiang:main
hongjianjiang:main
15s