picosat (math/picosat) Add to my watchlist
picosat is a SAT solverVersion: 965 License: MIT
GitHub
19 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 26.arm64 | 9513 | 2025-09-27 7:54:34 | 0:00:11 | 519 | build successful |
| 15.arm64 | 10192 | 2025-03-09 9:52:55 | 0:00:11 | 5410 | build successful |
| 15 | 9602 | 2024-10-10 17:10:56 | 0:00:13 | 876 | build successful |
| 14.arm64 | 12315 | 2024-01-24 3:53:54 | 0:00:09 | 4540 | build successful |
| 14 | 13396 | 2023-11-24 11:05:55 | 0:00:34 | 2145 | build successful |
| 13.arm64 | 3710 | 2023-02-28 6:53:07 | 0:00:09 | 1473 | build successful |
| 13 | 11171 | 2023-01-08 1:54:13 | 0:01:07 | 1614 | build successful |
| 12 | 11383 | 2022-01-07 8:40:11 | 0:00:24 | 3100 | build successful |
| 12.arm64 | 27807 | 2021-11-24 17:03:44 | 0:00:09 | 1549 | build successful |
| 11 | 11661 | 2021-01-02 21:24:13 | 0:00:29 | 1559 | build successful |
| 11.arm64 | 7078 | 2021-01-02 15:21:49 | 0:00:04 | 1656 | build successful |
| 10.15 | 17620 | 2019-12-29 14:17:25 | 0:00:49 | 1789 | build successful |
| 10.5_ppc | 94368 | 2019-03-02 15:48:48 | 0:02:43 | 21868 | build successful |
| 10.13 | 51074 | 2019-03-02 15:47:53 | 0:01:24 | 13554 | build successful |
| 10.14 | 25046 | 2019-03-02 15:46:46 | 0:01:21 | 4264 | build successful |
| 10.10 | 81041 | 2019-03-02 15:45:31 | 0:01:36 | 22633 | build successful |
| 10.12 | 85834 | 2019-03-02 15:44:29 | 0:01:11 | 21578 | build successful |
| 10.11 | 80542 | 2019-03-02 15:43:04 | 0:01:32 | 22585 | build successful |
| 10.9 | 82972 | 2019-03-02 15:41:08 | 0:00:53 | 22578 | build successful |