sbsat (science/sbsat) Add to my watchlist
A state-based Satisfiability solver.SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisfiability problem.
Version: 2.7b License: Permissive
GitHub
64 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14.arm64 | 14738 | 2024-01-27 15:56:52 | 0:00:18 | 4808 | failed install-port |
| 14 | 25558 | 2024-01-10 6:41:09 | 0:04:59 | 4219 | failed install-port |
| 13.arm64 | 34029 | 2023-08-30 15:04:36 | 0:00:21 | 11064 | failed install-port |
| 12.arm64 | 104837 | 2023-08-30 12:55:08 | 0:00:16 | 25455 | failed install-port |
| 11.arm64 | 101534 | 2023-08-30 11:11:34 | 0:00:18 | 36649 | failed install-port |
| 10.8 | 146553 | 2023-08-30 8:12:35 | 0:02:49 | 46509 | failed install-port |
| 10.9 | 244216 | 2023-08-30 8:04:15 | 0:02:04 | 75720 | failed install-port |
| 12 | 80380 | 2023-08-30 7:47:39 | 0:03:25 | 25452 | failed install-port |
| 11 | 125647 | 2023-08-30 7:39:31 | 0:02:23 | 36653 | failed install-port |
| 13 | 47092 | 2023-08-30 7:35:47 | 0:01:41 | 11205 | failed install-port |
| 13.arm64 | 13759 | 2023-03-10 16:46:28 | 0:00:22 | 4399 | failed install-port |
| 12 | 56882 | 2023-01-18 19:24:34 | 0:02:24 | 16858 | failed install-port |
| 11.arm64 | 82698 | 2023-01-18 18:57:51 | 0:00:20 | 28054 | failed install-port |
| 13 | 16983 | 2023-01-18 15:28:52 | 0:01:35 | 2387 | failed install-port |
| 11 | 100554 | 2023-01-18 14:02:14 | 0:02:48 | 28077 | failed install-port |
| 10.8 | 120175 | 2023-01-18 13:20:50 | 0:02:13 | 37886 | failed install-port |
| 10.9 | 217101 | 2023-01-18 13:18:24 | 0:01:49 | 67101 | failed install-port |
| 12.arm64 | 83602 | 2023-01-18 13:10:06 | 0:00:20 | 16871 | failed install-port |
| 12.arm64 | 53621 | 2022-06-05 2:56:44 | 0:00:20 | 8422 | failed install-port |
| 10.9 | 190614 | 2022-06-04 18:08:14 | 0:02:13 | 58676 | failed install-port |
| 11.arm64 | 56309 | 2022-06-04 16:35:31 | 0:00:20 | 19596 | failed install-port |
| 10.8 | 92063 | 2022-06-04 16:34:29 | 0:02:46 | 29459 | failed install-port |
| 12 | 31847 | 2022-06-04 15:59:37 | 0:03:46 | 8430 | failed install-port |
| 11 | 74586 | 2022-06-04 15:48:43 | 0:03:06 | 19653 | failed install-port |
| 12 | 19473 | 2022-01-24 15:27:10 | 0:02:15 | 3981 | failed install-port |
| 12.arm64 | 40898 | 2022-01-24 15:07:41 | 0:00:20 | 4017 | failed install-port |
| 11 | 62367 | 2022-01-24 13:48:26 | 0:02:27 | 15253 | failed install-port |
| 11.arm64 | 45054 | 2022-01-24 13:40:29 | 0:00:21 | 15193 | failed install-port |
| 10.8 | 78361 | 2022-01-24 13:23:34 | 0:02:52 | 25070 | failed install-port |
| 10.9 | 177377 | 2022-01-24 13:18:56 | 0:01:39 | 54289 | failed install-port |
| 12.arm64 | 7213 | 2021-11-07 3:25:34 | 0:00:27 | 546 | failed install-port |
| 10.9 | 154610 | 2021-07-19 17:58:10 | 0:02:24 | 47329 | failed install-port |
| 11 | 40713 | 2021-07-19 17:46:20 | 0:03:31 | 8039 | failed install-port |
| 10.8 | 55684 | 2021-07-19 17:04:58 | 0:02:06 | 17913 | failed install-port |
| 11.arm64 | 26457 | 2021-07-19 15:47:42 | 0:00:27 | 8219 | failed install-port |
| 10.8 | 43404 | 2021-04-11 17:14:19 | 0:02:13 | 14543 | failed install-port |
| 11 | 26662 | 2021-04-11 17:12:50 | 0:03:46 | 4663 | failed install-port |
| 10.9 | 143909 | 2021-04-11 14:56:43 | 0:01:52 | 43955 | failed install-port |
| 10.9 | 139053 | 2021-03-03 9:48:35 | 0:01:45 | 42490 | failed install-port |
| 11 | 21980 | 2021-02-20 12:54:57 | 0:03:41 | 3087 | failed install-port |
| 10.8 | 38650 | 2021-02-15 7:58:30 | 0:02:07 | 12946 | failed install-port |
| 11.arm64 | 12378 | 2021-02-15 5:31:55 | 0:00:37 | 3229 | failed install-port |
| 10.8 | 20213 | 2020-06-30 0:44:04 | 0:02:19 | 5531 | failed install-port |
| 10.6 | 11093 | 2020-04-02 0:57:37 | 0:11:19 | 5177 | build successful |
| 10.7 | 20139 | 2020-03-30 1:59:09 | 0:02:31 | 5161 | build successful |
| 10.13 | 80533 | 2020-03-26 23:50:27 | 0:04:13 | 23695 | build successful |
| 10.11 | 110581 | 2020-03-25 19:37:40 | 0:03:53 | 32738 | build successful |
| 10.6.x86_64 | 22776 | 2020-03-23 15:35:25 | 0:08:02 | 5180 | build successful |
| 10.15 | 26904 | 2020-03-23 15:32:26 | 0:04:30 | 3969 | build successful |
| 10.12 | 116934 | 2020-03-23 15:31:54 | 0:03:45 | 31737 | build successful |
| 10.14 | 56338 | 2020-03-23 15:31:54 | 0:04:07 | 14422 | build successful |
| 10.10 | 112912 | 2020-03-23 15:31:22 | 0:02:50 | 32801 | build successful |
| 10.9 | 115584 | 2020-03-23 15:31:07 | 0:01:34 | 32746 | failed install-port |
| 10.15 | 23354 | 2020-02-03 22:03:05 | 0:02:04 | 2777 | failed install-port |
| 10.6 | 9356 | 2020-02-03 15:50:45 | 0:06:41 | 3968 | failed install-port |
| 10.13 | 77772 | 2020-02-03 14:59:51 | 0:01:39 | 22505 | failed install-port |
| 10.6.x86_64 | 18807 | 2020-02-03 14:57:50 | 0:06:40 | 3971 | failed install-port |
| 10.14 | 52824 | 2020-02-03 14:48:32 | 0:01:32 | 13232 | failed install-port |
| 10.11 | 107883 | 2020-02-03 14:33:50 | 0:01:16 | 31546 | failed install-port |
| 10.12 | 113354 | 2020-02-03 14:13:59 | 0:01:13 | 30527 | failed install-port |
| 10.8 | 15202 | 2020-02-03 14:07:13 | 0:01:02 | 3944 | failed install-port |
| 10.10 | 109472 | 2020-02-03 13:56:57 | 0:01:23 | 31594 | failed install-port |
| 10.7 | 17064 | 2020-02-03 13:28:45 | 0:01:02 | 3949 | failed install-port |
| 10.15 | 16530 | 2019-12-25 13:56:50 | 0:01:33 | 1717 | failed install-port |