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
GitHub
462 build(s) found
Page 4 of 5 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 10.12 | 153472 | 2021-07-15 15:41:34 | 0:01:01 | 46481 | failed install-dependencies |
| 11.arm64 | 26177 | 2021-07-15 15:40:22 | 0:00:56 | 8130 | build successful |
| 10.8 | 49932 | 2021-06-15 18:41:33 | 0:00:43 | 17011 | failed install-dependencies |
| 10.13 | 114079 | 2021-06-15 16:53:41 | 0:03:14 | 37628 | build successful |
| 11 | 34418 | 2021-06-15 15:38:05 | 0:04:53 | 7138 | build successful |
| 10.15 | 61088 | 2021-06-15 14:33:39 | 0:03:14 | 17331 | build successful |
| 10.11 | 144697 | 2021-06-15 14:28:57 | 0:00:58 | 46683 | failed install-dependencies |
| 10.14 | 89722 | 2021-06-15 14:11:03 | 0:02:38 | 28336 | build successful |
| 10.9 | 150196 | 2021-06-15 14:09:46 | 0:01:24 | 46430 | failed install-dependencies |
| 10.7 | 56456 | 2021-06-15 13:30:33 | 0:00:45 | 19149 | failed install-dependencies |
| 10.10 | 146106 | 2021-06-15 13:26:40 | 0:01:04 | 46750 | failed install-dependencies |
| 10.12 | 149609 | 2021-06-15 13:00:33 | 0:01:00 | 45675 | failed install-dependencies |
| 11.arm64 | 23339 | 2021-06-15 12:32:42 | 0:01:00 | 7314 | build successful |
| 10.6.x86_64 | 58378 | 2021-06-03 23:50:17 | 0:01:02 | 18604 | failed install-dependencies |
| 10.6 | 32598 | 2021-06-03 21:29:28 | 0:01:18 | 18635 | failed install-dependencies |
| 11.arm64 | 21676 | 2021-06-03 18:25:38 | 0:00:55 | 6806 | build successful |
| 10.6 | 30708 | 2021-05-07 23:28:26 | 0:01:35 | 17681 | failed install-dependencies |
| 10.6.x86_64 | 55469 | 2021-05-07 19:16:07 | 0:01:37 | 17647 | failed install-dependencies |
| 11.arm64 | 19812 | 2021-05-07 17:05:51 | 0:00:01 | 5842 | failed install-dependencies |
| 11 | 18122 | 2021-01-29 20:45:05 | 0:04:03 | 2410 | build successful |
| 10.8 | 36941 | 2021-01-27 23:59:29 | 0:02:36 | 12279 | build successful |
| 10.14 | 77974 | 2021-01-27 23:59:10 | 0:03:13 | 23623 | build successful |
| 10.7 | 42645 | 2021-01-27 23:57:18 | 0:02:32 | 14421 | build successful |
| 10.13 | 102162 | 2021-01-27 23:54:45 | 0:02:34 | 32930 | build successful |
| 10.10 | 133932 | 2021-01-27 23:52:44 | 0:02:33 | 42028 | build successful |
| 10.15 | 49695 | 2021-01-27 23:52:12 | 0:02:39 | 13207 | build successful |
| 10.12 | 137403 | 2021-01-27 23:51:19 | 0:02:16 | 40962 | build successful |
| 10.11 | 132368 | 2021-01-27 23:51:03 | 0:02:28 | 41970 | build successful |
| 10.9 | 137752 | 2021-01-27 23:45:45 | 0:01:39 | 41979 | build successful |
| 11.arm64 | 10225 | 2021-01-27 23:18:31 | 0:00:02 | 2553 | failed install-dependencies |
| 10.6 | 23049 | 2021-01-03 5:31:01 | 0:00:54 | 13586 | failed install-dependencies |
| 10.6.x86_64 | 43362 | 2021-01-03 3:14:09 | 0:00:42 | 13595 | failed install-dependencies |
| 10.6 | 23038 | 2021-01-03 2:52:31 | 0:01:00 | 13584 | failed install-dependencies |
| 11.arm64 | 7172 | 2021-01-03 2:45:15 | 0:00:02 | 1670 | failed install-dependencies |
| 10.6.x86_64 | 43349 | 2021-01-03 2:23:51 | 0:00:41 | 13593 | failed install-dependencies |
| 11.arm64 | 7139 | 2021-01-03 2:11:00 | 0:00:02 | 1668 | failed install-dependencies |
| 11 | 8794 | 2020-12-21 4:01:31 | 0:04:10 | 1041 | build successful |
| 10.9 | 133615 | 2020-12-16 18:47:03 | 0:01:58 | 40615 | build successful |
| 10.8 | 32625 | 2020-12-16 18:43:16 | 0:02:41 | 10914 | build successful |
| 10.7 | 37898 | 2020-12-16 18:41:04 | 0:02:32 | 13050 | build successful |
| 10.12 | 133386 | 2020-12-16 18:38:37 | 0:02:45 | 39605 | build successful |
| 10.14 | 74090 | 2020-12-16 18:38:16 | 0:03:12 | 22290 | build successful |
| 10.10 | 129868 | 2020-12-16 18:37:22 | 0:02:55 | 40665 | build successful |
| 10.13 | 98125 | 2020-12-16 18:37:12 | 0:02:59 | 31566 | build successful |
| 10.15 | 45446 | 2020-12-16 18:32:04 | 0:03:22 | 11844 | build successful |
| 10.6 | 22018 | 2020-12-16 18:29:01 | 0:00:59 | 13054 | failed install-dependencies |
| 10.11 | 128192 | 2020-12-16 18:27:20 | 0:02:52 | 40609 | build successful |
| 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 |