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 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