z3-java (math/z3) Updated: 1 week, 6 days 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.3 License: MIT GitHub462 build(s) found
Page 3 of 5 | Showing build(s) 201 to 300
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
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 |
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 |