yices (math/yices) Updated: 7 months, 1 week ago Add to my watchlist
The Yices SMT SolverVersion: 2.6.5 License: GPL-3
GitHub
37 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 10082 | 2024-10-11 4:14:22 | 0:00:45 | 900 | build successful |
| 10.6 | 175699 | 2024-07-31 7:12:40 | 0:00:30 | 61464 | failed install-port |
| 14 | 42417 | 2024-06-28 22:35:08 | 0:02:10 | 11261 | build successful |
| 13.arm64 | 65340 | 2024-06-28 20:05:48 | 0:00:32 | 22806 | build successful |
| 14.arm64 | 35554 | 2024-06-28 16:24:06 | 0:00:39 | 10901 | build successful |
| 12 | 112574 | 2024-06-28 15:54:11 | 0:02:19 | 37283 | build successful |
| 11 | 160794 | 2024-06-28 15:40:29 | 0:02:00 | 48419 | build successful |
| 10.14 | 213056 | 2024-06-28 15:37:54 | 0:01:39 | 69423 | build successful |
| 10.15 | 189953 | 2024-06-28 15:34:23 | 0:01:54 | 58491 | build successful |
| 13 | 73283 | 2024-06-28 14:25:25 | 0:03:04 | 23062 | build successful |
| 10.6 | 172309 | 2024-06-28 14:06:35 | 0:00:39 | 60402 | failed install-port |
| 10.11 | 269889 | 2024-06-28 14:06:07 | 0:01:41 | 87911 | build successful |
| 10.8 | 183330 | 2024-06-28 14:05:27 | 0:01:42 | 58214 | build successful |
| 10.9 | 282922 | 2024-06-28 14:04:59 | 0:01:36 | 87421 | build successful |
| 10.6.x86_64 | 208013 | 2024-06-28 14:04:37 | 0:01:47 | 60447 | build successful |
| 10.12 | 279442 | 2024-06-28 14:04:15 | 0:01:53 | 86627 | build successful |
| 10.13 | 238888 | 2024-06-28 14:03:49 | 0:02:03 | 78752 | build successful |
| 10.10 | 275720 | 2024-06-28 14:03:31 | 0:01:33 | 87749 | build successful |
| 10.7 | 196727 | 2024-06-28 14:03:09 | 0:01:11 | 60161 | build successful |
| 12.arm64 | 131735 | 2024-06-28 13:57:29 | 0:00:35 | 37185 | build successful |
| 10.6 | 166931 | 2024-05-13 1:39:00 | 0:00:45 | 58547 | failed install-port |
| 14 | 12429 | 2023-11-22 18:35:31 | 0:01:19 | 1920 | build successful |
| 10.6 | 131732 | 2023-08-18 12:31:18 | 0:00:40 | 48074 | failed install-port |
| 13 | 7973 | 2022-12-28 17:28:11 | 0:01:18 | 1111 | build successful |
| 10.14 | 151101 | 2022-12-28 8:09:19 | 0:01:57 | 48032 | build successful |
| 10.13 | 175517 | 2022-12-28 8:02:11 | 0:01:57 | 57264 | build successful |
| 12 | 53718 | 2022-12-28 8:01:33 | 0:02:38 | 15715 | build successful |
| 10.15 | 124970 | 2022-12-28 8:01:19 | 0:01:40 | 37025 | build successful |
| 11 | 97291 | 2022-12-28 7:59:11 | 0:01:49 | 26936 | build successful |
| 10.11 | 205776 | 2022-12-28 7:57:05 | 0:01:42 | 66383 | build successful |
| 10.12 | 212971 | 2022-12-28 7:54:54 | 0:01:39 | 65184 | build successful |
| 10.10 | 208127 | 2022-12-28 7:54:42 | 0:01:36 | 66263 | build successful |
| 10.9 | 213606 | 2022-12-28 7:53:02 | 0:01:30 | 65956 | build successful |
| 10.8 | 115876 | 2022-12-28 7:52:51 | 0:01:44 | 36737 | build successful |
| 10.7 | 126505 | 2022-12-28 7:52:37 | 0:01:23 | 38695 | build successful |
| 10.6 | 100392 | 2022-12-28 7:52:24 | 0:03:19 | 38920 | failed install-port |
| 10.6.x86_64 | 135343 | 2022-12-28 7:51:27 | 0:03:52 | 38950 | build successful |