CRAN Package Check Results for Package polysat

Last updated on 2025-08-29 20:52:57 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 20.05 107.84 127.89 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 12.77 72.16 84.93 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 200.68 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 196.90 OK
r-devel-windows-x86_64 1.7-7 26.00 165.00 191.00 OK
r-patched-linux-x86_64 1.7-7 22.13 101.90 124.03 OK
r-release-linux-x86_64 1.7-7 19.71 102.71 122.42 OK
r-release-macos-arm64 1.7-7 63.00 OK
r-release-macos-x86_64 1.7-7 132.00 OK
r-release-windows-x86_64 1.7-7 22.00 168.00 190.00 OK
r-oldrel-macos-arm64 1.7-7 65.00 OK
r-oldrel-macos-x86_64 1.7-7 104.00 OK
r-oldrel-windows-x86_64 1.7-7 26.00 190.00 216.00 OK