CRAN Package Check Results for Package polysat

Last updated on 2026-11-10 17:52:48 CET.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 23.38 109.69 133.07 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 14.56 79.49 94.05 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 75.96 90.96 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.92 102.59 123.51 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 33.00 183.00 216.00 OK