qepcad (math/qepcad) Updated: 1 year, 5 months ago Add to my watchlist
Quantifier Elimination by Partial Cylindrical Algebraic DecompositionVersion: 2023.03.12 License: Restrictive
GitHub
20 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 16136 | 2024-10-18 13:12:49 | 0:01:56 | 2078 | build successful |
| 14.arm64 | 12765 | 2024-01-24 10:06:12 | 0:00:58 | 4561 | build successful |
| 14 | 25700 | 2024-01-10 17:02:59 | 0:04:57 | 4250 | build successful |
| 12.arm64 | 95811 | 2023-05-27 14:40:07 | 0:00:57 | 21789 | build successful |
| 13.arm64 | 23197 | 2023-05-27 9:17:47 | 0:01:03 | 7386 | build successful |
| 10.14 | 167934 | 2023-05-27 7:07:40 | 0:02:15 | 54088 | build successful |
| 10.11 | 223643 | 2023-05-27 5:08:22 | 0:02:25 | 72449 | build successful |
| 10.15 | 143049 | 2023-05-27 4:45:36 | 0:02:47 | 43079 | build successful |
| 10.8 | 135675 | 2023-05-27 3:51:09 | 0:02:13 | 42809 | build successful |
| 10.13 | 193323 | 2023-05-27 3:50:27 | 0:02:14 | 63325 | build successful |
| 10.10 | 226959 | 2023-05-27 2:57:11 | 0:02:09 | 72327 | build successful |
| 10.9 | 233070 | 2023-05-27 2:31:30 | 0:01:41 | 72024 | build successful |
| 11 | 115668 | 2023-05-27 2:24:33 | 0:03:49 | 32995 | build successful |
| 10.7 | 145779 | 2023-05-27 1:54:52 | 0:01:52 | 44745 | build successful |
| 10.6 | 121037 | 2023-05-27 1:11:17 | 0:06:02 | 44971 | build successful |
| 10.6.x86_64 | 156159 | 2023-05-27 0:48:16 | 0:05:45 | 45009 | build successful |
| 10.12 | 232375 | 2023-05-26 23:46:40 | 0:02:39 | 71245 | build successful |
| 12 | 70881 | 2023-05-26 23:30:45 | 0:04:43 | 21788 | build successful |
| 13 | 34631 | 2023-05-26 23:28:29 | 0:03:08 | 7539 | build successful |
| 11.arm64 | 93705 | 2023-05-26 23:15:43 | 0:00:46 | 32981 | build successful |