This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
Parse bitwuzla version number to provide appropriate command line arg… #1368
| Job | Run time |
|---|---|
| 1m 36s | |
| 1m 39s | |
| 1m 46s | |
| 1m 58s | |
| 2m 9s | |
| 1m 38s | |
| 2m 7s | |
| 1m 40s | |
| 2m 14s | |
| 1m 40s | |
| 1m 44s | |
| 2m 15s | |
| 1m 41s | |
| 2m 2s | |
| 13m 31s | |
| 13m 45s | |
| 1m 12s | |
| 13m 55s | |
| 0s | |
| 14m 18s | |
| 14m 48s | |
| 15m 7s | |
| 1m 34s | |
| 15m 42s | |
| 1m 43s | |
| 6h 0m 15s | |
| 6h 0m 13s | |
| 0s | |
| 0s | |
| 14h 12m 12s |