CRAN Package Check Results for Package polysat

Last updated on 2026-03-19 05:52:11 CET.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 20.28 106.52 126.80 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 13.59 72.73 86.32 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 35.00 163.26 198.26 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 38.00 173.24 211.24 OK
r-devel-macos-arm64 1.7-7 5.00 31.00 36.00 OK
r-devel-windows-x86_64 1.7-7 24.00 227.00 251.00 OK
r-patched-linux-x86_64 1.7-7 19.50 96.08 115.58 OK
r-release-linux-x86_64 1.7-7 18.73 95.71 114.44 OK
r-release-macos-arm64 1.7-7 OK
r-release-macos-x86_64 1.7-7 13.00 119.00 132.00 OK
r-release-windows-x86_64 1.7-7 22.00 166.00 188.00 OK
r-oldrel-macos-arm64 1.7-7 OK
r-oldrel-macos-x86_64 1.7-7 15.00 89.00 104.00 OK
r-oldrel-windows-x86_64 1.7-7 26.00 207.00 233.00 OK

mirror server hosted at Truenetwork, Russian Federation.