z3 (math/z3) Updated: 1 week ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.15.4 License: MIT
GitHub
571 build(s) found
Page 1 of 6 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 214571 | 2025-11-13 5:07:14 | 0:19:09 | 74943 | failed install-port |
| 10.6.x86_64 | 251612 | 2025-11-13 4:47:33 | 0:32:54 | 75009 | failed install-port |
| 13.arm64 | 92155 | 2025-11-11 1:45:31 | 0:16:35 | 37055 | build successful |
| 14.arm64 | 65436 | 2025-11-10 22:45:21 | 0:16:13 | 25145 | build successful |
| 15.arm64 | 30795 | 2025-11-10 21:49:47 | 0:18:28 | 12171 | build successful |
| 13 | 98268 | 2025-11-10 21:13:06 | 0:15:10 | 37269 | build successful |
| 11.arm64 | 126953 | 2025-11-10 17:21:57 | 0:10:44 | 48066 | build successful |
| 14 | 70133 | 2025-11-10 16:16:18 | 0:15:03 | 25511 | build successful |
| 10.11 | 303742 | 2025-11-10 15:44:25 | 1:19:18 | 102231 | build successful |
| 10.6 | 214239 | 2025-11-10 15:42:37 | 0:31:40 | 74862 | failed install-port |
| 10.8 | 219457 | 2025-11-10 15:42:13 | 1:15:37 | 72556 | build successful |
| 10.6.x86_64 | 251279 | 2025-11-10 15:41:41 | 0:56:25 | 74927 | failed install-port |
| 10.9 | 319935 | 2025-11-10 15:41:15 | 1:14:30 | 101760 | build successful |
| 10.10 | 311850 | 2025-11-10 15:40:49 | 1:25:02 | 102083 | build successful |
| 10.13 | 270938 | 2025-11-10 15:36:59 | 1:36:11 | 92949 | build successful |
| 10.7 | 234623 | 2025-11-10 15:36:38 | 1:13:33 | 74526 | build successful |
| 10.12 | 313969 | 2025-11-10 15:34:19 | 0:48:02 | 100969 | build successful |
| 10.14 | 244673 | 2025-11-10 15:33:02 | 1:37:36 | 83580 | build successful |
| 12 | 143488 | 2025-11-10 15:32:38 | 1:36:34 | 51540 | build successful |
| 11 | 193638 | 2025-11-10 15:32:05 | 0:51:35 | 62665 | build successful |
| 10.15 | 221409 | 2025-11-10 15:31:47 | 1:31:16 | 72694 | build successful |
| 12.arm64 | 154797 | 2025-11-10 15:31:19 | 0:18:15 | 51273 | build successful |
| 26.arm64 | 20767 | 2025-11-10 15:30:39 | 0:17:38 | 1878 | build successful |
| 15 | 42622 | 2025-11-10 15:29:57 | 0:15:27 | 12980 | build successful |
| 26.arm64 | 2727 | 2025-09-19 15:11:50 | 0:11:42 | 143 | build successful |
| 10.6 | 209592 | 2025-09-01 22:19:52 | 0:16:04 | 73073 | failed install-port |
| 11.arm64 | 116437 | 2025-08-30 13:15:13 | 0:09:59 | 44530 | build successful |
| 12 | 139567 | 2025-08-30 9:28:19 | 0:37:06 | 49686 | build successful |
| 10.6 | 209518 | 2025-08-30 7:33:43 | 0:25:18 | 73019 | failed install-port |
| 15 | 38857 | 2025-08-30 6:16:20 | 0:16:04 | 11130 | build successful |
| 15.arm64 | 27246 | 2025-08-30 6:15:14 | 0:15:50 | 10322 | build successful |
| 14.arm64 | 61990 | 2025-08-30 6:14:54 | 0:15:14 | 23297 | build successful |
| 13.arm64 | 88815 | 2025-08-30 5:51:18 | 0:11:08 | 35205 | build successful |
| 14 | 66817 | 2025-08-30 5:37:33 | 0:16:05 | 23660 | build successful |
| 12.arm64 | 151571 | 2025-08-30 4:38:22 | 0:14:08 | 49427 | build successful |
| 13 | 95247 | 2025-08-30 3:51:32 | 0:15:19 | 35417 | build successful |
| 10.11 | 299521 | 2025-08-30 3:36:20 | 1:08:33 | 100379 | build successful |
| 10.8 | 215162 | 2025-08-30 3:35:33 | 1:14:50 | 70706 | build successful |
| 10.6 | 209504 | 2025-08-30 3:35:07 | 0:33:08 | 73015 | failed install-port |
| 10.7 | 230107 | 2025-08-30 3:34:37 | 1:14:35 | 72679 | build successful |
| 10.12 | 309600 | 2025-08-30 3:33:54 | 0:44:00 | 99120 | build successful |
| 10.13 | 266819 | 2025-08-30 3:33:21 | 1:35:45 | 91098 | build successful |
| 10.9 | 315412 | 2025-08-30 3:32:52 | 1:09:57 | 99910 | build successful |
| 10.15 | 217131 | 2025-08-30 3:32:26 | 1:17:20 | 70841 | build successful |
| 10.10 | 307427 | 2025-08-30 3:32:05 | 1:23:37 | 100234 | build successful |
| 10.14 | 240593 | 2025-08-30 3:31:42 | 1:33:07 | 81733 | build successful |
| 11 | 189198 | 2025-08-30 3:31:19 | 0:47:44 | 60813 | build successful |
| 10.6.x86_64 | 246290 | 2025-08-30 3:31:00 | 0:57:36 | 73078 | build successful |
| 10.6 | 209500 | 2025-08-30 2:29:57 | 0:17:51 | 73014 | failed install-port |
| 10.6 | 206893 | 2025-08-17 23:29:29 | 0:16:42 | 72646 | failed install-port |
| 10.6 | 206893 | 2025-08-17 23:29:29 | 0:16:42 | 72646 | failed install-port |
| 12.arm64 | 146700 | 2025-08-11 0:29:32 | 0:11:23 | 44921 | build successful |
| 11.arm64 | 112540 | 2025-08-09 13:27:18 | 0:10:51 | 41420 | build successful |
| 13 | 92911 | 2025-07-29 23:26:36 | 0:16:11 | 34605 | build successful |
| 14.arm64 | 59376 | 2025-07-29 11:56:13 | 0:09:29 | 22454 | build successful |
| 15 | 34570 | 2025-07-29 11:22:34 | 0:15:51 | 10254 | build successful |
| 15.arm64 | 23333 | 2025-07-29 5:44:45 | 0:10:17 | 9444 | build successful |
| 14 | 63843 | 2025-07-29 5:01:49 | 0:15:31 | 22834 | build successful |
| 10.14 | 237695 | 2025-07-29 1:53:16 | 1:40:08 | 80937 | build successful |
| 10.13 | 263927 | 2025-07-29 1:51:38 | 1:42:32 | 90303 | build successful |
| 10.12 | 306191 | 2025-07-29 1:50:41 | 0:42:20 | 98290 | build successful |
| 10.11 | 295904 | 2025-07-29 1:49:10 | 1:15:11 | 99524 | build successful |
| 10.8 | 211159 | 2025-07-29 1:48:33 | 1:16:08 | 69828 | build successful |
| 10.15 | 214152 | 2025-07-29 1:47:55 | 1:22:32 | 70041 | build successful |
| 11 | 186049 | 2025-07-29 1:46:42 | 0:46:26 | 59998 | build successful |
| 10.9 | 311203 | 2025-07-29 1:45:06 | 1:14:12 | 99040 | build successful |
| 12 | 136745 | 2025-07-29 1:45:02 | 1:38:52 | 48874 | build successful |
| 10.10 | 303569 | 2025-07-29 1:44:27 | 1:25:16 | 99372 | build successful |
| 10.7 | 225936 | 2025-07-29 1:42:35 | 1:12:09 | 71792 | build successful |
| 10.6 | 204612 | 2025-07-29 1:42:20 | 0:34:25 | 72083 | failed install-port |
| 13.arm64 | 86168 | 2025-07-29 1:39:02 | 0:09:36 | 34364 | build successful |
| 10.6.x86_64 | 241138 | 2025-07-29 1:38:36 | 0:55:56 | 72135 | build successful |
| 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 |