z3-java (math/z3) Updated: 1 week, 6 days 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.3 License: MIT GitHub
Reset

462 build(s) found

Page 2 of 5 | Showing build(s) 101 to 200

Builder Build Number Start Time Elapsed Time Watcher Build Status
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
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