CRAN Package Check Results for Package polysat

Last updated on 2025-12-20 11:50:32 CET.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 20.12 108.36 128.48 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 13.57 72.28 85.85 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 39.00 166.62 205.62 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 38.00 186.03 224.03 OK
r-devel-windows-x86_64 1.7-7 21.00 176.00 197.00 OK
r-patched-linux-x86_64 1.7-7 21.02 95.75 116.77 OK
r-release-linux-x86_64 1.7-7 18.95 96.63 115.58 OK
r-release-macos-arm64 1.7-7 OK
r-release-macos-x86_64 1.7-7 13.00 119.00 132.00 OK
r-release-windows-x86_64 1.7-7 24.00 172.00 196.00 OK
r-oldrel-macos-arm64 1.7-7 OK
r-oldrel-macos-x86_64 1.7-7 15.00 89.00 104.00 OK
r-oldrel-windows-x86_64 1.7-7 21.00 195.00 216.00 OK

mirror server hosted at Truenetwork, Russian Federation.