boolector (math/boolector) Updated: 2 months, 2 weeks 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.4 License: MIT
GitHub
108 build(s) found
Page 1 of 2 | Showing build(s) 1 to 100
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 16615 | 2024-10-19 2:12:18 | 0:00:43 | 2182 | build successful |
| 14 | 47579 | 2024-09-05 19:23:33 | 0:01:34 | 13450 | build successful |
| 12.arm64 | 136774 | 2024-09-04 15:23:50 | 0:00:19 | 39392 | build successful |
| 13 | 78154 | 2024-09-04 13:10:24 | 0:01:21 | 25245 | build successful |
| 13.arm64 | 70400 | 2024-09-04 12:32:31 | 0:00:18 | 24993 | build successful |
| 10.11 | 275934 | 2024-09-03 22:47:10 | 0:02:30 | 90122 | build successful |
| 10.14 | 218303 | 2024-09-03 22:35:56 | 0:01:46 | 71605 | build successful |
| 10.8 | 189846 | 2024-09-03 22:35:31 | 0:01:58 | 60425 | build successful |
| 10.13 | 244159 | 2024-09-03 22:34:42 | 0:01:19 | 80935 | build successful |
| 10.12 | 285329 | 2024-09-03 22:33:45 | 0:01:35 | 88834 | build successful |
| 10.9 | 289488 | 2024-09-03 22:32:44 | 0:01:17 | 89632 | build successful |
| 10.6 | 179935 | 2024-09-03 22:32:23 | 0:02:45 | 62620 | build successful |
| 10.10 | 282103 | 2024-09-03 22:32:00 | 0:01:12 | 89960 | build successful |
| 10.7 | 203484 | 2024-09-03 22:31:37 | 0:02:32 | 62372 | build successful |
| 10.6.x86_64 | 215768 | 2024-09-03 22:30:47 | 0:02:34 | 62664 | build successful |
| 11 | 166348 | 2024-09-03 22:30:26 | 0:02:05 | 50597 | build successful |
| 10.15 | 195358 | 2024-09-03 22:30:06 | 0:01:45 | 60673 | build successful |
| 12 | 118044 | 2024-09-03 22:29:44 | 0:01:43 | 39502 | build successful |
| 14.arm64 | 41661 | 2024-09-03 22:29:00 | 0:00:26 | 13085 | build successful |
| 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 |