CRAN Package Check Results for Package polysat

Last updated on 2025-09-13 12:49:30 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 19.18 107.13 126.31 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 13.28 72.68 85.96 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 200.68 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 195.07 OK
r-devel-windows-x86_64 1.7-7 23.00 164.00 187.00 OK
r-patched-linux-x86_64 1.7-7 23.07 100.62 123.69 OK
r-release-linux-x86_64 1.7-7 19.10 103.72 122.82 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 166.00 188.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 25.00 194.00 219.00 OK

mirror server hosted at Truenetwork, Russian Federation.