Skip to content
Bench

Merge pull request #381 from pq-code-package/cbmc-cleanup #705

Sign in to view logs

Merge pull request #381 from pq-code-package/cbmc-cleanup

Merge pull request #381 from pq-code-package/cbmc-cleanup #705

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Arm Cortex-A72 (Raspberry Pi 4) benchmarks
4m 36s
Arm Cortex-A76 (Raspberry Pi 5) benchmarks
1m 52s
Arm Cortex-A55 (Snapdragon 888) benchmarks
4m 35s
AMD EPYC 3rd gen (c6a) no_opt / Start AMD EPYC 3rd gen (c6a) (c7a.medium)
1m 30s
AMD EPYC 4th gen (c7a) no_opt / Start AMD EPYC 4th gen (c7a) (c7a.medium)
1m 1s
Graviton2 no_opt / Start Graviton2 (t4g.small)
1m 0s
Graviton3 no_opt / Start Graviton3 (c7g.medium)
1m 5s
Graviton4 no_opt / Start Graviton4 (c8g.medium)
1m 1s
Intel Xeon 3rd gen (c6i) no_opt / Start Intel Xeon 3rd gen (c6i) (c7i.large)
1m 3s
Intel Xeon 4th gen (c7i) no_opt / Start Intel Xeon 4th gen (c7i) (c7i.large)
1m 3s
AMD EPYC 3rd gen (c6a) opt / Start AMD EPYC 3rd gen (c6a) (c7a.medium)
1m 5s
AMD EPYC 4th gen (c7a) opt / Start AMD EPYC 4th gen (c7a) (c7a.medium)
1m 22s
Graviton2 opt / Start Graviton2 (t4g.small)
1m 13s
Graviton3 opt / Start Graviton3 (c7g.medium)
1m 0s
Graviton4 opt / Start Graviton4 (c8g.medium)
1m 26s
Intel Xeon 4th gen (c7i) opt / Start Intel Xeon 4th gen (c7i) (c7i.large)
1m 3s
Intel Xeon 3rd gen (c6i) opt / Start Intel Xeon 3rd gen (c6i) (c7i.large)
1m 2s
AMD EPYC 4th gen (c7a) no_opt / Bench (nix)
2m 59s
AMD EPYC 4th gen (c7a) no_opt / Bench (custom compiler)
0s
Graviton2 no_opt / Bench (nix)
3m 51s
Graviton2 no_opt / Bench (custom compiler)
0s
Graviton3 opt / Bench (custom compiler)
0s
Graviton3 opt / Bench (nix)
3m 20s
Intel Xeon 4th gen (c7i) no_opt / Bench (nix)
2m 2s
Intel Xeon 4th gen (c7i) no_opt / Bench (custom compiler)
0s
Graviton4 no_opt / Bench (nix)
5m 18s
Graviton4 no_opt / Bench (custom compiler)
0s
Intel Xeon 3rd gen (c6i) no_opt / Bench (custom compiler)
0s
Intel Xeon 3rd gen (c6i) no_opt / Bench (nix)
2m 33s
Intel Xeon 3rd gen (c6i) opt / Bench (custom compiler)
0s
Intel Xeon 3rd gen (c6i) opt / Bench (nix)
2m 5s
Intel Xeon 4th gen (c7i) opt / Bench (nix)
1m 48s
Intel Xeon 4th gen (c7i) opt / Bench (custom compiler)
0s
Graviton3 no_opt / Bench (custom compiler)
0s
Graviton3 no_opt / Bench (nix)
5m 30s
AMD EPYC 3rd gen (c6a) opt / Bench (custom compiler)
0s
AMD EPYC 3rd gen (c6a) opt / Bench (nix)
3m 43s
Graviton2 opt / Bench (nix)
5m 49s
Graviton2 opt / Bench (custom compiler)
0s
AMD EPYC 4th gen (c7a) opt / Bench (nix)
2m 38s
AMD EPYC 4th gen (c7a) opt / Bench (custom compiler)
0s
AMD EPYC 3rd gen (c6a) no_opt / Bench (nix)
2m 41s
AMD EPYC 3rd gen (c6a) no_opt / Bench (custom compiler)
0s
Graviton4 opt / Bench (nix)
4m 20s
Graviton4 opt / Bench (custom compiler)
0s
Intel Xeon 4th gen (c7i) opt / Stop Intel Xeon 4th gen (c7i) (c7i.large)
5s
Intel Xeon 4th gen (c7i) no_opt / Stop Intel Xeon 4th gen (c7i) (c7i.large)
5s
Intel Xeon 3rd gen (c6i) opt / Stop Intel Xeon 3rd gen (c6i) (c7i.large)
4s
Intel Xeon 3rd gen (c6i) no_opt / Stop Intel Xeon 3rd gen (c6i) (c7i.large)
5s
AMD EPYC 4th gen (c7a) opt / Stop AMD EPYC 4th gen (c7a) (c7a.medium)
4s
AMD EPYC 4th gen (c7a) no_opt / Stop AMD EPYC 4th gen (c7a) (c7a.medium)
5s
AMD EPYC 3rd gen (c6a) no_opt / Stop AMD EPYC 3rd gen (c6a) (c7a.medium)
4s
Graviton3 opt / Stop Graviton3 (c7g.medium)
3s
AMD EPYC 3rd gen (c6a) opt / Stop AMD EPYC 3rd gen (c6a) (c7a.medium)
4s
Graviton2 no_opt / Stop Graviton2 (t4g.small)
5s
Graviton4 opt / Stop Graviton4 (c8g.medium)
3s
Graviton4 no_opt / Stop Graviton4 (c8g.medium)
4s
Graviton3 no_opt / Stop Graviton3 (c7g.medium)
4s
Graviton2 opt / Stop Graviton2 (t4g.small)
3s
1h 16m 32s