CRAN Package Check Results for Package polysat

Last updated on 2026-01-30 05:50:59 CET.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 19.79 108.18 127.97 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 13.32 72.78 86.10 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 43.00 181.44 224.44 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 37.00 181.50 218.50 OK
r-devel-windows-x86_64 1.7-7 22.00 217.00 239.00 OK
r-patched-linux-x86_64 1.7-7 21.32 95.98 117.30 OK
r-release-linux-x86_64 1.7-7 19.04 95.95 114.99 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 21.00 208.00 229.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 22.00 216.00 238.00 OK

mirror server hosted at Truenetwork, Russian Federation.