z3-java (math/z3) Updated: 3 months, 3 weeks 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.4 License: MIT
GitHub
496 build(s) found
Page 5 of 5 | Showing build(s) 401 to 496
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 10.6.x86_64 | 41767 | 2020-12-16 18:14:13 | 0:00:53 | 13062 | failed install-dependencies |
| 11.arm64 | 5565 | 2020-12-16 17:45:04 | 0:00:02 | 1135 | failed install-dependencies |
| 11 | 6601 | 2020-12-12 8:06:01 | 0:03:58 | 594 | build successful |
| 10.6 | 21489 | 2020-12-04 18:38:22 | 0:00:57 | 12701 | failed install-dependencies |
| 10.6.x86_64 | 40766 | 2020-12-04 17:28:44 | 0:00:44 | 12709 | failed install-dependencies |
| 11.arm64 | 4716 | 2020-12-04 16:37:53 | 0:00:02 | 778 | failed install-dependencies |
| 10.6 | 21168 | 2020-12-02 20:33:14 | 0:00:53 | 12624 | failed install-dependencies |
| 10.6.x86_64 | 40279 | 2020-12-02 19:39:41 | 0:00:41 | 12632 | failed install-dependencies |
| 10.6 | 21156 | 2020-12-02 18:48:12 | 0:01:00 | 12621 | failed install-dependencies |
| 11.arm64 | 4246 | 2020-12-02 18:42:42 | 0:00:01 | 701 | failed install-dependencies |
| 10.6.x86_64 | 40264 | 2020-12-02 18:21:25 | 0:00:46 | 12629 | failed install-dependencies |
| 11.arm64 | 4234 | 2020-12-02 17:50:24 | 0:00:01 | 698 | failed install-dependencies |
| 10.6 | 21104 | 2020-12-02 4:53:47 | 0:00:57 | 12594 | failed install-dependencies |
| 10.6.x86_64 | 40173 | 2020-12-02 4:17:10 | 0:00:47 | 12602 | failed install-dependencies |
| 11.arm64 | 4150 | 2020-12-02 2:52:03 | 0:00:03 | 671 | failed install-dependencies |
| 10.6.x86_64 | 38255 | 2020-11-05 18:22:10 | 0:00:42 | 11782 | failed install-dependencies |
| 10.6 | 19929 | 2020-11-05 18:21:50 | 0:00:54 | 11773 | failed install-dependencies |
| 10.14 | 70826 | 2020-11-05 18:17:08 | 0:03:08 | 21015 | build successful |
| 10.11 | 125060 | 2020-11-05 18:16:15 | 0:02:42 | 39331 | build successful |
| 10.8 | 29245 | 2020-11-05 18:15:43 | 0:02:30 | 9635 | build successful |
| 10.7 | 34373 | 2020-11-05 18:10:38 | 0:02:20 | 11769 | build successful |
| 10.13 | 94914 | 2020-11-05 18:06:00 | 0:02:50 | 30289 | build successful |
| 10.15 | 41849 | 2020-11-05 18:05:47 | 0:03:09 | 10568 | build successful |
| 10.10 | 126726 | 2020-11-05 18:05:27 | 0:02:43 | 39387 | build successful |
| 10.12 | 130286 | 2020-11-05 17:56:02 | 0:02:30 | 38329 | build successful |
| 10.9 | 130361 | 2020-11-05 17:52:39 | 0:01:54 | 39338 | build successful |
| 10.6 | 18566 | 2020-10-06 21:19:43 | 0:01:45 | 10778 | failed install-dependencies |
| 10.6.x86_64 | 35913 | 2020-10-06 21:03:06 | 0:01:40 | 10787 | failed install-dependencies |
| 10.6 | 16450 | 2020-08-19 19:04:24 | 0:00:58 | 9370 | failed install-dependencies |
| 10.6.x86_64 | 32765 | 2020-08-19 19:03:48 | 0:00:41 | 9377 | failed install-dependencies |
| 10.6.x86_64 | 31732 | 2020-08-05 6:41:13 | 0:01:26 | 8925 | failed install-dependencies |
| 10.6 | 15806 | 2020-08-05 5:58:17 | 0:01:23 | 8918 | failed install-dependencies |
| 10.8 | 20417 | 2020-07-01 0:33:45 | 0:03:23 | 5620 | build successful |
| 10.12 | 120294 | 2020-06-29 5:18:30 | 0:02:23 | 33089 | build successful |
| 10.7 | 24941 | 2020-06-28 18:35:36 | 0:02:05 | 7415 | build successful |
| 10.6 | 14275 | 2020-06-26 4:55:36 | 0:01:27 | 7757 | failed install-dependencies |
| 10.14 | 62331 | 2020-06-26 4:40:34 | 0:03:41 | 17000 | build successful |
| 10.13 | 86444 | 2020-06-26 4:38:31 | 0:03:05 | 26272 | build successful |
| 10.10 | 118110 | 2020-06-26 4:36:52 | 0:02:46 | 35374 | build successful |
| 10.11 | 116519 | 2020-06-26 4:35:58 | 0:03:18 | 35317 | build successful |
| 10.15 | 33108 | 2020-06-26 4:31:23 | 0:02:56 | 6551 | build successful |
| 10.6.x86_64 | 29055 | 2020-06-26 4:30:03 | 0:01:04 | 7765 | failed install-dependencies |
| 10.9 | 121594 | 2020-06-26 4:20:23 | 0:03:17 | 35326 | build successful |
| 10.7 | 23474 | 2020-06-22 23:20:51 | 0:02:00 | 6526 | build successful |
| 10.8 | 16197 | 2020-06-14 22:21:23 | 0:02:02 | 4392 | build successful |
| 10.6.x86_64 | 28284 | 2020-06-13 6:10:49 | 0:01:09 | 7429 | failed install-dependencies |
| 10.6 | 13889 | 2020-06-13 6:03:57 | 0:01:32 | 7422 | failed install-dependencies |
| 10.10 | 116240 | 2020-06-13 1:50:46 | 0:01:47 | 34150 | build successful |
| 10.13 | 83820 | 2020-05-13 21:30:33 | 0:03:03 | 25046 | build successful |
| 10.6 | 12906 | 2020-05-13 19:11:23 | 0:01:29 | 6530 | failed install-dependencies |
| 10.6 | 12902 | 2020-05-13 18:54:32 | 0:01:31 | 6525 | failed install-dependencies |
| 10.6.x86_64 | 26284 | 2020-05-13 17:42:13 | 0:01:14 | 6531 | failed install-dependencies |
| 10.15 | 30468 | 2020-05-13 15:49:05 | 0:03:22 | 5317 | build successful |
| 10.11 | 113906 | 2020-05-13 15:35:37 | 0:03:13 | 34086 | build successful |
| 10.9 | 118921 | 2020-05-13 15:09:00 | 0:02:11 | 34096 | build successful |
| 10.6.x86_64 | 26277 | 2020-05-13 15:01:16 | 0:01:15 | 6526 | failed install-dependencies |
| 10.14 | 59701 | 2020-05-13 14:49:58 | 0:03:15 | 15771 | build successful |
| 10.6 | 10200 | 2020-03-26 19:35:13 | 0:00:47 | 4480 | failed install-dependencies |
| 10.6 | 10046 | 2020-03-19 2:32:10 | 0:01:17 | 4354 | failed install-dependencies |
| 10.6 | 10042 | 2020-03-19 2:16:19 | 0:01:16 | 4353 | failed install-dependencies |
| 10.6.x86_64 | 20502 | 2020-02-21 23:33:22 | 0:06:25 | 4482 | failed install-port |
| 10.6.x86_64 | 20072 | 2020-02-18 1:51:24 | 0:00:45 | 4356 | failed install-dependencies |
| 10.6.x86_64 | 20066 | 2020-02-18 1:18:32 | 0:00:43 | 4355 | failed install-dependencies |
| 10.6 | 8701 | 2020-01-27 15:54:01 | 0:01:01 | 3767 | failed install-dependencies |
| 10.6.x86_64 | 16930 | 2020-01-27 14:28:39 | 0:00:51 | 3752 | failed install-dependencies |
| 10.6 | 7321 | 2020-01-14 4:32:25 | 0:01:02 | 3411 | failed install-dependencies |
| 10.9 | 109917 | 2020-01-13 22:31:44 | 0:01:58 | 30988 | build successful |
| 10.15 | 20783 | 2020-01-13 22:29:30 | 0:03:21 | 2221 | build successful |
| 10.8 | 12581 | 2020-01-13 22:28:59 | 0:02:35 | 3389 | build successful |
| 10.11 | 105812 | 2020-01-13 22:28:18 | 0:02:47 | 30998 | build successful |
| 10.7 | 13994 | 2020-01-13 22:26:40 | 0:02:16 | 3392 | build successful |
| 10.13 | 75638 | 2020-01-13 22:19:26 | 0:03:04 | 21955 | build successful |
| 10.14 | 50419 | 2020-01-13 22:18:25 | 0:02:51 | 12675 | build successful |
| 10.6.x86_64 | 14902 | 2020-01-13 22:17:55 | 0:00:55 | 3395 | failed install-dependencies |
| 10.10 | 107338 | 2020-01-13 22:16:16 | 0:02:30 | 31046 | build successful |
| 10.12 | 110915 | 2020-01-13 22:11:40 | 0:02:42 | 29980 | build successful |
| 10.15 | 15856 | 2019-12-22 22:01:09 | 0:03:16 | 1651 | build successful |
| 10.6 | 2167 | 2019-11-04 7:25:50 | 0:00:59 | 666 | failed install-dependencies |
| 10.6.x86_64 | 4256 | 2019-11-01 16:32:23 | 0:00:48 | 668 | failed install-dependencies |
| 10.13 | 65426 | 2019-10-01 8:00:56 | 0:03:15 | 18897 | build successful |
| 10.11 | 95721 | 2019-10-01 7:31:27 | 0:04:11 | 27937 | build successful |
| 10.12 | 100133 | 2019-10-01 7:27:34 | 0:03:24 | 26918 | build successful |
| 10.9 | 98837 | 2019-10-01 6:05:54 | 0:02:40 | 27923 | build successful |
| 10.14 | 39699 | 2019-10-01 5:21:58 | 0:03:09 | 9613 | build successful |
| 10.10 | 96265 | 2019-10-01 5:01:42 | 0:02:55 | 27979 | build successful |
| 10.12 | 99645 | 2019-09-26 22:49:30 | 0:04:06 | 26772 | build successful |
| 10.11 | 95239 | 2019-09-25 19:35:42 | 0:02:55 | 27793 | build successful |
| 10.9 | 98361 | 2019-09-25 19:29:47 | 0:02:11 | 27779 | build successful |
| 10.13 | 64959 | 2019-09-25 19:27:50 | 0:03:42 | 18753 | build successful |
| 10.10 | 95788 | 2019-09-25 19:24:12 | 0:03:18 | 27835 | build successful |
| 10.14 | 39233 | 2019-09-25 19:17:49 | 0:03:12 | 9469 | build successful |
| 10.10 | 95783 | 2019-09-25 16:54:02 | 0:00:49 | 27834 | failed install-dependencies |
| 10.11 | 95234 | 2019-09-25 16:53:50 | 0:00:49 | 27792 | failed install-dependencies |
| 10.13 | 64954 | 2019-09-25 16:53:31 | 0:00:58 | 18752 | failed install-dependencies |
| 10.14 | 39228 | 2019-09-25 16:52:14 | 0:00:51 | 9468 | failed install-dependencies |
| 10.9 | 98356 | 2019-09-25 16:51:18 | 0:00:36 | 27778 | failed install-dependencies |