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 3 of 5 | Showing build(s) 201 to 300

Builder Build Number Start Time Elapsed Time Watcher Build Status
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
10.13 130665 2021-11-22 11:38:04 0:05:22 42962 failed install-port
10.10 162891 2021-11-22 11:32:31 0:04:16 52086 failed install-port
10.15 78828 2021-11-22 11:29:24 0:03:16 22663 failed install-port
10.14 107035 2021-11-22 11:28:14 0:02:45 33672 failed install-port
10.12 166261 2021-11-22 11:09:13 0:03:56 51008 failed install-port
11 53669 2021-11-22 11:08:33 0:03:09 12479 failed install-port
12.arm64 6139 2021-11-06 5:22:18 0:00:56 477 build successful
10.9 157460 2021-08-26 2:51:40 0:03:51 48504 build successful
10.8 58569 2021-08-26 1:26:15 0:04:01 19086 build successful
10.7 66118 2021-08-26 1:24:53 0:04:15 21227 build successful
10.7 66112 2021-08-26 0:17:47 0:03:05 21226 failed install-port
10.8 58563 2021-08-26 0:15:41 0:02:54 19085 failed install-port
10.9 157421 2021-08-25 20:59:11 0:02:54 48494 failed install-port
10.11 151794 2021-08-25 20:51:23 0:03:34 48744 build successful
10.9 157416 2021-08-25 20:42:30 0:02:55 48493 failed install-port
10.7 66068 2021-08-25 20:22:28 0:01:45 21216 failed install-port
10.9 157410 2021-08-25 20:18:27 0:03:16 48491 failed install-port
10.8 58529 2021-08-25 20:17:41 0:01:58 19075 failed install-port
10.7 66062 2021-08-25 20:06:16 0:01:58 21215 failed install-port
10.12 156712 2021-08-25 20:01:27 0:03:24 47732 build successful
10.8 58523 2021-08-25 20:00:15 0:02:11 19074 failed install-port
10.11 151787 2021-08-25 19:40:22 0:01:14 48742 failed install-dependencies
10.10 153168 2021-08-25 19:34:20 0:02:42 48807 build successful
10.7 66054 2021-08-25 19:00:28 0:01:01 21213 failed install-dependencies
10.9 157404 2021-08-25 18:58:03 0:01:26 48490 failed install-dependencies
10.8 58515 2021-08-25 18:57:50 0:00:41 19072 failed install-dependencies
10.12 156705 2021-08-25 18:56:42 0:01:19 47730 failed install-dependencies
10.10 153161 2021-08-25 18:44:49 0:01:01 48805 failed install-dependencies
10.11 151781 2021-08-25 18:44:32 0:01:10 48741 failed install-dependencies
10.7 66047 2021-08-25 18:10:52 0:00:42 21212 failed install-dependencies
10.12 156699 2021-08-25 18:08:23 0:01:20 47729 failed install-dependencies
10.8 58508 2021-08-25 18:08:18 0:00:41 19071 failed install-dependencies
10.10 153155 2021-08-25 18:08:11 0:00:55 48804 failed install-dependencies
10.9 155482 2021-07-30 3:08:47 0:01:26 47695 failed install-dependencies
10.15 67065 2021-07-30 2:37:11 0:03:27 18592 build successful
10.13 119155 2021-07-30 2:35:25 0:02:52 38889 build successful
10.12 154765 2021-07-30 2:19:10 0:01:33 46937 failed install-dependencies
11 41734 2021-07-30 2:19:05 0:04:19 8405 build successful
10.14 95685 2021-07-30 1:46:22 0:02:47 29598 build successful
10.7 64098 2021-07-30 1:44:59 0:00:58 20420 failed install-dependencies
10.11 149848 2021-07-30 1:37:56 0:01:14 47949 failed install-dependencies
10.10 151226 2021-07-30 0:11:55 0:01:28 48012 failed install-dependencies
10.8 56605 2021-07-29 23:10:42 0:00:47 18279 failed install-dependencies
11.arm64 27122 2021-07-29 22:42:49 0:01:02 8590 build successful
11 40430 2021-07-16 14:46:35 0:04:08 7949 build successful
10.15 66000 2021-07-16 6:36:43 0:03:14 18139 build successful
10.14 94621 2021-07-16 3:34:04 0:02:34 29145 build successful
10.11 148545 2021-07-16 2:16:39 0:00:55 47492 failed install-dependencies
10.13 117869 2021-07-16 0:49:52 0:02:09 38434 build successful
10.9 154073 2021-07-15 23:17:08 0:00:59 47238 failed install-dependencies
10.8 55018 2021-07-15 20:53:14 0:00:48 17822 failed install-dependencies
10.10 149894 2021-07-15 20:51:25 0:01:02 47556 failed install-dependencies
10.7 62050 2021-07-15 20:36:24 0:00:59 19964 failed install-dependencies