stp (math/stp) Add to my watchlist
STP (Simple Theorem Provider)STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers.
Version: 20150306 License: MIT
GitHub
59 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 14025 | 2024-10-15 0:38:14 | 0:01:14 | 1561 | failed install-port |
| 14 | 44975 | 2024-08-01 10:59:01 | 0:08:40 | 12304 | failed install-port |
| 12.arm64 | 133895 | 2024-07-31 23:21:13 | 0:01:04 | 38235 | failed install-port |
| 13 | 75607 | 2024-07-31 22:27:43 | 0:03:24 | 24099 | failed install-port |
| 13.arm64 | 67653 | 2024-07-31 20:18:02 | 0:00:54 | 23848 | failed install-port |
| 14.arm64 | 38268 | 2024-07-31 9:36:49 | 0:00:55 | 11938 | failed install-port |
| 11 | 163274 | 2024-07-31 9:12:12 | 0:03:38 | 49451 | failed install-port |
| 12 | 114942 | 2024-07-31 9:00:16 | 0:04:05 | 38357 | failed install-port |
| 14.arm64 | 15786 | 2024-01-29 5:32:46 | 0:01:00 | 4893 | failed install-port |
| 14 | 20559 | 2023-12-24 2:30:32 | 0:03:21 | 3439 | failed install-port |
| 11.arm64 | 100362 | 2023-08-24 17:23:56 | 0:00:54 | 36057 | failed install-port |
| 12 | 78867 | 2023-08-19 7:11:22 | 0:07:42 | 24859 | failed install-port |
| 12.arm64 | 103286 | 2023-08-18 17:58:56 | 0:00:42 | 24863 | failed install-port |
| 11 | 124075 | 2023-08-18 11:58:08 | 0:03:17 | 36060 | failed install-port |
| 13 | 44975 | 2023-08-18 11:56:52 | 0:02:41 | 10612 | failed install-port |
| 13.arm64 | 32094 | 2023-08-18 11:40:01 | 0:00:53 | 10469 | failed install-port |
| 13.arm64 | 12276 | 2023-03-09 15:17:05 | 0:00:50 | 4272 | failed install-port |
| 12 | 55928 | 2023-01-13 13:19:10 | 0:05:56 | 16578 | failed install-port |
| 11 | 99444 | 2023-01-13 12:47:25 | 0:03:52 | 27797 | failed install-port |
| 13 | 14767 | 2023-01-13 12:04:41 | 0:03:01 | 2055 | failed install-port |
| 12.arm64 | 82268 | 2023-01-13 11:48:01 | 0:00:50 | 16591 | failed install-port |
| 11.arm64 | 81487 | 2023-01-13 11:17:12 | 0:00:51 | 27774 | failed install-port |
| 12 | 30399 | 2022-05-25 1:29:05 | 0:06:21 | 8005 | failed install-port |
| 11 | 73276 | 2022-05-24 19:54:08 | 0:03:15 | 19228 | failed install-port |
| 11.arm64 | 54626 | 2022-05-24 18:11:53 | 0:00:50 | 19169 | failed install-port |
| 12.arm64 | 51918 | 2022-05-24 16:27:49 | 0:00:49 | 7995 | failed install-port |
| 11.arm64 | 43516 | 2022-01-16 23:10:55 | 0:00:50 | 14857 | failed install-port |
| 12 | 15131 | 2022-01-16 13:20:27 | 0:05:06 | 3552 | failed install-port |
| 12.arm64 | 38985 | 2022-01-16 11:17:16 | 0:00:46 | 3680 | failed install-port |
| 11 | 61009 | 2022-01-16 10:46:04 | 0:03:10 | 14921 | failed install-port |
| 12.arm64 | 23517 | 2021-11-21 18:59:39 | 0:01:22 | 1412 | failed install-port |
| 10.6 | 34579 | 2021-06-20 20:53:35 | 0:10:23 | 19283 | build successful |
| 10.6.x86_64 | 60977 | 2021-06-20 16:58:28 | 0:09:37 | 19254 | build successful |
| 10.15 | 61225 | 2021-06-17 7:54:34 | 0:06:18 | 17372 | build successful |
| 10.14 | 89856 | 2021-06-17 6:58:09 | 0:05:12 | 28377 | build successful |
| 10.11 | 144839 | 2021-06-17 3:54:08 | 0:05:44 | 46724 | build successful |
| 11 | 34593 | 2021-06-17 2:48:24 | 0:06:20 | 7179 | failed install-port |
| 10.13 | 114213 | 2021-06-17 0:11:54 | 0:04:32 | 37669 | build successful |
| 10.12 | 149750 | 2021-06-16 23:20:04 | 0:04:43 | 45716 | build successful |
| 10.10 | 146245 | 2021-06-16 22:56:01 | 0:04:14 | 46791 | build successful |
| 10.6 | 34130 | 2021-06-16 21:39:48 | 0:01:28 | 19180 | failed install-dependencies |
| 10.9 | 150340 | 2021-06-16 20:27:56 | 0:04:34 | 46471 | build successful |
| 10.7 | 56602 | 2021-06-16 18:29:20 | 0:06:41 | 19190 | build successful |
| 10.6.x86_64 | 60179 | 2021-06-16 18:09:36 | 0:01:06 | 19150 | failed install-dependencies |
| 10.8 | 50076 | 2021-06-16 17:45:39 | 0:04:48 | 17052 | build successful |
| 11.arm64 | 23510 | 2021-06-16 14:01:58 | 0:01:24 | 7355 | failed install-port |
| 10.6 | 33872 | 2021-06-14 23:42:03 | 0:14:27 | 19109 | build successful |
| 11 | 34292 | 2021-06-14 16:57:43 | 0:06:16 | 7109 | failed install-port |
| 10.6.x86_64 | 59883 | 2021-06-14 15:08:06 | 0:11:27 | 19079 | build successful |
| 11.arm64 | 23192 | 2021-06-14 13:08:39 | 0:01:26 | 7284 | failed install-port |
| 10.6 | 23033 | 2021-01-03 2:32:36 | 0:01:02 | 13584 | failed install-dependencies |
| 11 | 11705 | 2021-01-03 2:20:35 | 0:07:53 | 1571 | failed install-port |
| 10.6.x86_64 | 43345 | 2021-01-03 2:13:08 | 0:00:57 | 13593 | failed install-dependencies |
| 11.arm64 | 7121 | 2021-01-03 1:52:47 | 0:02:36 | 1668 | failed install-port |
| 10.6 | 8677 | 2020-01-27 12:26:49 | 0:01:02 | 3765 | failed install-dependencies |
| 10.6.x86_64 | 16903 | 2020-01-27 12:14:31 | 0:00:55 | 3750 | failed install-dependencies |
| 10.7 | 15691 | 2020-01-27 12:04:36 | 0:05:15 | 3741 | build successful |
| 10.8 | 14190 | 2020-01-27 11:52:00 | 0:05:28 | 3738 | build successful |
| 10.15 | 16724 | 2019-12-26 2:34:47 | 0:07:36 | 1717 | build successful |