z3-java (math/z3) Updated: 4 months, 4 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.0 License: MIT
GitHub
443 build(s) found
Page 2 of 5 | Showing build(s) 101 to 200
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 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 |