CRAN Package Check Results for Package polysat

Last updated on 2026-11-07 12:49:44 CET.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 23.51 110.63 134.14 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 14.82 77.14 91.96 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 15.00 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 15.00 76.26 91.26 OK
r-devel-windows-x86_64 1.7-7 24.00 232.00 256.00 OK
r-patched-linux-x86_64 1.7-7 OK
r-release-linux-x86_64 1.7-7 20.01 102.31 122.32 OK
r-release-macos-arm64 1.7-7 5.00 30.00 35.00 OK
r-release-macos-x86_64 1.7-7 14.00 124.00 138.00 OK
r-release-windows-x86_64 1.7-7 25.00 176.00 201.00 OK
r-oldrel-macos-arm64 1.7-7 OK
r-oldrel-macos-x86_64 1.7-7 13.00 119.00 132.00 OK
r-oldrel-windows-x86_64 1.7-7 25.00 189.00 214.00 OK