z3 (math/z3) Updated: 1 week, 3 days ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.13.3 License: MIT
GitHub
424 build(s) found
Page 1 of 5 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14 | 51412 | 2024-11-12 9:44:50 | 0:14:17 | 15737 | build successful |
| 14.arm64 | 46325 | 2024-11-12 7:48:38 | 0:09:51 | 15372 | build successful |
| 13 | 81809 | 2024-11-12 5:56:37 | 0:14:24 | 27532 | build successful |
| 12.arm64 | 140950 | 2024-11-12 5:31:54 | 0:09:39 | 41681 | build successful |
| 12 | 122554 | 2024-11-12 4:43:38 | 0:41:27 | 41795 | build successful |
| 10.15 | 199942 | 2024-11-12 1:09:15 | 0:51:01 | 62966 | build successful |
| 13.arm64 | 74534 | 2024-11-12 0:13:08 | 0:10:03 | 27282 | build successful |
| 10.8 | 194600 | 2024-11-12 0:02:37 | 0:53:15 | 62747 | build successful |
| 10.9 | 294368 | 2024-11-11 23:40:56 | 0:44:44 | 91953 | build successful |
| 10.14 | 222873 | 2024-11-11 23:21:37 | 1:07:38 | 73902 | build successful |
| 10.7 | 208594 | 2024-11-11 22:29:04 | 0:46:07 | 64706 | build successful |
| 10.6 | 185617 | 2024-11-11 21:08:20 | 0:15:22 | 64994 | failed install-port |
| 15 | 20035 | 2024-11-11 21:04:27 | 0:14:57 | 3189 | build successful |
| 10.11 | 280583 | 2024-11-11 19:59:26 | 0:46:52 | 92444 | build successful |
| 10.10 | 287009 | 2024-11-11 16:24:44 | 1:08:18 | 92283 | build successful |
| 10.6.x86_64 | 221364 | 2024-11-11 15:53:43 | 0:57:09 | 65044 | build successful |
| 11 | 171223 | 2024-11-11 15:03:14 | 0:44:15 | 52911 | build successful |
| 10.13 | 248896 | 2024-11-11 14:31:39 | 1:32:13 | 83259 | build successful |
| 10.12 | 290403 | 2024-11-11 13:39:52 | 0:40:47 | 91195 | build successful |
| 15 | 439 | 2024-09-27 11:46:56 | 0:12:46 | 17 | build successful |
| 12 | 110985 | 2024-06-12 8:49:55 | 0:44:13 | 36618 | build successful |
| 10.14 | 211399 | 2024-06-12 8:28:50 | 0:46:44 | 68758 | build successful |
| 10.13 | 237148 | 2024-06-12 8:12:31 | 0:46:07 | 78087 | build successful |
| 10.8 | 181434 | 2024-06-11 23:10:28 | 1:05:16 | 57548 | build successful |
| 10.7 | 194780 | 2024-06-11 23:00:47 | 1:06:43 | 59495 | build successful |
| 10.10 | 273729 | 2024-06-11 22:37:53 | 1:11:04 | 87081 | build successful |
| 14 | 41229 | 2024-06-11 18:17:37 | 0:27:32 | 10597 | build successful |
| 10.15 | 188232 | 2024-06-11 11:49:36 | 0:47:01 | 57826 | build successful |
| 10.9 | 280863 | 2024-06-11 11:38:06 | 0:45:41 | 86754 | build successful |
| 10.11 | 268018 | 2024-06-11 10:08:24 | 0:57:22 | 87243 | build successful |
| 10.12 | 277479 | 2024-06-11 5:24:01 | 0:43:26 | 85961 | build successful |
| 11 | 159069 | 2024-06-11 5:04:25 | 0:47:02 | 47754 | build successful |
| 12.arm64 | 130351 | 2024-06-11 4:59:24 | 0:09:08 | 36519 | build successful |
| 13 | 72112 | 2024-06-11 3:29:08 | 0:28:10 | 22398 | build successful |
| 13.arm64 | 64135 | 2024-06-10 20:04:48 | 0:09:17 | 22140 | build successful |
| 10.6 | 170210 | 2024-06-10 13:47:32 | 1:08:39 | 59734 | build successful |
| 14.arm64 | 33688 | 2024-06-10 13:47:13 | 0:10:27 | 10236 | build successful |
| 10.6.x86_64 | 205832 | 2024-06-10 13:46:40 | 1:08:05 | 59778 | build successful |
| 13.arm64 | 51718 | 2024-02-29 20:09:26 | 0:09:40 | 17992 | build successful |
| 14 | 31617 | 2024-02-28 23:15:53 | 0:27:02 | 6433 | build successful |
| 14.arm64 | 18911 | 2024-02-28 21:23:36 | 0:09:59 | 6104 | build successful |
| 12 | 99005 | 2024-02-28 12:52:37 | 1:05:12 | 32374 | build successful |
| 12.arm64 | 119412 | 2024-02-28 12:39:04 | 0:09:42 | 32360 | build successful |
| 10.11 | 253681 | 2024-02-28 11:30:20 | 0:54:37 | 83049 | build successful |
| 10.9 | 265700 | 2024-02-28 11:25:42 | 0:58:46 | 82626 | build successful |
| 10.7 | 179795 | 2024-02-28 11:24:45 | 0:56:56 | 55359 | build successful |
| 10.14 | 198000 | 2024-02-28 11:11:23 | 1:07:36 | 64644 | build successful |
| 13 | 62941 | 2024-02-28 11:08:01 | 0:28:32 | 18252 | build successful |
| 11 | 144917 | 2024-02-28 11:02:46 | 1:00:08 | 43562 | build successful |
| 10.15 | 174030 | 2024-02-28 11:02:28 | 1:09:14 | 53634 | build successful |
| 10.8 | 167154 | 2024-02-28 11:00:04 | 1:03:09 | 53417 | build successful |
| 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 |