CRAN Package Check Results for Package polysat

Last updated on 2025-07-12 18:49:48 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 19.53 101.60 121.13 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 13.51 68.70 82.21 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 210.94 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 196.38 OK
r-devel-windows-x86_64 1.7-7 22.00 170.00 192.00 OK
r-patched-linux-x86_64 1.7-7 22.38 94.86 117.24 OK
r-release-linux-x86_64 1.7-7 18.95 95.03 113.98 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 23.00 177.00 200.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 24.00 190.00 214.00 OK

mirror server hosted at Truenetwork, Russian Federation.