z3 (math/z3) Updated: 4 months, 1 week ago Add to my watchlist
Z3 Theorem ProverHigh performance SMT solver from Microsoft Research.
Version: 4.13.4 License: MIT
GitHub
499 build(s) found
Page 3 of 5 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 11 | 77111 | 2022-06-28 10:09:10 | 0:23:47 | 20531 | build successful |
| 12.arm64 | 56939 | 2022-06-28 10:06:49 | 0:08:22 | 9303 | build successful |
| 10.15 | 104669 | 2022-06-28 9:41:56 | 0:39:54 | 30631 | build successful |
| 10.8 | 95212 | 2022-06-28 9:40:57 | 0:52:19 | 30334 | build successful |
| 10.13 | 155442 | 2022-06-28 9:40:42 | 0:57:35 | 50865 | build successful |
| 10.11 | 187150 | 2022-06-28 9:40:22 | 0:39:51 | 59978 | build successful |
| 10.7 | 105366 | 2022-06-28 9:40:13 | 0:49:42 | 32282 | build successful |
| 10.10 | 188179 | 2022-06-28 9:40:04 | 0:51:22 | 59861 | build successful |
| 10.12 | 191424 | 2022-06-28 9:39:56 | 0:21:49 | 58780 | build successful |
| 10.9 | 193396 | 2022-06-28 9:39:48 | 0:41:54 | 59553 | build successful |
| 10.14 | 122850 | 2022-03-31 18:02:14 | 0:45:56 | 38589 | build successful |
| 12.arm64 | 46378 | 2022-03-30 13:55:05 | 0:12:16 | 6241 | build successful |
| 10.11 | 177468 | 2022-03-30 13:28:37 | 0:51:42 | 56922 | build successful |
| 10.10 | 178693 | 2022-03-30 13:27:32 | 0:56:36 | 56812 | build successful |
| 12 | 25388 | 2022-03-30 13:27:11 | 0:51:30 | 6257 | build successful |
| 10.8 | 84680 | 2022-03-30 13:26:18 | 0:56:50 | 27282 | build successful |
| 10.9 | 183586 | 2022-03-30 13:26:05 | 0:47:39 | 56503 | build successful |
| 10.6 | 63874 | 2022-03-30 13:26:05 | 1:02:42 | 29412 | build successful |
| 11 | 68173 | 2022-03-30 13:25:46 | 0:31:46 | 17474 | build successful |
| 10.6.x86_64 | 98116 | 2022-03-30 13:25:17 | 0:55:01 | 29374 | build successful |
| 10.15 | 95449 | 2022-03-30 13:25:11 | 0:54:15 | 27589 | build successful |
| 10.7 | 93792 | 2022-03-30 13:24:43 | 0:54:08 | 29229 | build successful |
| 10.13 | 146394 | 2022-03-30 13:24:02 | 1:01:54 | 47817 | build successful |
| 10.12 | 182152 | 2022-03-30 13:22:39 | 0:30:54 | 55732 | build successful |
| 11.arm64 | 49856 | 2022-03-30 13:18:37 | 0:08:26 | 17416 | build successful |
| 10.8 | 72937 | 2022-01-04 17:00:09 | 0:01:02 | 24073 | build successful |
| 12 | 9940 | 2022-01-04 5:03:37 | 0:45:56 | 2963 | build successful |
| 11 | 58769 | 2022-01-03 13:41:53 | 0:19:44 | 14174 | build successful |
| 11.arm64 | 39754 | 2022-01-03 13:22:51 | 0:09:27 | 14366 | build successful |
| 10.7 | 80988 | 2022-01-03 13:17:16 | 0:47:02 | 26192 | build successful |
| 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 |