z3 (math/z3) Updated: 2 weeks, 2 days ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.13.4 License: MIT
GitHub
443 build(s) found
Page 3 of 5 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.14 | 111830 | 2022-01-03 13:07:20 | 0:29:02 | 35366 | build successful |
| 10.11 | 166212 | 2022-01-03 12:52:49 | 0:36:34 | 53714 | build successful |
| 10.15 | 84339 | 2022-01-03 12:52:28 | 0:37:02 | 24359 | build successful |
| 10.13 | 135286 | 2022-01-03 12:44:22 | 0:25:56 | 44655 | build successful |
| 10.8 | 72868 | 2022-01-03 12:30:03 | 1:25:03 | 24049 | failed install-port |
| 10.12 | 171030 | 2022-01-03 12:27:16 | 0:22:28 | 52702 | build successful |
| 10.9 | 172215 | 2022-01-03 12:21:38 | 0:33:49 | 53465 | build successful |
| 10.10 | 167500 | 2022-01-03 12:12:04 | 0:29:51 | 53779 | build successful |
| 12.arm64 | 34911 | 2022-01-03 12:02:44 | 0:09:16 | 3184 | build successful |
| 10.6 | 49829 | 2022-01-03 12:02:28 | 0:40:20 | 26186 | build successful |
| 10.6.x86_64 | 85082 | 2022-01-03 12:01:15 | 0:27:30 | 26161 | build successful |
| 10.8 | 69419 | 2021-12-01 13:57:54 | 0:01:19 | 22746 | build successful |
| 12 | 3138 | 2021-11-24 1:00:06 | 0:33:26 | 475 | build successful |
| 11.arm64 | 35199 | 2021-11-23 10:27:15 | 0:09:20 | 12667 | build successful |
| 12.arm64 | 24802 | 2021-11-22 15:01:38 | 0:10:10 | 1456 | build successful |
| 10.11 | 161530 | 2021-11-22 10:11:45 | 0:55:28 | 52022 | build successful |
| 10.12 | 166255 | 2021-11-22 10:10:53 | 0:32:48 | 51008 | build successful |
| 10.13 | 130659 | 2021-11-22 10:10:08 | 0:57:43 | 42962 | build successful |
| 10.10 | 162885 | 2021-11-22 10:09:29 | 0:55:41 | 52086 | build successful |
| 10.9 | 167574 | 2021-11-22 10:08:46 | 1:02:57 | 51771 | build successful |
| 11 | 53663 | 2021-11-22 10:08:08 | 0:34:44 | 12479 | build successful |
| 10.14 | 107029 | 2021-11-22 10:07:26 | 0:58:39 | 33672 | build successful |
| 10.7 | 76029 | 2021-11-22 10:06:48 | 1:18:58 | 24495 | build successful |
| 10.15 | 78822 | 2021-11-22 10:06:04 | 0:58:27 | 22663 | build successful |
| 10.6 | 45362 | 2021-11-22 10:04:49 | 1:05:00 | 24491 | build successful |
| 10.8 | 68230 | 2021-11-22 10:03:06 | 1:53:55 | 22353 | failed install-port |
| 10.6.x86_64 | 80628 | 2021-11-22 10:01:24 | 0:42:19 | 24464 | build successful |
| 12 | 2579 | 2021-11-19 13:06:17 | 0:32:37 | 254 | build successful |
| 12.arm64 | 3845 | 2021-11-03 20:47:47 | 0:10:10 | 254 | build successful |
| 10.6 | 38643 | 2021-08-26 0:00:38 | 1:24:23 | 21219 | build successful |
| 10.6.x86_64 | 71007 | 2021-08-25 23:59:22 | 0:47:50 | 21190 | build successful |
| 10.11 | 151789 | 2021-08-25 19:49:47 | 0:42:27 | 48744 | build successful |
| 10.6 | 38629 | 2021-08-25 19:17:51 | 0:06:37 | 21208 | failed install-port |
| 10.6.x86_64 | 70976 | 2021-08-25 19:15:55 | 0:06:35 | 21179 | failed install-port |
| 10.7 | 66056 | 2021-08-25 19:14:21 | 0:38:25 | 21215 | build successful |
| 10.8 | 58517 | 2021-08-25 19:06:30 | 0:39:59 | 19074 | build successful |
| 10.12 | 156707 | 2021-08-25 19:03:44 | 0:40:38 | 47732 | build successful |
| 10.9 | 157405 | 2021-08-25 19:02:58 | 1:01:40 | 48491 | build successful |
| 10.10 | 153163 | 2021-08-25 18:55:15 | 0:21:54 | 48807 | build successful |
| 10.6 | 38624 | 2021-08-25 18:53:46 | 0:07:11 | 21207 | failed install-port |
| 10.6.x86_64 | 70970 | 2021-08-25 18:52:02 | 0:06:34 | 21178 | failed install-port |
| 10.11 | 151782 | 2021-08-25 18:48:30 | 0:46:26 | 48742 | failed install-port |
| 10.7 | 66048 | 2021-08-25 18:14:15 | 0:38:53 | 21213 | failed install-port |
| 10.12 | 156700 | 2021-08-25 18:12:59 | 0:37:44 | 47730 | failed install-port |
| 10.8 | 58509 | 2021-08-25 18:12:12 | 0:38:50 | 19072 | failed install-port |
| 10.10 | 153156 | 2021-08-25 18:10:55 | 0:29:53 | 48805 | failed install-port |
| 10.6 | 38619 | 2021-08-25 17:48:01 | 0:07:47 | 21205 | failed install-port |
| 10.6.x86_64 | 70964 | 2021-08-25 17:46:20 | 0:06:33 | 21176 | failed install-port |
| 10.12 | 156694 | 2021-08-25 17:28:20 | 0:33:59 | 47729 | failed install-port |
| 10.6 | 38614 | 2021-08-25 17:25:26 | 0:06:49 | 21204 | failed install-port |
| 10.6.x86_64 | 70958 | 2021-08-25 17:24:33 | 0:06:16 | 21175 | failed install-port |
| 10.7 | 66041 | 2021-08-25 17:23:34 | 0:39:23 | 21212 | failed install-port |
| 10.11 | 151775 | 2021-08-25 17:22:36 | 0:43:38 | 48741 | failed install-port |
| 10.8 | 58502 | 2021-08-25 17:21:21 | 0:37:53 | 19071 | failed install-port |
| 10.10 | 153149 | 2021-08-25 17:20:17 | 0:28:17 | 48804 | failed install-port |
| 10.9 | 157398 | 2021-08-25 17:19:01 | 0:49:17 | 48490 | failed install-port |
| 10.9 | 155476 | 2021-07-30 2:51:04 | 0:06:05 | 47695 | failed install-port |
| 10.15 | 67059 | 2021-07-30 1:28:22 | 0:30:24 | 18592 | build successful |
| 10.7 | 64092 | 2021-07-30 1:26:26 | 0:06:52 | 20420 | failed install-port |
| 10.11 | 149842 | 2021-07-30 1:20:00 | 0:06:05 | 47949 | failed install-port |
| 10.13 | 119149 | 2021-07-30 1:11:04 | 0:37:00 | 38889 | build successful |
| 10.12 | 154759 | 2021-07-30 1:07:01 | 0:34:19 | 46937 | failed install-port |
| 11 | 41728 | 2021-07-30 0:59:32 | 0:30:02 | 8405 | build successful |
| 10.14 | 95679 | 2021-07-30 0:37:17 | 0:25:45 | 29598 | build successful |
| 10.10 | 151220 | 2021-07-29 23:53:15 | 0:05:45 | 48012 | failed install-port |
| 10.8 | 56599 | 2021-07-29 22:59:00 | 0:04:24 | 18279 | failed install-port |
| 10.6.x86_64 | 69215 | 2021-07-29 22:23:14 | 0:05:51 | 20383 | failed install-port |
| 10.6 | 37709 | 2021-07-29 22:21:13 | 0:06:02 | 20412 | failed install-port |
| 11.arm64 | 27117 | 2021-07-29 22:19:36 | 0:13:11 | 8590 | build successful |
| 11 | 40425 | 2021-07-16 14:09:16 | 0:18:30 | 7949 | build successful |
| 10.15 | 65995 | 2021-07-16 6:00:43 | 0:19:20 | 18139 | build successful |
| 10.14 | 94616 | 2021-07-16 3:05:52 | 0:14:47 | 29145 | build successful |
| 10.11 | 148540 | 2021-07-16 2:07:04 | 0:05:23 | 47492 | failed install-port |
| 10.13 | 117864 | 2021-07-16 0:22:58 | 0:15:41 | 38434 | build successful |
| 10.6 | 36576 | 2021-07-15 23:35:54 | 0:06:55 | 19954 | failed install-port |
| 10.9 | 154068 | 2021-07-15 23:08:17 | 0:04:45 | 47238 | failed install-port |
| 10.6.x86_64 | 67413 | 2021-07-15 22:34:00 | 0:06:00 | 19926 | failed install-port |
| 10.10 | 149889 | 2021-07-15 20:42:51 | 0:04:21 | 47556 | failed install-port |
| 10.8 | 55012 | 2021-07-15 20:41:11 | 0:04:42 | 17822 | failed install-port |
| 10.7 | 62044 | 2021-07-15 20:22:24 | 0:05:05 | 19964 | failed install-port |
| 10.12 | 153467 | 2021-07-15 15:31:14 | 0:06:01 | 46481 | failed install-port |
| 11.arm64 | 26173 | 2021-07-15 15:30:55 | 0:06:43 | 8130 | build successful |
| 10.8 | 49926 | 2021-06-15 18:24:53 | 0:07:44 | 17011 | failed install-port |
| 10.6 | 34000 | 2021-06-15 17:53:53 | 0:07:28 | 19139 | failed install-port |
| 10.13 | 114074 | 2021-06-15 16:05:01 | 0:33:17 | 37628 | build successful |
| 10.6.x86_64 | 60033 | 2021-06-15 15:27:41 | 0:06:22 | 19109 | failed install-port |
| 11 | 34413 | 2021-06-15 14:47:03 | 0:28:17 | 7138 | build successful |
| 10.11 | 144692 | 2021-06-15 14:18:19 | 0:06:15 | 46683 | failed install-port |
| 10.9 | 150191 | 2021-06-15 13:55:19 | 0:08:26 | 46430 | failed install-port |
| 10.15 | 61083 | 2021-06-15 13:49:33 | 0:24:42 | 17331 | build successful |
| 10.14 | 89717 | 2021-06-15 13:38:07 | 0:18:44 | 28336 | build successful |
| 10.7 | 56450 | 2021-06-15 13:18:49 | 0:04:11 | 19149 | failed install-port |
| 10.10 | 146101 | 2021-06-15 13:17:40 | 0:04:36 | 46750 | failed install-port |
| 10.12 | 149604 | 2021-06-15 12:50:27 | 0:05:41 | 45675 | failed install-port |
| 11.arm64 | 23335 | 2021-06-15 12:22:48 | 0:07:00 | 7314 | build successful |
| 10.6 | 33862 | 2021-06-14 22:24:10 | 0:09:26 | 19109 | failed install-port |
| 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 |