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 4 of 5 | Showing build(s) 301 to 400
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 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 |
| 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 |