CRAN Package Check Results for Package polysat

Last updated on 2026-06-14 18:50:19 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 21.94 106.91 128.85 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 14.34 71.37 85.71 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 36.00 169.55 205.55 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 39.00 194.82 233.82 OK
r-devel-windows-x86_64 1.7-7 22.00 172.00 194.00 OK
r-patched-linux-x86_64 1.7-7 22.22 101.17 123.39 OK
r-release-linux-x86_64 1.7-7 20.87 100.85 121.72 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 23.00 185.00 208.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 27.00 192.00 219.00 OK

mirror server hosted at Truenetwork, Russian Federation.