boolector (math/boolector) Updated: 2 months ago Add to my watchlist
an SMT solver for the theory of bit-vectorsBoolector is an SMT solver for the theory of bit-vectors and the extensional theory of arrays over bit-vectors. It won first places in the prestigious bit-vector and bit-vector with arrays tracks in the SMT competition 2008. In the latest SMT competition, it won the second place in the bit-vector division and again the first place in the division of bit-vectors and arrays.
Version: 3.2.3 License: MIT GitHub89 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
13.arm64 | 51056 | 2024-02-21 0:00:20 | 0:00:13 | 17696 | build successful |
14 | 31044 | 2024-02-20 9:55:01 | 0:00:41 | 6137 | build successful |
14.arm64 | 18039 | 2024-02-20 6:48:48 | 0:00:15 | 5808 | build successful |
10.11 | 252817 | 2024-02-20 1:28:32 | 0:00:41 | 82752 | build successful |
10.9 | 264675 | 2024-02-20 1:27:54 | 0:00:40 | 82327 | build successful |
12 | 98126 | 2024-02-20 1:26:36 | 0:00:59 | 32077 | build successful |
10.13 | 222210 | 2024-02-20 1:26:33 | 0:00:48 | 73595 | build successful |
10.8 | 166208 | 2024-02-20 1:25:29 | 0:00:39 | 53121 | build successful |
10.14 | 197152 | 2024-02-20 1:25:05 | 0:00:48 | 64348 | build successful |
10.15 | 173166 | 2024-02-20 1:25:03 | 0:00:56 | 53336 | build successful |
10.10 | 257730 | 2024-02-20 1:23:17 | 0:00:40 | 82645 | build successful |
10.7 | 178801 | 2024-02-20 1:21:03 | 0:00:50 | 55060 | build successful |
10.6 | 154744 | 2024-02-20 1:21:03 | 0:01:28 | 55280 | build successful |
10.6.x86_64 | 190298 | 2024-02-20 1:00:26 | 0:01:16 | 55326 | build successful |
11 | 144066 | 2024-02-20 0:55:40 | 0:01:06 | 43265 | build successful |
10.12 | 261989 | 2024-02-20 0:54:53 | 0:00:56 | 81539 | build successful |
13 | 62343 | 2024-02-20 0:37:25 | 0:00:32 | 17956 | build successful |
12.arm64 | 118910 | 2024-02-20 0:28:28 | 0:00:15 | 32065 | build successful |
14.arm64 | 14314 | 2024-01-27 10:00:32 | 0:00:42 | 4788 | build successful |
14 | 13546 | 2023-11-24 16:50:56 | 0:04:34 | 2161 | build successful |
13.arm64 | 3712 | 2023-02-28 6:53:40 | 0:00:20 | 1473 | build successful |
13 | 11172 | 2023-01-08 1:55:25 | 0:02:06 | 1614 | build successful |
10.7 | 128515 | 2023-01-07 8:36:32 | 0:02:25 | 39182 | build successful |
10.6 | 102957 | 2023-01-07 8:30:33 | 0:04:05 | 39406 | build successful |
10.6.x86_64 | 137699 | 2023-01-07 8:30:18 | 0:03:03 | 39436 | build successful |
10.9 | 214783 | 2023-01-07 8:29:58 | 0:02:27 | 66440 | build successful |
10.8 | 117824 | 2023-01-07 8:29:37 | 0:02:31 | 37225 | build successful |
10.10 | 209152 | 2023-01-07 8:29:06 | 0:02:12 | 66747 | build successful |
10.6 | 77159 | 2022-06-10 21:21:44 | 0:01:53 | 31855 | failed install-port |
10.9 | 188935 | 2022-05-24 2:52:20 | 0:01:26 | 58215 | failed install-port |
10.10 | 183931 | 2022-05-24 0:49:00 | 0:01:14 | 58523 | failed install-port |
10.6 | 71286 | 2022-05-23 15:39:37 | 0:02:04 | 31132 | failed install-port |
10.6.x86_64 | 105398 | 2022-05-23 15:38:41 | 0:01:56 | 31100 | failed install-port |
10.8 | 90238 | 2022-05-23 15:37:20 | 0:01:22 | 28997 | failed install-port |
10.7 | 99786 | 2022-05-23 15:34:56 | 0:04:11 | 30944 | failed install-port |
12 | 11385 | 2022-01-07 8:42:31 | 0:01:20 | 3100 | build successful |
10.13 | 136912 | 2022-01-07 6:15:17 | 0:01:08 | 44804 | build successful |
10.8 | 75155 | 2022-01-07 4:18:31 | 0:00:45 | 24347 | failed install-port |
10.10 | 169758 | 2022-01-07 4:07:00 | 0:00:44 | 53881 | failed install-port |
10.14 | 113969 | 2022-01-07 3:59:24 | 0:01:47 | 35634 | build successful |
10.7 | 83290 | 2022-01-07 3:22:46 | 0:01:38 | 26294 | failed install-port |
10.11 | 168259 | 2022-01-07 2:19:00 | 0:01:09 | 53955 | build successful |
10.15 | 86518 | 2022-01-07 2:03:47 | 0:01:16 | 24641 | build successful |
10.9 | 174483 | 2022-01-07 0:40:10 | 0:00:51 | 53567 | failed install-port |
10.12 | 173289 | 2022-01-06 23:00:07 | 0:01:16 | 52804 | build successful |
11 | 59608 | 2022-01-06 22:25:48 | 0:01:22 | 14535 | build successful |
12.arm64 | 37274 | 2022-01-06 20:50:16 | 0:00:23 | 3286 | build successful |
10.6 | 51931 | 2022-01-06 17:59:23 | 0:01:50 | 26411 | failed install-port |
11.arm64 | 42027 | 2022-01-06 17:53:41 | 0:00:24 | 14468 | build successful |
10.6.x86_64 | 86331 | 2022-01-06 17:38:30 | 0:01:20 | 26337 | failed install-port |
12.arm64 | 29452 | 2021-11-26 2:46:32 | 0:00:08 | 1597 | failed install-port |
10.15 | 60908 | 2021-06-14 3:30:54 | 0:00:29 | 17272 | failed install-port |
11 | 34183 | 2021-06-14 3:27:17 | 0:00:38 | 7079 | failed install-port |
10.6 | 33776 | 2021-06-14 2:33:39 | 0:05:31 | 19081 | failed install-port |
10.14 | 89540 | 2021-06-14 1:47:53 | 0:00:29 | 28277 | failed install-port |
10.11 | 144473 | 2021-06-14 1:26:28 | 0:00:26 | 46622 | failed install-port |
10.13 | 113899 | 2021-06-13 22:48:37 | 0:00:20 | 37568 | failed install-port |
10.6.x86_64 | 59789 | 2021-06-13 22:33:03 | 0:05:27 | 19048 | failed install-port |
10.7 | 56213 | 2021-06-13 22:15:55 | 0:00:20 | 19088 | failed install-port |
10.8 | 49706 | 2021-06-13 22:13:44 | 0:00:16 | 16950 | failed install-port |
10.10 | 145881 | 2021-06-13 22:12:16 | 0:00:28 | 46689 | failed install-port |
10.12 | 149430 | 2021-06-13 21:19:42 | 0:00:45 | 45615 | failed install-port |
10.9 | 149981 | 2021-06-13 20:45:04 | 0:00:30 | 46369 | failed install-port |
11.arm64 | 23040 | 2021-06-13 18:37:11 | 0:00:08 | 7254 | failed install-port |
11 | 11561 | 2021-01-02 14:21:18 | 0:00:50 | 1556 | failed install-port |
10.6 | 22976 | 2021-01-02 12:50:54 | 0:05:14 | 13569 | failed install-port |
11.arm64 | 6974 | 2021-01-02 12:43:37 | 0:00:13 | 1653 | failed install-port |
10.6.x86_64 | 43297 | 2021-01-02 12:40:21 | 0:03:46 | 13578 | failed install-port |
10.14 | 75435 | 2021-01-02 12:36:04 | 0:00:31 | 22806 | failed install-port |
10.15 | 46804 | 2021-01-02 12:35:37 | 0:00:35 | 12360 | failed install-port |
10.12 | 134762 | 2021-01-02 12:35:15 | 0:00:31 | 40119 | failed install-port |
10.13 | 99495 | 2021-01-02 12:34:48 | 0:00:35 | 32081 | failed install-port |
10.11 | 129571 | 2021-01-02 12:34:36 | 0:00:26 | 41123 | failed install-port |
10.10 | 131221 | 2021-01-02 12:34:09 | 0:00:31 | 41179 | failed install-port |
10.7 | 39362 | 2021-01-02 12:34:00 | 0:00:24 | 13566 | failed install-port |
10.8 | 34034 | 2021-01-02 12:33:41 | 0:00:28 | 11430 | failed install-port |
10.9 | 134975 | 2021-01-02 12:33:18 | 0:00:17 | 41129 | failed install-port |
10.6.x86_64 | 16870 | 2020-01-27 5:46:03 | 0:04:32 | 3743 | failed install-port |
10.15 | 22394 | 2020-01-27 5:07:45 | 0:00:37 | 2565 | failed install-port |
10.6 | 8654 | 2020-01-27 4:38:55 | 0:05:39 | 3758 | failed install-port |
10.13 | 76938 | 2020-01-27 3:57:15 | 0:00:33 | 22296 | failed install-port |
10.14 | 51902 | 2020-01-27 3:55:47 | 0:00:28 | 13021 | failed install-port |
10.11 | 107104 | 2020-01-27 3:45:33 | 0:00:26 | 31338 | failed install-port |
10.12 | 112222 | 2020-01-27 3:38:42 | 0:00:26 | 30318 | failed install-port |
10.8 | 14159 | 2020-01-27 3:32:33 | 0:00:24 | 3731 | failed install-port |
10.10 | 108632 | 2020-01-27 3:27:10 | 0:00:21 | 31386 | failed install-port |
10.7 | 15652 | 2020-01-27 3:21:53 | 0:00:21 | 3734 | failed install-port |
10.9 | 111244 | 2020-01-27 3:19:39 | 0:00:20 | 31329 | failed install-port |
10.15 | 19068 | 2020-01-04 15:45:20 | 0:00:39 | 1830 | failed install-port |