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 3 of 5 | Showing build(s) 201 to 300
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6 | 111673 | 2023-03-07 16:47:27 | 0:00:27 | 41971 | failed install-dependencies |
| 10.6.x86_64 | 146790 | 2023-03-07 16:46:54 | 0:00:11 | 42004 | failed install-dependencies |
| 10.12 | 221601 | 2023-03-07 16:44:21 | 0:03:52 | 68227 | failed install-port |
| 13.arm64 | 5535 | 2023-03-03 11:45:35 | 0:00:33 | 3197 | build successful |
| 11.arm64 | 84965 | 2023-02-20 18:46:40 | 0:00:25 | 29202 | build successful |
| 12.arm64 | 85506 | 2023-02-19 16:14:27 | 0:00:24 | 18018 | build successful |
| 12 | 59994 | 2023-02-18 3:30:22 | 0:01:19 | 18007 | build successful |
| 10.14 | 156308 | 2023-02-18 3:30:10 | 0:00:22 | 50318 | failed install-port |
| 10.13 | 181313 | 2023-02-18 3:29:12 | 0:00:24 | 59552 | failed install-port |
| 10.10 | 214622 | 2023-02-18 3:19:40 | 0:00:27 | 68554 | failed install-port |
| 10.15 | 130942 | 2023-02-18 3:17:01 | 0:00:53 | 39310 | build successful |
| 10.11 | 211659 | 2023-02-18 3:15:39 | 0:00:38 | 68673 | failed install-port |
| 10.6 | 109815 | 2023-02-18 3:12:10 | 0:00:32 | 41217 | failed install-dependencies |
| 11 | 103692 | 2023-02-18 2:55:21 | 0:00:55 | 29224 | build successful |
| 10.9 | 220441 | 2023-02-18 2:50:43 | 0:00:32 | 68249 | failed install-port |
| 10.12 | 219441 | 2023-02-18 2:44:39 | 0:00:28 | 67474 | failed install-port |
| 10.6.x86_64 | 144593 | 2023-02-18 2:39:13 | 0:00:19 | 41249 | failed install-dependencies |
| 10.8 | 123464 | 2023-02-18 2:36:20 | 0:00:31 | 39034 | failed install-port |
| 13 | 21792 | 2023-02-18 2:35:46 | 0:00:59 | 3765 | build successful |
| 10.7 | 134473 | 2023-02-18 2:35:43 | 0:00:28 | 40990 | failed install-port |
| 10.6 | 104612 | 2023-01-13 14:17:03 | 0:00:39 | 39792 | failed install-dependencies |
| 10.6.x86_64 | 139308 | 2023-01-13 11:03:54 | 0:00:18 | 39822 | failed install-dependencies |
| 10.6 | 102879 | 2023-01-05 14:42:52 | 0:00:33 | 39326 | failed install-dependencies |
| 10.6.x86_64 | 137615 | 2023-01-05 14:36:01 | 0:00:13 | 39356 | failed install-dependencies |
| 13 | 5699 | 2022-12-23 14:40:06 | 0:01:33 | 909 | build successful |
| 10.6 | 99392 | 2022-12-23 11:20:01 | 0:00:32 | 38734 | failed install-dependencies |
| 10.6.x86_64 | 134368 | 2022-12-23 8:24:18 | 0:00:13 | 38764 | failed install-dependencies |
| 10.6 | 85347 | 2022-08-25 3:57:09 | 0:00:26 | 34416 | failed install-dependencies |
| 10.6.x86_64 | 119036 | 2022-08-24 8:54:01 | 0:00:14 | 34438 | failed install-dependencies |
| 10.14 | 131993 | 2022-06-29 15:13:27 | 0:00:53 | 41637 | build successful |
| 10.6 | 80504 | 2022-06-29 5:01:43 | 0:00:31 | 32496 | failed install-dependencies |
| 10.6.x86_64 | 113869 | 2022-06-28 20:12:29 | 0:00:12 | 32509 | failed install-dependencies |
| 11.arm64 | 59685 | 2022-06-28 18:34:09 | 0:00:28 | 20479 | build successful |
| 12 | 34568 | 2022-06-28 10:49:46 | 0:01:09 | 9304 | build successful |
| 10.13 | 155449 | 2022-06-28 10:43:08 | 0:00:33 | 50865 | build successful |
| 11 | 77118 | 2022-06-28 10:39:29 | 0:00:45 | 20531 | build successful |
| 10.8 | 95219 | 2022-06-28 10:38:40 | 0:00:41 | 30334 | build successful |
| 10.10 | 188186 | 2022-06-28 10:37:13 | 0:00:48 | 59861 | build successful |
| 10.7 | 105373 | 2022-06-28 10:35:50 | 0:00:47 | 32282 | build successful |
| 10.15 | 104676 | 2022-06-28 10:28:00 | 0:00:39 | 30631 | build successful |
| 10.9 | 193403 | 2022-06-28 10:25:51 | 0:00:34 | 59553 | build successful |
| 10.11 | 187157 | 2022-06-28 10:25:05 | 0:00:41 | 59978 | build successful |
| 12.arm64 | 56946 | 2022-06-28 10:16:37 | 0:00:22 | 9303 | build successful |
| 10.12 | 191431 | 2022-06-28 10:05:42 | 0:00:39 | 58780 | build successful |
| 10.6 | 77211 | 2022-06-11 5:58:52 | 0:00:25 | 31859 | failed install-dependencies |
| 10.6.x86_64 | 110740 | 2022-06-10 23:00:45 | 0:00:11 | 31834 | failed install-dependencies |
| 10.6 | 71479 | 2022-05-24 18:32:06 | 0:00:33 | 31171 | failed install-dependencies |
| 10.6.x86_64 | 105584 | 2022-05-24 16:47:34 | 0:00:12 | 31140 | failed install-dependencies |
| 10.14 | 122857 | 2022-03-31 18:56:32 | 0:00:50 | 38589 | build successful |
| 10.6 | 63882 | 2022-03-30 14:56:31 | 0:00:38 | 29412 | failed install-dependencies |
| 10.6.x86_64 | 98124 | 2022-03-30 14:45:18 | 0:00:32 | 29374 | failed install-dependencies |
| 10.13 | 146401 | 2022-03-30 14:30:05 | 0:00:33 | 47817 | build successful |
| 10.10 | 178700 | 2022-03-30 14:28:14 | 0:00:35 | 56812 | build successful |
| 10.8 | 84687 | 2022-03-30 14:27:44 | 0:00:38 | 27282 | build successful |
| 12 | 25395 | 2022-03-30 14:26:14 | 0:01:45 | 6257 | build successful |
| 10.15 | 95456 | 2022-03-30 14:26:02 | 0:00:45 | 27589 | build successful |
| 10.11 | 177475 | 2022-03-30 14:25:32 | 0:00:43 | 56922 | build successful |
| 10.7 | 93799 | 2022-03-30 14:24:30 | 0:00:33 | 29229 | build successful |
| 10.9 | 183593 | 2022-03-30 14:19:31 | 0:00:38 | 56503 | build successful |
| 12.arm64 | 46385 | 2022-03-30 14:10:40 | 0:00:46 | 6241 | build successful |
| 11 | 68180 | 2022-03-30 14:04:27 | 0:00:46 | 17474 | build successful |
| 10.12 | 182159 | 2022-03-30 13:58:05 | 0:00:45 | 55732 | build successful |
| 11.arm64 | 49863 | 2022-03-30 13:28:45 | 0:00:24 | 17416 | build successful |
| 10.6 | 54169 | 2022-01-16 11:25:28 | 0:00:30 | 26860 | failed install-dependencies |
| 10.8 | 72876 | 2022-01-04 9:59:40 | 0:00:51 | 24049 | build successful |
| 12 | 9946 | 2022-01-04 6:01:09 | 0:01:50 | 2963 | build successful |
| 10.7 | 80995 | 2022-01-03 14:09:43 | 0:00:31 | 26192 | build successful |
| 11 | 58775 | 2022-01-03 14:09:24 | 0:00:51 | 14174 | build successful |
| 10.14 | 111837 | 2022-01-03 13:43:00 | 0:00:47 | 35366 | build successful |
| 10.11 | 166219 | 2022-01-03 13:37:54 | 0:00:56 | 53714 | build successful |
| 10.15 | 84346 | 2022-01-03 13:37:25 | 0:00:48 | 24359 | build successful |
| 11.arm64 | 39761 | 2022-01-03 13:34:13 | 0:00:23 | 14366 | build successful |
| 10.13 | 135293 | 2022-01-03 13:19:14 | 0:00:59 | 44655 | build successful |
| 10.9 | 172222 | 2022-01-03 13:03:46 | 0:01:02 | 53465 | build successful |
| 10.12 | 171037 | 2022-01-03 12:56:31 | 0:00:50 | 52702 | build successful |
| 10.6 | 49837 | 2022-01-03 12:49:39 | 0:00:16 | 26186 | failed install-dependencies |
| 10.10 | 167507 | 2022-01-03 12:48:09 | 0:01:09 | 53779 | build successful |
| 12.arm64 | 34918 | 2022-01-03 12:13:39 | 0:00:24 | 3184 | build successful |
| 12 | 7025 | 2021-12-22 4:23:22 | 0:03:47 | 1918 | build successful |
| 10.13 | 132379 | 2021-12-09 6:36:40 | 0:07:49 | 43612 | build successful |
| 10.15 | 81112 | 2021-12-08 9:07:12 | 0:03:25 | 23316 | build successful |
| 11.arm64 | 36964 | 2021-12-08 9:01:14 | 0:02:45 | 13321 | build successful |
| 10.11 | 163315 | 2021-12-08 7:28:00 | 0:05:57 | 52675 | build successful |
| 11 | 55890 | 2021-12-08 6:46:20 | 0:03:48 | 13132 | build successful |
| 12.arm64 | 31588 | 2021-12-08 6:39:39 | 0:01:06 | 2134 | build successful |
| 10.14 | 108892 | 2021-12-08 6:27:30 | 0:03:15 | 34325 | build successful |
| 10.8 | 69952 | 2021-12-08 5:19:00 | 0:04:54 | 23008 | build successful |
| 10.12 | 168133 | 2021-12-08 5:18:11 | 0:05:32 | 51661 | build successful |
| 10.6 | 46992 | 2021-12-08 5:13:15 | 0:01:03 | 25145 | failed install-dependencies |
| 10.9 | 169314 | 2021-12-08 5:07:48 | 0:04:40 | 52425 | build successful |
| 10.7 | 77920 | 2021-12-08 5:06:51 | 0:05:11 | 25150 | build successful |
| 10.10 | 164649 | 2021-12-08 5:05:50 | 0:04:58 | 52739 | build successful |
| 12 | 5705 | 2021-12-05 21:45:39 | 0:03:23 | 1266 | failed install-port |
| 11.arm64 | 35204 | 2021-11-23 10:40:52 | 0:00:50 | 12667 | failed install-port |
| 12.arm64 | 24808 | 2021-11-22 15:17:23 | 0:00:52 | 1456 | failed install-port |
| 10.8 | 68236 | 2021-11-22 14:32:17 | 0:05:10 | 22353 | failed install-port |
| 10.7 | 76035 | 2021-11-22 11:56:22 | 0:04:57 | 24495 | failed install-port |
| 10.6 | 45369 | 2021-11-22 11:52:30 | 0:01:06 | 24491 | failed install-dependencies |
| 10.11 | 161536 | 2021-11-22 11:39:30 | 0:04:58 | 52022 | failed install-port |
| 10.9 | 167580 | 2021-11-22 11:39:00 | 0:04:37 | 51771 | failed install-port |