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 5 of 6 | Showing build(s) 401 to 500
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.11 | 144564 | 2021-06-14 15:48:30 | 0:06:01 | 46653 | failed install-port |
| 10.10 | 145970 | 2021-06-14 14:38:57 | 0:05:01 | 46720 | failed install-port |
| 10.6.x86_64 | 59872 | 2021-06-14 14:13:51 | 0:06:10 | 19079 | failed install-port |
| 10.7 | 56319 | 2021-06-14 14:07:55 | 0:05:26 | 19119 | failed install-port |
| 10.8 | 49796 | 2021-06-14 14:01:07 | 0:06:05 | 16981 | failed install-port |
| 10.9 | 150063 | 2021-06-14 13:55:09 | 0:08:15 | 46400 | failed install-port |
| 10.6 | 33029 | 2021-06-08 11:01:27 | 0:07:03 | 18797 | failed install-port |
| 10.6.x86_64 | 58869 | 2021-06-08 10:39:57 | 0:06:16 | 18763 | failed install-port |
| 10.14 | 88367 | 2021-06-04 13:12:09 | 0:22:14 | 27829 | build successful |
| 10.15 | 59731 | 2021-06-04 1:16:19 | 0:25:32 | 16825 | build successful |
| 11 | 32804 | 2021-06-04 0:29:18 | 0:17:28 | 6632 | build successful |
| 10.11 | 143123 | 2021-06-03 23:24:42 | 0:05:36 | 46178 | failed install-port |
| 10.11 | 143119 | 2021-06-03 22:56:32 | 0:06:09 | 46175 | failed install-port |
| 10.10 | 144637 | 2021-06-03 22:55:27 | 0:06:57 | 46244 | failed install-port |
| 10.13 | 112679 | 2021-06-03 22:46:02 | 0:26:53 | 37120 | build successful |
| 10.10 | 144633 | 2021-06-03 22:24:23 | 0:05:50 | 46241 | failed install-port |
| 10.7 | 54815 | 2021-06-03 22:11:11 | 0:05:38 | 18643 | failed install-port |
| 10.9 | 148733 | 2021-06-03 22:05:13 | 0:06:35 | 45924 | failed install-port |
| 10.12 | 148203 | 2021-06-03 21:49:37 | 0:17:32 | 45167 | build successful |
| 10.6.x86_64 | 58349 | 2021-06-03 21:35:38 | 0:01:02 | 18604 | failed install-dependencies |
| 10.9 | 148727 | 2021-06-03 21:23:17 | 0:07:39 | 45921 | failed install-port |
| 10.8 | 48378 | 2021-06-03 21:15:02 | 0:06:12 | 16504 | failed install-port |
| 10.6 | 32588 | 2021-06-03 20:38:25 | 0:01:10 | 18635 | failed install-dependencies |
| 10.8 | 48371 | 2021-06-03 20:26:03 | 0:06:51 | 16501 | failed install-port |
| 11.arm64 | 21673 | 2021-06-03 18:15:56 | 0:05:27 | 6806 | build successful |
| 10.6 | 30703 | 2021-05-07 23:21:11 | 0:01:23 | 17681 | failed install-dependencies |
| 10.6.x86_64 | 55463 | 2021-05-07 19:07:49 | 0:01:17 | 17647 | failed install-dependencies |
| 11 | 18118 | 2021-01-29 20:31:40 | 0:01:07 | 2410 | build successful |
| 10.14 | 77969 | 2021-01-27 23:12:08 | 0:32:13 | 23623 | build successful |
| 10.6 | 25358 | 2021-01-27 23:11:49 | 0:29:23 | 14430 | failed install-port |
| 10.8 | 36935 | 2021-01-27 23:11:31 | 0:31:29 | 12279 | build successful |
| 10.11 | 132363 | 2021-01-27 23:11:17 | 0:26:07 | 41970 | build successful |
| 10.12 | 137398 | 2021-01-27 23:11:00 | 0:28:07 | 40962 | build successful |
| 10.15 | 49690 | 2021-01-27 23:10:29 | 0:27:48 | 13207 | build successful |
| 10.13 | 102157 | 2021-01-27 23:09:56 | 0:32:14 | 32930 | build successful |
| 10.10 | 133927 | 2021-01-27 23:09:38 | 0:30:17 | 42028 | build successful |
| 10.7 | 42639 | 2021-01-27 23:09:13 | 0:32:01 | 14421 | build successful |
| 10.6.x86_64 | 46926 | 2021-01-27 23:08:47 | 0:25:12 | 14443 | failed install-port |
| 10.9 | 137747 | 2021-01-27 23:07:58 | 0:28:44 | 41979 | build successful |
| 11.arm64 | 10222 | 2021-01-27 23:07:18 | 0:08:41 | 2553 | build successful |
| 11.arm64 | 8777 | 2021-01-14 23:57:25 | 0:07:57 | 2061 | build successful |
| 11.arm64 | 8557 | 2021-01-12 16:01:50 | 0:00:18 | 1953 | failed install-dependencies |
| 11.arm64 | 8555 | 2021-01-12 16:00:01 | 0:00:19 | 1952 | failed install-dependencies |
| 11.arm64 | 8445 | 2021-01-10 14:47:15 | 0:00:19 | 1907 | failed install-dependencies |
| 10.6 | 23045 | 2021-01-03 4:57:59 | 0:25:16 | 13586 | failed install-port |
| 10.6.x86_64 | 43356 | 2021-01-03 2:54:19 | 0:12:49 | 13595 | failed install-port |
| 11.arm64 | 7167 | 2021-01-03 2:43:31 | 0:00:19 | 1670 | failed install-dependencies |
| 10.6 | 23028 | 2021-01-03 1:56:10 | 0:28:02 | 13584 | failed install-port |
| 11.arm64 | 7115 | 2021-01-03 1:50:40 | 0:00:19 | 1668 | failed install-dependencies |
| 10.6.x86_64 | 43339 | 2021-01-03 1:50:38 | 0:14:48 | 13593 | failed install-port |
| 11 | 8789 | 2020-12-21 3:28:08 | 0:16:15 | 1041 | build successful |
| 10.9 | 133610 | 2020-12-16 18:16:48 | 0:00:47 | 40615 | build successful |
| 10.8 | 32619 | 2020-12-16 17:58:00 | 0:27:10 | 10914 | build successful |
| 10.14 | 74085 | 2020-12-16 17:56:21 | 0:26:07 | 22290 | build successful |
| 10.15 | 45441 | 2020-12-16 17:55:36 | 0:20:25 | 11844 | build successful |
| 10.12 | 133381 | 2020-12-16 17:54:35 | 0:31:15 | 39605 | build successful |
| 10.10 | 129863 | 2020-12-16 17:53:50 | 0:29:59 | 40665 | build successful |
| 10.13 | 98120 | 2020-12-16 17:53:04 | 0:30:05 | 31566 | build successful |
| 10.7 | 37892 | 2020-12-16 17:52:21 | 0:31:17 | 13050 | build successful |
| 10.11 | 128187 | 2020-12-16 17:51:10 | 0:19:00 | 40609 | build successful |
| 10.6 | 22013 | 2020-12-16 17:50:17 | 0:29:50 | 13054 | failed install-port |
| 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 |