CRAN Package Check Results for Package polysat

Last updated on 2026-04-25 13:50:35 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 21.04 108.21 129.25 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 13.31 75.30 88.61 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 35.00 162.61 197.61 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 38.00 173.90 211.90 OK
r-patched-linux-x86_64 1.7-7 23.13 102.30 125.43 OK
r-release-linux-x86_64 1.7-7 17.31 96.09 113.40 OK
r-release-macos-arm64 1.7-7 5.00 31.00 36.00 OK
r-release-macos-x86_64 1.7-7 16.00 124.00 140.00 OK
r-release-windows-x86_64 1.7-7 25.00 168.00 193.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 23.00 164.00 187.00 OK

mirror server hosted at Truenetwork, Russian Federation.