z3-java (math/z3) Updated: 3 months, 3 weeks ago Add to my watchlist
Java bindings for the Z3 theorem proverJava bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.13.4 License: MIT
GitHub
496 build(s) found
Page 2 of 5 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 151275 | 2024-01-25 20:45:53 | 0:00:13 | 54208 | failed install-dependencies |
| 12.arm64 | 116698 | 2024-01-25 5:12:46 | 0:00:24 | 30922 | build successful |
| 10.7 | 175221 | 2024-01-25 4:24:34 | 0:00:36 | 53914 | build successful |
| 12 | 95063 | 2024-01-25 3:27:01 | 0:02:12 | 30934 | build successful |
| 13.arm64 | 48735 | 2024-01-24 21:15:58 | 0:00:38 | 16543 | build successful |
| 10.13 | 219052 | 2024-01-24 18:17:24 | 0:00:47 | 72451 | build successful |
| 11 | 140952 | 2024-01-24 17:12:48 | 0:00:57 | 42120 | build successful |
| 10.14 | 194085 | 2024-01-24 16:45:44 | 0:01:19 | 63202 | build successful |
| 10.11 | 249698 | 2024-01-24 16:44:48 | 0:00:51 | 81609 | build successful |
| 10.15 | 170051 | 2024-01-24 16:29:30 | 0:01:10 | 52191 | build successful |
| 10.12 | 258880 | 2024-01-24 16:22:18 | 0:00:48 | 80395 | build successful |
| 10.10 | 254354 | 2024-01-24 15:36:00 | 0:00:53 | 81502 | build successful |
| 10.9 | 261162 | 2024-01-24 15:08:15 | 0:00:45 | 81182 | build successful |
| 10.8 | 162775 | 2024-01-24 15:04:53 | 0:00:57 | 51976 | build successful |
| 10.6.x86_64 | 186556 | 2024-01-24 15:02:57 | 0:00:10 | 54179 | failed install-dependencies |
| 10.6 | 151102 | 2024-01-24 14:47:27 | 0:00:16 | 54134 | failed install-dependencies |
| 14.arm64 | 1958 | 2024-01-11 5:56:29 | 0:00:35 | 425 | build successful |
| 14 | 20148 | 2023-12-21 19:13:16 | 0:01:41 | 3188 | build successful |
| 12 | 91227 | 2023-12-20 21:16:51 | 0:01:17 | 29425 | build successful |
| 13 | 57432 | 2023-12-20 7:14:17 | 0:01:30 | 15157 | build successful |
| 10.14 | 190158 | 2023-12-20 1:34:09 | 0:01:27 | 61693 | build successful |
| 10.15 | 166088 | 2023-12-19 15:24:51 | 0:00:51 | 50682 | build successful |
| 11 | 136934 | 2023-12-19 14:00:05 | 0:00:54 | 40607 | build successful |
| 10.6 | 146600 | 2023-12-19 3:09:40 | 0:00:11 | 52623 | failed install-dependencies |
| 11.arm64 | 110841 | 2023-12-19 2:04:49 | 0:00:43 | 40611 | build successful |
| 12.arm64 | 114057 | 2023-12-19 0:56:27 | 0:00:30 | 29412 | build successful |
| 10.13 | 214842 | 2023-12-19 0:43:22 | 0:00:54 | 70936 | build successful |
| 10.10 | 249873 | 2023-12-19 0:42:54 | 0:00:42 | 79978 | build successful |
| 10.8 | 158479 | 2023-12-19 0:27:44 | 0:00:59 | 50460 | build successful |
| 10.7 | 170683 | 2023-12-19 0:17:03 | 0:00:54 | 52402 | build successful |
| 10.9 | 256678 | 2023-12-19 0:12:28 | 0:00:48 | 79670 | build successful |
| 10.11 | 245716 | 2023-12-19 0:08:26 | 0:00:53 | 80091 | build successful |
| 10.6.x86_64 | 182018 | 2023-12-18 23:58:13 | 0:00:14 | 52665 | failed install-dependencies |
| 10.12 | 254569 | 2023-12-18 23:29:30 | 0:00:42 | 78884 | build successful |
| 13.arm64 | 45469 | 2023-12-18 22:18:31 | 0:00:24 | 15029 | build successful |
| 12.arm64 | 113568 | 2023-12-15 2:19:40 | 0:05:58 | 29256 | build successful |
| 13.arm64 | 44724 | 2023-12-15 1:10:34 | 0:00:34 | 14872 | build successful |
| 10.14 | 189576 | 2023-12-14 20:08:14 | 0:01:25 | 61537 | failed install-port |
| 10.11 | 245110 | 2023-12-14 20:07:30 | 0:01:29 | 79935 | failed install-port |
| 10.6 | 145940 | 2023-12-14 20:06:27 | 0:00:12 | 52467 | failed install-dependencies |
| 10.10 | 249246 | 2023-12-14 20:06:19 | 0:01:05 | 79822 | failed install-port |
| 10.8 | 157876 | 2023-12-14 20:06:00 | 0:01:08 | 50302 | failed install-port |
| 10.13 | 214336 | 2023-12-14 20:05:12 | 0:01:10 | 70780 | failed install-port |
| 10.9 | 256042 | 2023-12-14 20:04:56 | 0:01:18 | 79514 | failed install-port |
| 10.12 | 254012 | 2023-12-14 20:04:41 | 0:01:15 | 78728 | failed install-port |
| 10.6.x86_64 | 181395 | 2023-12-14 20:04:08 | 0:00:11 | 52509 | failed install-dependencies |
| 10.7 | 169930 | 2023-12-14 20:03:17 | 0:01:18 | 52246 | failed install-port |
| 11.arm64 | 110366 | 2023-12-14 20:01:05 | 0:02:26 | 40453 | build successful |
| 14 | 2632 | 2023-10-24 10:11:24 | 0:01:46 | 425 | build successful |
| 11.arm64 | 105462 | 2023-10-12 8:02:05 | 0:00:29 | 38129 | build successful |
| 12.arm64 | 108868 | 2023-10-12 4:09:25 | 0:00:24 | 26938 | build successful |
| 10.13 | 207974 | 2023-10-11 23:01:09 | 0:00:23 | 68465 | failed install-port |
| 10.14 | 183362 | 2023-10-11 21:45:17 | 0:00:29 | 59223 | failed install-port |
| 12 | 84835 | 2023-10-11 21:39:15 | 0:01:28 | 26928 | build successful |
| 10.15 | 159098 | 2023-10-11 21:31:02 | 0:00:44 | 48211 | build successful |
| 10.10 | 242436 | 2023-10-11 21:31:00 | 0:00:24 | 77509 | failed install-port |
| 10.11 | 238552 | 2023-10-11 21:28:05 | 0:00:29 | 77621 | failed install-port |
| 10.8 | 151260 | 2023-10-11 21:25:38 | 0:00:27 | 47989 | failed install-port |
| 10.7 | 163207 | 2023-10-11 21:22:40 | 0:00:25 | 49932 | failed install-port |
| 10.9 | 249043 | 2023-10-11 21:18:09 | 0:00:24 | 77200 | failed install-port |
| 10.6 | 139236 | 2023-10-11 21:14:50 | 0:00:14 | 50152 | failed install-dependencies |
| 10.6.x86_64 | 174559 | 2023-10-11 21:11:51 | 0:00:11 | 50193 | failed install-dependencies |
| 11 | 130260 | 2023-10-11 21:07:41 | 0:00:52 | 38132 | build successful |
| 10.12 | 247311 | 2023-10-11 21:02:19 | 0:00:24 | 76414 | failed install-port |
| 13 | 52405 | 2023-10-11 20:42:51 | 0:01:07 | 12687 | build successful |
| 13.arm64 | 38495 | 2023-10-11 20:25:44 | 0:00:32 | 12552 | build successful |
| 10.12 | 241059 | 2023-08-18 18:45:31 | 0:03:42 | 74344 | failed install-port |
| 10.6 | 131734 | 2023-08-18 12:33:34 | 0:00:11 | 48074 | failed install-dependencies |
| 10.8 | 144856 | 2023-08-18 12:31:06 | 0:03:11 | 45914 | failed install-port |
| 10.6.x86_64 | 167271 | 2023-08-18 12:22:16 | 0:00:09 | 48113 | failed install-dependencies |
| 10.14 | 176614 | 2023-08-18 12:10:13 | 0:02:07 | 57155 | failed install-port |
| 10.11 | 232457 | 2023-08-18 12:07:13 | 0:04:16 | 75550 | failed install-port |
| 10.9 | 242551 | 2023-08-18 12:02:36 | 0:03:08 | 75127 | failed install-port |
| 10.7 | 156448 | 2023-08-18 12:01:00 | 0:03:13 | 47854 | failed install-port |
| 10.10 | 236064 | 2023-08-18 11:51:19 | 0:03:07 | 75438 | failed install-port |
| 10.13 | 201924 | 2023-08-18 11:43:59 | 0:04:59 | 66396 | failed install-port |
| 11.arm64 | 95336 | 2023-06-13 18:24:36 | 0:00:24 | 33708 | build successful |
| 12.arm64 | 97997 | 2023-06-13 16:52:09 | 0:00:23 | 22522 | build successful |
| 10.14 | 170078 | 2023-06-13 14:08:08 | 0:00:20 | 54813 | failed install-port |
| 10.13 | 195348 | 2023-06-13 13:19:26 | 0:00:19 | 64050 | failed install-port |
| 10.11 | 225554 | 2023-06-13 12:59:53 | 0:00:24 | 73175 | failed install-port |
| 12 | 72959 | 2023-06-13 12:37:26 | 0:01:27 | 22520 | build successful |
| 10.7 | 147901 | 2023-06-13 12:33:20 | 0:00:19 | 45474 | failed install-port |
| 10.10 | 228907 | 2023-06-13 12:31:31 | 0:00:26 | 73053 | failed install-port |
| 10.6.x86_64 | 158216 | 2023-06-13 12:31:02 | 0:00:15 | 45733 | failed install-dependencies |
| 10.15 | 145266 | 2023-06-13 12:27:12 | 0:01:29 | 43803 | build successful |
| 10.8 | 137568 | 2023-06-13 12:25:37 | 0:00:24 | 43536 | failed install-port |
| 10.9 | 235041 | 2023-06-13 12:24:41 | 0:00:28 | 72748 | failed install-port |
| 11 | 117674 | 2023-06-13 12:10:15 | 0:00:47 | 33720 | build successful |
| 10.12 | 234420 | 2023-06-13 12:08:18 | 0:00:24 | 71973 | failed install-port |
| 10.6 | 123158 | 2023-06-13 12:04:16 | 0:00:36 | 45696 | failed install-dependencies |
| 13 | 37469 | 2023-06-13 11:40:16 | 0:00:53 | 8265 | build successful |
| 13.arm64 | 25368 | 2023-06-13 11:06:15 | 0:00:24 | 8112 | build successful |
| 10.8 | 125482 | 2023-03-07 19:19:13 | 0:04:20 | 39788 | failed install-port |
| 10.10 | 216783 | 2023-03-07 19:09:19 | 0:03:56 | 69309 | failed install-port |
| 10.7 | 136498 | 2023-03-07 19:07:45 | 0:03:50 | 41746 | failed install-port |
| 10.13 | 183303 | 2023-03-07 19:06:21 | 0:04:09 | 60305 | failed install-port |
| 10.14 | 158182 | 2023-03-07 18:55:10 | 0:02:23 | 51071 | failed install-port |
| 10.11 | 213585 | 2023-03-07 17:07:22 | 0:04:31 | 69427 | failed install-port |
| 10.9 | 222550 | 2023-03-07 16:58:52 | 0:03:27 | 69004 | failed install-port |