z3 (math/z3) Updated: 3 months, 2 weeks ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.13.4 License: MIT
GitHub
499 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 197941 | 2025-03-27 16:53:09 | 0:15:47 | 69218 | failed install-port |
| 10.6 | 197937 | 2025-03-27 16:35:38 | 0:12:17 | 69217 | failed install-port |
| 10.6.x86_64 | 233883 | 2025-03-27 16:24:29 | 0:02:15 | 69265 | failed install-port |
| 10.6 | 197933 | 2025-03-27 16:20:33 | 0:01:44 | 69215 | failed install-port |
| 10.7 | 219232 | 2025-03-27 16:19:33 | 0:03:20 | 68924 | failed install-port |
| 10.11 | 289874 | 2025-03-27 16:14:26 | 0:05:10 | 96659 | failed install-port |
| 10.12 | 299889 | 2025-03-27 16:13:53 | 0:04:33 | 95412 | failed install-port |
| 10.14 | 231581 | 2025-03-27 16:13:30 | 0:06:09 | 78108 | failed install-port |
| 10.13 | 257702 | 2025-03-27 16:12:59 | 0:05:23 | 87471 | failed install-port |
| 10.10 | 296969 | 2025-03-27 16:12:33 | 0:04:11 | 96498 | failed install-port |
| 10.9 | 304513 | 2025-03-27 16:12:06 | 0:03:51 | 96171 | failed install-port |
| 10.15 | 208335 | 2025-03-27 16:11:39 | 0:02:19 | 67175 | failed install-port |
| 11 | 180035 | 2025-03-27 16:11:13 | 0:02:41 | 57123 | failed install-port |
| 12 | 130910 | 2025-03-27 16:10:39 | 0:02:09 | 45999 | failed install-port |
| 14 | 59052 | 2025-03-27 16:10:18 | 0:01:00 | 19969 | failed install-port |
| 13.arm64 | 81517 | 2025-03-27 16:09:48 | 0:00:43 | 31491 | failed install-port |
| 13.arm64 | 80451 | 2025-03-12 7:34:43 | 0:00:30 | 30949 | failed install-port |
| 14.arm64 | 53107 | 2025-03-11 19:10:14 | 0:00:26 | 19042 | failed install-port |
| 13 | 87849 | 2025-03-10 1:02:47 | 0:00:31 | 31239 | failed install-port |
| 10.15 | 207295 | 2025-03-09 6:15:45 | 0:03:41 | 66634 | failed install-port |
| 15.arm64 | 9859 | 2025-03-09 5:27:17 | 0:00:27 | 5346 | failed install-port |
| 14 | 57904 | 2025-03-09 5:13:19 | 0:00:53 | 19427 | failed install-port |
| 10.13 | 256508 | 2025-03-09 4:22:33 | 0:07:00 | 86928 | failed install-port |
| 10.11 | 288475 | 2025-03-09 4:22:00 | 0:00:35 | 96117 | failed install-port |
| 10.10 | 295412 | 2025-03-08 20:29:34 | 0:00:32 | 95955 | failed install-port |
| 10.8 | 203039 | 2025-03-08 19:40:04 | 0:04:32 | 66420 | failed install-port |
| 10.7 | 217380 | 2025-03-08 19:31:12 | 0:04:52 | 68382 | failed install-port |
| 10.9 | 302922 | 2025-03-08 18:32:18 | 0:03:49 | 95627 | failed install-port |
| 10.12 | 298577 | 2025-03-08 15:29:52 | 0:03:05 | 94870 | failed install-port |
| 12 | 129746 | 2025-03-08 14:24:02 | 0:04:05 | 45458 | failed install-port |
| 11 | 178854 | 2025-03-08 12:40:09 | 0:01:31 | 56580 | failed install-port |
| 15.arm64 | 9029 | 2025-03-08 11:27:04 | 0:00:27 | 5069 | failed install-port |
| 10.14 | 230338 | 2025-03-08 11:15:20 | 0:07:57 | 77566 | failed install-port |
| 10.6 | 195640 | 2025-03-08 8:54:36 | 0:04:12 | 68672 | failed install-port |
| 10.6.x86_64 | 231309 | 2025-03-08 7:53:16 | 0:04:08 | 68722 | failed install-port |
| 15 | 28142 | 2025-03-08 7:28:08 | 0:00:59 | 6854 | failed install-port |
| 15.arm64 | 7100 | 2025-03-05 14:42:37 | 0:00:28 | 3459 | failed install-port |
| 13.arm64 | 80108 | 2025-03-04 19:20:45 | 0:00:22 | 30672 | failed install-port |
| 15.arm64 | 5415 | 2025-03-03 7:47:44 | 0:00:18 | 1684 | failed install-port |
| 14.arm64 | 52722 | 2025-03-02 19:30:00 | 0:00:24 | 18765 | failed install-port |
| 13 | 87415 | 2025-02-28 11:20:09 | 0:00:45 | 30917 | failed install-port |
| 10.15 | 206885 | 2025-02-28 2:57:42 | 0:01:36 | 66360 | failed install-port |
| 14 | 57450 | 2025-02-28 1:46:45 | 0:00:43 | 19151 | failed install-port |
| 10.13 | 256074 | 2025-02-28 1:43:02 | 0:01:23 | 86656 | failed install-port |
| 11 | 178449 | 2025-02-28 1:33:51 | 0:01:47 | 56304 | failed install-port |
| 12 | 129355 | 2025-02-28 1:33:24 | 0:01:39 | 45183 | failed install-port |
| 10.14 | 229903 | 2025-02-28 1:27:30 | 0:05:26 | 77289 | failed install-port |
| 10.9 | 302118 | 2025-02-28 1:18:53 | 0:01:17 | 95350 | failed install-port |
| 10.11 | 287726 | 2025-02-28 1:10:50 | 0:02:08 | 95840 | failed install-port |
| 10.12 | 297821 | 2025-02-28 1:00:06 | 0:01:28 | 94592 | failed install-port |
| 10.8 | 202225 | 2025-02-28 0:56:30 | 0:01:36 | 66143 | failed install-port |
| 10.7 | 216574 | 2025-02-28 0:51:59 | 0:01:08 | 68105 | failed install-port |
| 10.10 | 294641 | 2025-02-28 0:49:19 | 0:01:11 | 95679 | failed install-port |
| 10.6 | 194603 | 2025-02-28 0:33:25 | 0:01:35 | 68394 | failed install-port |
| 10.6.x86_64 | 230169 | 2025-02-28 0:25:39 | 0:03:20 | 68444 | failed install-port |
| 15.arm64 | 399 | 2025-02-23 8:34:27 | 0:09:44 | 17 | build successful |
| 12 | 125787 | 2024-12-26 11:19:53 | 0:39:33 | 43569 | build successful |
| 15 | 24371 | 2024-12-26 7:56:58 | 0:15:41 | 4966 | build successful |
| 14 | 54618 | 2024-12-26 2:15:26 | 0:15:05 | 17511 | build successful |
| 10.13 | 252330 | 2024-12-26 0:29:11 | 0:55:53 | 85040 | build successful |
| 10.8 | 198306 | 2024-12-25 23:07:09 | 1:03:43 | 64530 | build successful |
| 10.14 | 226263 | 2024-12-25 22:52:03 | 1:17:03 | 75676 | build successful |
| 10.15 | 203284 | 2024-12-25 22:21:59 | 0:44:43 | 64740 | build successful |
| 10.10 | 290739 | 2024-12-25 22:11:08 | 1:10:03 | 94065 | build successful |
| 10.7 | 212432 | 2024-12-25 22:06:29 | 1:04:52 | 66490 | build successful |
| 14.arm64 | 49724 | 2024-12-25 19:43:10 | 0:09:50 | 17147 | build successful |
| 10.9 | 298217 | 2024-12-25 16:36:09 | 0:50:10 | 93736 | build successful |
| 10.11 | 284123 | 2024-12-25 15:08:03 | 0:56:00 | 94226 | build successful |
| 12.arm64 | 143959 | 2024-12-25 13:19:56 | 0:10:23 | 43456 | build successful |
| 10.12 | 294107 | 2024-12-25 8:02:56 | 0:43:24 | 92977 | build successful |
| 11 | 174770 | 2024-12-25 6:04:07 | 0:52:48 | 54687 | build successful |
| 10.6 | 190020 | 2024-12-25 1:17:16 | 0:25:28 | 66781 | failed install-port |
| 10.6.x86_64 | 225708 | 2024-12-25 0:45:56 | 0:54:38 | 66831 | build successful |
| 13 | 84799 | 2024-12-24 20:23:34 | 0:15:03 | 29306 | build successful |
| 13.arm64 | 77346 | 2024-12-24 20:22:56 | 0:09:41 | 29057 | build successful |
| 14 | 51412 | 2024-11-12 9:44:50 | 0:14:17 | 15737 | build successful |
| 14.arm64 | 46325 | 2024-11-12 7:48:38 | 0:09:51 | 15372 | build successful |
| 13 | 81809 | 2024-11-12 5:56:37 | 0:14:24 | 27532 | build successful |
| 12.arm64 | 140950 | 2024-11-12 5:31:54 | 0:09:39 | 41681 | build successful |
| 12 | 122554 | 2024-11-12 4:43:38 | 0:41:27 | 41795 | build successful |
| 10.15 | 199942 | 2024-11-12 1:09:15 | 0:51:01 | 62966 | build successful |
| 13.arm64 | 74534 | 2024-11-12 0:13:08 | 0:10:03 | 27282 | build successful |
| 10.8 | 194600 | 2024-11-12 0:02:37 | 0:53:15 | 62747 | build successful |
| 10.9 | 294368 | 2024-11-11 23:40:56 | 0:44:44 | 91953 | build successful |
| 10.14 | 222873 | 2024-11-11 23:21:37 | 1:07:38 | 73902 | build successful |
| 10.7 | 208594 | 2024-11-11 22:29:04 | 0:46:07 | 64706 | build successful |
| 10.6 | 185617 | 2024-11-11 21:08:20 | 0:15:22 | 64994 | failed install-port |
| 15 | 20035 | 2024-11-11 21:04:27 | 0:14:57 | 3189 | build successful |
| 10.11 | 280583 | 2024-11-11 19:59:26 | 0:46:52 | 92444 | build successful |
| 10.10 | 287009 | 2024-11-11 16:24:44 | 1:08:18 | 92283 | build successful |
| 10.6.x86_64 | 221364 | 2024-11-11 15:53:43 | 0:57:09 | 65044 | build successful |
| 11 | 171223 | 2024-11-11 15:03:14 | 0:44:15 | 52911 | build successful |
| 10.13 | 248896 | 2024-11-11 14:31:39 | 1:32:13 | 83259 | build successful |
| 10.12 | 290403 | 2024-11-11 13:39:52 | 0:40:47 | 91195 | build successful |
| 15 | 439 | 2024-09-27 11:46:56 | 0:12:46 | 17 | build successful |
| 12 | 110985 | 2024-06-12 8:49:55 | 0:44:13 | 36618 | build successful |
| 10.14 | 211399 | 2024-06-12 8:28:50 | 0:46:44 | 68758 | build successful |
| 10.13 | 237148 | 2024-06-12 8:12:31 | 0:46:07 | 78087 | build successful |
| 10.8 | 181434 | 2024-06-11 23:10:28 | 1:05:16 | 57548 | build successful |
| 10.7 | 194780 | 2024-06-11 23:00:47 | 1:06:43 | 59495 | build successful |