CRAN Package Check Results for Package polysat

Last updated on 2026-11-13 17:51:55 CET.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 22.36 110.65 133.01 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 15.48 76.00 91.48 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 15.00 72.88 87.88 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 27.00 236.00 263.00 OK
r-patched-linux-x86_64 1.7-7 23.16 100.25 123.41 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 178.00 203.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 31.00 187.00 218.00 OK