z3-java (math/z3) Updated: 4 months, 4 weeks ago Add to my watchlist

Java bindings for the Z3 theorem prover

Java bindings for the Z3 SMT solver library from Microsoft Research.

Version: 4.13.0 License: MIT GitHub
Reset

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