z3 (math/z3) Updated: 2 months, 2 weeks ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.12.6 License: MIT
GitHub
386 build(s) found
Page 4 of 4 | Showing build(s) 301 to 386
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 41761 | 2020-12-16 17:44:53 | 0:18:48 | 13062 | failed install-port |
| 11.arm64 | 5560 | 2020-12-16 17:43:22 | 0:00:19 | 1135 | failed install-dependencies |
| 11 | 6595 | 2020-12-12 7:11:47 | 0:19:00 | 594 | build successful |
| 10.6 | 21484 | 2020-12-04 17:59:24 | 0:29:16 | 12701 | failed install-port |
| 10.6.x86_64 | 40760 | 2020-12-04 17:07:09 | 0:13:57 | 12709 | failed install-port |
| 11.arm64 | 4711 | 2020-12-04 16:35:02 | 0:00:19 | 778 | failed install-dependencies |
| 10.6 | 21163 | 2020-12-02 19:42:59 | 0:25:12 | 12624 | failed install-port |
| 10.6.x86_64 | 40273 | 2020-12-02 19:10:57 | 0:13:47 | 12632 | failed install-port |
| 11.arm64 | 4241 | 2020-12-02 18:40:59 | 0:00:18 | 701 | failed install-dependencies |
| 10.6 | 21151 | 2020-12-02 17:53:11 | 0:28:04 | 12621 | failed install-port |
| 10.6.x86_64 | 40258 | 2020-12-02 17:51:27 | 0:13:14 | 12629 | failed install-port |
| 11.arm64 | 4229 | 2020-12-02 17:48:43 | 0:00:18 | 698 | failed install-dependencies |
| 10.6 | 21099 | 2020-12-02 4:01:25 | 0:25:39 | 12594 | failed install-port |
| 10.6.x86_64 | 40167 | 2020-12-02 3:46:32 | 0:13:55 | 12602 | failed install-port |
| 11.arm64 | 4145 | 2020-12-02 2:49:43 | 0:00:21 | 671 | failed install-dependencies |
| 10.6.x86_64 | 38249 | 2020-11-05 17:53:15 | 0:14:01 | 11782 | failed install-port |
| 10.7 | 34368 | 2020-11-05 17:35:12 | 0:23:53 | 11769 | build successful |
| 10.11 | 125055 | 2020-11-05 17:34:09 | 0:28:32 | 39331 | build successful |
| 10.8 | 29240 | 2020-11-05 17:33:05 | 0:30:14 | 9635 | build successful |
| 10.14 | 70821 | 2020-11-05 17:32:00 | 0:29:34 | 21015 | build successful |
| 10.15 | 41844 | 2020-11-05 17:30:38 | 0:18:37 | 10568 | build successful |
| 10.6 | 19924 | 2020-11-05 17:29:28 | 0:27:54 | 11773 | failed install-port |
| 10.10 | 126721 | 2020-11-05 17:27:35 | 0:24:04 | 39387 | build successful |
| 10.13 | 94909 | 2020-11-05 17:26:44 | 0:24:09 | 30289 | build successful |
| 10.12 | 130281 | 2020-11-05 17:25:45 | 0:18:11 | 38329 | build successful |
| 10.9 | 130356 | 2020-11-05 17:24:47 | 0:17:20 | 39338 | build successful |
| 10.8 | 20413 | 2020-07-01 0:05:54 | 0:18:45 | 5620 | build successful |
| 10.12 | 120288 | 2020-06-29 4:34:14 | 0:16:26 | 33089 | build successful |
| 10.7 | 24937 | 2020-06-28 18:12:46 | 0:15:28 | 7415 | build successful |
| 10.6 | 14272 | 2020-06-26 4:19:19 | 0:00:16 | 7757 | build successful |
| 10.14 | 62326 | 2020-06-26 3:40:31 | 0:27:15 | 17000 | build successful |
| 10.11 | 116514 | 2020-06-26 3:39:29 | 0:26:21 | 35317 | build successful |
| 10.15 | 33103 | 2020-06-26 3:38:33 | 0:22:25 | 6551 | build successful |
| 10.13 | 86439 | 2020-06-26 3:37:40 | 0:26:09 | 26272 | build successful |
| 10.10 | 118105 | 2020-06-26 3:36:44 | 0:26:37 | 35374 | build successful |
| 10.9 | 121589 | 2020-06-26 3:35:34 | 0:23:15 | 35326 | build successful |
| 10.6.x86_64 | 29050 | 2020-06-26 3:33:18 | 0:21:56 | 7765 | build successful |
| 10.7 | 23469 | 2020-06-22 22:47:56 | 0:18:05 | 6526 | build successful |
| 10.8 | 16192 | 2020-06-14 21:50:55 | 0:15:00 | 4392 | build successful |
| 10.10 | 116235 | 2020-06-13 1:26:44 | 0:13:44 | 34150 | build successful |
| 10.13 | 83816 | 2020-05-13 21:07:04 | 0:15:09 | 25046 | build successful |
| 10.6 | 12898 | 2020-05-13 17:59:50 | 0:25:43 | 6525 | build successful |
| 10.15 | 30463 | 2020-05-13 15:13:30 | 0:20:56 | 5317 | build successful |
| 10.11 | 113901 | 2020-05-13 14:50:12 | 0:28:18 | 34086 | build successful |
| 10.14 | 59696 | 2020-05-13 14:01:25 | 0:34:02 | 15771 | build successful |
| 10.9 | 118916 | 2020-05-13 14:00:52 | 0:53:43 | 34096 | build successful |
| 10.6.x86_64 | 26272 | 2020-05-13 14:00:10 | 0:36:58 | 6526 | build successful |
| 10.6 | 10197 | 2020-03-26 19:25:05 | 0:08:09 | 4480 | failed install-port |
| 10.6 | 10043 | 2020-03-19 2:18:49 | 0:10:42 | 4354 | failed install-port |
| 10.6 | 10038 | 2020-03-19 0:51:41 | 0:10:35 | 4353 | failed install-port |
| 10.6.x86_64 | 20497 | 2020-02-21 22:21:28 | 0:33:31 | 4482 | build successful |
| 10.6.x86_64 | 20067 | 2020-02-18 1:27:13 | 0:11:08 | 4356 | failed install-port |
| 10.6.x86_64 | 20061 | 2020-02-18 0:54:29 | 0:10:50 | 4355 | failed install-port |
| 10.6 | 8693 | 2020-01-27 15:11:05 | 0:08:00 | 3767 | failed install-port |
| 10.6.x86_64 | 16921 | 2020-01-27 13:43:39 | 0:10:49 | 3752 | failed install-port |
| 10.6 | 7317 | 2020-01-14 3:42:08 | 0:26:09 | 3411 | failed install-port |
| 10.11 | 105808 | 2020-01-13 21:34:49 | 0:42:54 | 30998 | build successful |
| 10.13 | 75634 | 2020-01-13 21:34:15 | 0:32:43 | 21955 | build successful |
| 10.15 | 20779 | 2020-01-13 21:33:39 | 0:42:20 | 2221 | build successful |
| 10.9 | 109913 | 2020-01-13 21:33:01 | 0:51:25 | 30988 | build successful |
| 10.14 | 50415 | 2020-01-13 21:32:16 | 0:31:09 | 12675 | build successful |
| 10.12 | 110911 | 2020-01-13 21:31:39 | 0:29:37 | 29980 | build successful |
| 10.10 | 107334 | 2020-01-13 21:31:05 | 0:36:56 | 31046 | build successful |
| 10.8 | 12577 | 2020-01-13 21:30:35 | 0:49:36 | 3389 | build successful |
| 10.7 | 13990 | 2020-01-13 21:30:01 | 0:48:19 | 3392 | build successful |
| 10.6.x86_64 | 14897 | 2020-01-13 21:29:30 | 0:26:52 | 3395 | failed install-port |
| 10.15 | 15816 | 2019-12-22 19:35:15 | 0:18:24 | 1651 | build successful |
| 10.6 | 2163 | 2019-11-04 7:01:07 | 0:21:05 | 666 | failed install-port |
| 10.6.x86_64 | 4251 | 2019-11-01 16:17:30 | 0:11:03 | 668 | failed install-port |
| 10.13 | 65422 | 2019-10-01 7:25:16 | 0:23:27 | 18897 | build successful |
| 10.11 | 95717 | 2019-10-01 6:55:34 | 0:24:31 | 27937 | build successful |
| 10.12 | 100129 | 2019-10-01 6:53:24 | 0:21:46 | 26918 | build successful |
| 10.9 | 98833 | 2019-10-01 5:28:49 | 0:28:36 | 27923 | build successful |
| 10.14 | 39695 | 2019-10-01 4:46:57 | 0:22:49 | 9613 | build successful |
| 10.10 | 96261 | 2019-10-01 4:14:46 | 0:35:33 | 27979 | build successful |
| 10.12 | 99641 | 2019-09-26 22:10:45 | 0:24:47 | 26772 | build successful |
| 10.10 | 95784 | 2019-09-25 18:44:22 | 0:28:28 | 27835 | build successful |
| 10.13 | 64955 | 2019-09-25 18:43:56 | 0:29:35 | 18753 | build successful |
| 10.11 | 95235 | 2019-09-25 18:43:30 | 0:40:16 | 27793 | build successful |
| 10.14 | 39229 | 2019-09-25 18:42:54 | 0:23:41 | 9469 | build successful |
| 10.9 | 98357 | 2019-09-25 18:42:32 | 0:39:26 | 27779 | build successful |
| 10.11 | 95230 | 2019-09-25 16:46:20 | 0:04:44 | 27792 | failed install-port |
| 10.10 | 95779 | 2019-09-25 16:45:58 | 0:04:56 | 27834 | failed install-port |
| 10.13 | 64950 | 2019-09-25 16:45:33 | 0:04:41 | 18752 | failed install-port |
| 10.14 | 39224 | 2019-09-25 16:45:09 | 0:04:04 | 9468 | failed install-port |
| 10.9 | 98352 | 2019-09-25 16:44:46 | 0:04:36 | 27778 | failed install-port |