btor2tools (math/btor2tools) Updated: 9 months ago Add to my watchlist
a generic parser and tools for the BTOR2 formatThe Btor2Tools package provides a generic parser and tools for the BTOR2 format.
Version: 20230816 License: MIT
GitHub
59 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 13591 | 2024-10-14 13:16:38 | 0:00:32 | 1447 | build successful |
| 13.arm64 | 51055 | 2024-02-21 0:00:02 | 0:00:16 | 17696 | build successful |
| 14 | 31043 | 2024-02-20 9:52:58 | 0:01:56 | 6137 | build successful |
| 14.arm64 | 18038 | 2024-02-20 6:48:28 | 0:00:19 | 5808 | build successful |
| 10.11 | 252816 | 2024-02-20 1:27:40 | 0:00:49 | 82752 | build successful |
| 10.9 | 264674 | 2024-02-20 1:27:14 | 0:00:38 | 82327 | build successful |
| 10.13 | 222209 | 2024-02-20 1:25:41 | 0:00:49 | 73595 | build successful |
| 12 | 98125 | 2024-02-20 1:25:15 | 0:01:19 | 32077 | build successful |
| 10.8 | 166207 | 2024-02-20 1:24:46 | 0:00:40 | 53121 | build successful |
| 10.14 | 197151 | 2024-02-20 1:24:02 | 0:01:01 | 64348 | build successful |
| 10.15 | 173165 | 2024-02-20 1:23:38 | 0:01:20 | 53336 | build successful |
| 10.10 | 257729 | 2024-02-20 1:22:26 | 0:00:46 | 82645 | build successful |
| 10.6 | 154743 | 2024-02-20 1:01:52 | 0:06:33 | 55280 | build successful |
| 10.6 | 154743 | 2024-02-20 1:01:52 | 0:06:33 | 55280 | build successful |
| 10.6 | 154743 | 2024-02-20 1:01:52 | 0:06:33 | 55280 | build successful |
| 10.7 | 178800 | 2024-02-20 1:01:22 | 0:00:59 | 55060 | build successful |
| 10.7 | 178800 | 2024-02-20 1:01:22 | 0:00:59 | 55060 | build successful |
| 10.7 | 178800 | 2024-02-20 1:01:22 | 0:00:59 | 55060 | build successful |
| 10.6.x86_64 | 190297 | 2024-02-20 0:59:34 | 0:00:49 | 55326 | build successful |
| 10.6.x86_64 | 190297 | 2024-02-20 0:59:34 | 0:00:49 | 55326 | build successful |
| 10.6.x86_64 | 190297 | 2024-02-20 0:59:34 | 0:00:49 | 55326 | build successful |
| 11 | 144065 | 2024-02-20 0:54:16 | 0:01:22 | 43265 | build successful |
| 10.12 | 261988 | 2024-02-20 0:53:54 | 0:00:57 | 81539 | build successful |
| 13 | 62342 | 2024-02-20 0:36:10 | 0:01:13 | 17956 | build successful |
| 12.arm64 | 118909 | 2024-02-20 0:28:06 | 0:00:20 | 32065 | build successful |
| 14.arm64 | 12156 | 2024-01-24 1:35:31 | 0:00:24 | 4525 | build successful |
| 14 | 12488 | 2023-11-22 22:04:36 | 0:01:17 | 1960 | build successful |
| 13.arm64 | 3711 | 2023-02-28 6:53:17 | 0:00:22 | 1473 | build successful |
| 13 | 9797 | 2022-12-31 13:27:33 | 0:01:42 | 1306 | build successful |
| 11.arm64 | 61844 | 2022-08-01 10:58:47 | 0:00:28 | 21520 | build successful |
| 10.6 | 82862 | 2022-08-01 8:01:20 | 0:00:58 | 33536 | build successful |
| 10.7 | 108008 | 2022-08-01 8:01:11 | 0:02:38 | 33320 | build successful |
| 11 | 80166 | 2022-08-01 8:00:58 | 0:01:47 | 21568 | build successful |
| 10.6.x86_64 | 116479 | 2022-08-01 8:00:48 | 0:00:52 | 33550 | build successful |
| 10.15 | 107775 | 2022-08-01 8:00:35 | 0:01:39 | 31668 | build successful |
| 10.11 | 189840 | 2022-08-01 8:00:25 | 0:01:29 | 61018 | build successful |
| 12 | 37401 | 2022-08-01 8:00:17 | 0:01:31 | 10342 | build successful |
| 10.14 | 134889 | 2022-08-01 7:59:56 | 0:01:27 | 42675 | build successful |
| 10.12 | 194140 | 2022-08-01 7:59:45 | 0:01:08 | 59817 | build successful |
| 10.8 | 97833 | 2022-08-01 7:59:33 | 0:01:18 | 31371 | build successful |
| 10.9 | 196052 | 2022-08-01 7:59:25 | 0:01:02 | 60590 | build successful |
| 10.13 | 158132 | 2022-08-01 7:59:17 | 0:01:12 | 51902 | build successful |
| 10.10 | 190795 | 2022-08-01 7:59:10 | 0:01:03 | 60898 | build successful |
| 12.arm64 | 59537 | 2022-08-01 7:59:03 | 0:00:24 | 10343 | build successful |
| 12 | 11384 | 2022-01-07 8:40:37 | 0:01:52 | 3100 | build successful |
| 10.13 | 136911 | 2022-01-07 6:13:56 | 0:01:18 | 44804 | build successful |
| 10.8 | 75154 | 2022-01-07 4:16:47 | 0:01:41 | 24347 | build successful |
| 10.10 | 169757 | 2022-01-07 4:05:38 | 0:01:20 | 53881 | build successful |
| 10.14 | 113968 | 2022-01-07 3:57:11 | 0:02:11 | 35634 | build successful |
| 10.7 | 83289 | 2022-01-07 3:18:03 | 0:04:41 | 26294 | build successful |
| 10.11 | 168258 | 2022-01-07 2:17:15 | 0:01:41 | 53955 | build successful |
| 10.15 | 86517 | 2022-01-07 2:01:54 | 0:01:51 | 24641 | build successful |
| 10.9 | 174482 | 2022-01-07 0:38:21 | 0:01:46 | 53567 | build successful |
| 10.12 | 173288 | 2022-01-06 22:58:40 | 0:01:25 | 52804 | build successful |
| 11 | 59607 | 2022-01-06 22:23:53 | 0:01:52 | 14535 | build successful |
| 12.arm64 | 37273 | 2022-01-06 20:49:45 | 0:00:30 | 3286 | build successful |
| 10.6 | 51930 | 2022-01-06 17:53:56 | 0:05:09 | 26411 | build successful |
| 11.arm64 | 42026 | 2022-01-06 17:52:56 | 0:00:27 | 14468 | build successful |
| 10.6.x86_64 | 86330 | 2022-01-06 17:33:52 | 0:04:26 | 26337 | build successful |