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.4 License: MIT
GitHub
573 build(s) found
Page 3 of 6 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.12 | 262897 | 2024-02-28 10:56:02 | 0:42:28 | 81835 | build successful |
| 10.6 | 155651 | 2024-02-28 10:54:43 | 0:44:37 | 55577 | build successful |
| 10.10 | 258719 | 2024-02-28 10:49:22 | 0:56:25 | 82941 | build successful |
| 10.13 | 223162 | 2024-02-28 10:47:04 | 1:15:48 | 73893 | build successful |
| 10.6.x86_64 | 191271 | 2024-02-28 10:45:54 | 0:37:56 | 55622 | build successful |
| 13 | 59887 | 2024-01-27 5:05:39 | 0:20:15 | 16759 | build successful |
| 14 | 27862 | 2024-01-26 5:30:42 | 0:19:27 | 4927 | build successful |
| 14.arm64 | 12921 | 2024-01-25 22:18:26 | 0:12:15 | 4578 | build successful |
| 12.arm64 | 116697 | 2024-01-25 5:04:04 | 0:08:40 | 30922 | build successful |
| 10.7 | 175220 | 2024-01-25 3:44:58 | 0:39:32 | 53914 | build successful |
| 13.arm64 | 48620 | 2024-01-24 18:26:42 | 0:11:42 | 16492 | build successful |
| 10.13 | 219051 | 2024-01-24 17:32:04 | 0:45:17 | 72451 | build successful |
| 11 | 140951 | 2024-01-24 16:29:31 | 0:43:15 | 42120 | build successful |
| 10.11 | 249697 | 2024-01-24 16:01:30 | 0:43:14 | 81609 | build successful |
| 12 | 94930 | 2024-01-24 15:57:08 | 0:52:56 | 30883 | build successful |
| 10.14 | 194084 | 2024-01-24 15:49:35 | 0:56:05 | 63202 | build successful |
| 10.15 | 170050 | 2024-01-24 15:43:34 | 0:45:51 | 52191 | build successful |
| 10.12 | 258879 | 2024-01-24 15:34:58 | 0:47:18 | 80395 | build successful |
| 10.10 | 254347 | 2024-01-24 14:35:54 | 0:55:25 | 81502 | build successful |
| 10.8 | 162768 | 2024-01-24 14:15:32 | 0:44:23 | 51976 | build successful |
| 10.6.x86_64 | 186548 | 2024-01-24 14:14:05 | 0:43:11 | 54179 | build successful |
| 10.9 | 261155 | 2024-01-24 14:10:44 | 0:53:31 | 81182 | build successful |
| 10.6 | 151094 | 2024-01-24 13:58:33 | 0:40:46 | 54134 | build successful |
| 14.arm64 | 1214 | 2024-01-09 18:59:23 | 0:09:09 | 124 | build successful |
| 14 | 20147 | 2023-12-21 18:52:03 | 0:21:12 | 3188 | build successful |
| 12 | 91226 | 2023-12-20 20:35:19 | 0:41:26 | 29425 | build successful |
| 13 | 57431 | 2023-12-20 6:54:14 | 0:20:00 | 15157 | build successful |
| 10.14 | 190157 | 2023-12-20 0:51:07 | 0:42:58 | 61693 | build successful |
| 10.15 | 166087 | 2023-12-19 14:35:51 | 0:48:59 | 50682 | build successful |
| 11 | 136933 | 2023-12-19 13:18:39 | 0:41:24 | 40607 | build successful |
| 10.6 | 146598 | 2023-12-19 2:42:44 | 0:26:30 | 52623 | build successful |
| 11.arm64 | 110840 | 2023-12-19 1:55:26 | 0:09:19 | 40611 | build successful |
| 12.arm64 | 114056 | 2023-12-19 0:47:05 | 0:09:19 | 29412 | build successful |
| 10.10 | 249872 | 2023-12-18 23:33:19 | 1:09:29 | 79978 | build successful |
| 10.8 | 158478 | 2023-12-18 23:27:22 | 1:00:18 | 50460 | build successful |
| 10.13 | 214841 | 2023-12-18 23:22:38 | 1:20:36 | 70936 | build successful |
| 10.7 | 170682 | 2023-12-18 23:19:49 | 0:57:10 | 52402 | build successful |
| 10.9 | 256677 | 2023-12-18 23:11:51 | 1:00:35 | 79670 | build successful |
| 10.6.x86_64 | 182016 | 2023-12-18 23:06:54 | 0:50:51 | 52665 | build successful |
| 10.11 | 245715 | 2023-12-18 23:02:33 | 1:05:47 | 80091 | build successful |
| 10.12 | 254568 | 2023-12-18 22:51:42 | 0:37:46 | 78884 | build successful |
| 13.arm64 | 45463 | 2023-12-18 22:08:05 | 0:09:03 | 15029 | build successful |
| 14 | 1481 | 2023-10-18 15:45:48 | 0:24:34 | 124 | build successful |
| 11.arm64 | 105456 | 2023-10-12 7:48:19 | 0:11:54 | 38129 | build successful |
| 12.arm64 | 108839 | 2023-10-12 2:23:24 | 0:08:33 | 26923 | build successful |
| 10.13 | 207967 | 2023-10-11 22:16:38 | 0:39:16 | 68465 | build successful |
| 10.14 | 183355 | 2023-10-11 20:29:03 | 1:10:05 | 59223 | build successful |
| 10.6 | 139228 | 2023-10-11 20:14:21 | 0:53:02 | 50152 | build successful |
| 10.11 | 238545 | 2023-10-11 20:14:05 | 1:07:32 | 77621 | build successful |
| 10.12 | 247304 | 2023-10-11 20:13:52 | 0:42:36 | 76414 | build successful |
| 11 | 130253 | 2023-10-11 20:13:42 | 0:46:32 | 38132 | build successful |
| 10.15 | 159091 | 2023-10-11 20:13:30 | 1:10:15 | 48211 | build successful |
| 10.6.x86_64 | 174551 | 2023-10-11 20:13:18 | 0:51:20 | 50193 | build successful |
| 10.8 | 151253 | 2023-10-11 20:12:52 | 1:05:13 | 47989 | build successful |
| 10.7 | 163200 | 2023-10-11 20:12:34 | 1:02:50 | 49932 | build successful |
| 10.10 | 242429 | 2023-10-11 20:12:23 | 1:12:36 | 77509 | build successful |
| 12 | 84828 | 2023-10-11 20:12:15 | 1:18:43 | 26928 | build successful |
| 10.9 | 249036 | 2023-10-11 20:12:01 | 1:00:28 | 77200 | build successful |
| 13 | 52398 | 2023-10-11 20:11:43 | 0:25:25 | 12687 | build successful |
| 13.arm64 | 38488 | 2023-10-11 20:11:29 | 0:12:11 | 12552 | build successful |
| 11.arm64 | 95330 | 2023-06-13 18:14:17 | 0:08:46 | 33708 | build successful |
| 12.arm64 | 97991 | 2023-06-13 16:41:45 | 0:08:44 | 22522 | build successful |
| 10.14 | 170071 | 2023-06-13 13:43:42 | 0:19:18 | 54813 | build successful |
| 10.13 | 195341 | 2023-06-13 12:41:08 | 0:33:55 | 64050 | build successful |
| 10.11 | 225547 | 2023-06-13 12:11:20 | 0:41:59 | 73175 | build successful |
| 10.6.x86_64 | 158208 | 2023-06-13 11:49:50 | 0:32:42 | 45733 | build successful |
| 12 | 72952 | 2023-06-13 11:31:58 | 0:57:36 | 22520 | build successful |
| 10.7 | 147894 | 2023-06-13 11:30:02 | 0:58:35 | 45474 | build successful |
| 10.10 | 228900 | 2023-06-13 11:29:40 | 0:56:23 | 73053 | build successful |
| 10.12 | 234413 | 2023-06-13 11:28:10 | 0:35:01 | 71973 | build successful |
| 10.9 | 235034 | 2023-06-13 11:27:38 | 0:50:07 | 72748 | build successful |
| 11 | 117667 | 2023-06-13 11:27:36 | 0:35:38 | 33720 | build successful |
| 10.8 | 137561 | 2023-06-13 11:26:21 | 0:51:50 | 43536 | build successful |
| 10.15 | 145259 | 2023-06-13 11:25:47 | 0:49:48 | 43803 | build successful |
| 13 | 37463 | 2023-06-13 11:14:24 | 0:20:24 | 8265 | build successful |
| 10.6 | 123150 | 2023-06-13 11:07:51 | 0:47:06 | 45696 | build successful |
| 13.arm64 | 25361 | 2023-06-13 10:55:01 | 0:09:15 | 8112 | build successful |
| 13.arm64 | 1016 | 2023-02-24 22:43:49 | 0:09:48 | 79 | build successful |
| 11.arm64 | 84459 | 2023-02-20 4:09:54 | 0:08:55 | 28813 | build successful |
| 12.arm64 | 84996 | 2023-02-19 2:18:33 | 0:08:55 | 17629 | build successful |
| 11 | 103685 | 2023-02-18 2:14:32 | 0:32:47 | 29224 | build successful |
| 10.14 | 156301 | 2023-02-18 2:14:17 | 1:08:26 | 50318 | build successful |
| 12 | 59987 | 2023-02-18 2:13:11 | 1:08:43 | 18007 | build successful |
| 10.11 | 211652 | 2023-02-18 2:11:52 | 0:56:21 | 68673 | build successful |
| 10.13 | 181306 | 2023-02-18 2:11:35 | 1:10:44 | 59552 | build successful |
| 10.10 | 214615 | 2023-02-18 2:11:23 | 1:01:12 | 68554 | build successful |
| 10.15 | 130935 | 2023-02-18 2:09:12 | 0:59:45 | 39310 | build successful |
| 13 | 21785 | 2023-02-18 2:08:36 | 0:20:31 | 3765 | build successful |
| 10.12 | 219434 | 2023-02-18 2:08:13 | 0:29:30 | 67474 | build successful |
| 10.6 | 109807 | 2023-02-18 1:52:02 | 1:12:40 | 41217 | build successful |
| 10.6.x86_64 | 144585 | 2023-02-18 1:51:46 | 0:37:45 | 41249 | build successful |
| 10.9 | 220434 | 2023-02-18 1:50:57 | 0:52:04 | 68249 | build successful |
| 10.8 | 123457 | 2023-02-18 1:50:44 | 0:36:32 | 39034 | build successful |
| 10.7 | 134466 | 2023-02-18 1:50:16 | 0:36:10 | 40990 | build successful |
| 13 | 5685 | 2022-12-23 13:43:14 | 0:16:25 | 909 | build successful |
| 10.14 | 131986 | 2022-06-29 14:23:55 | 0:40:52 | 41637 | build successful |
| 10.6 | 80497 | 2022-06-29 3:36:11 | 1:17:32 | 32496 | build successful |
| 10.6.x86_64 | 113861 | 2022-06-28 19:03:33 | 1:01:23 | 32509 | build successful |
| 11.arm64 | 59679 | 2022-06-28 18:23:56 | 0:08:38 | 20479 | build successful |
| 12 | 34561 | 2022-06-28 10:09:44 | 0:34:44 | 9304 | build successful |