z3 (math/z3) Updated: 1 month, 2 weeks ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.15.3 License: MIT
GitHub
547 build(s) found
Page 1 of 6 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 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 |