CRAN Package Check Results for Package polysat

Last updated on 2026-06-05 12:52:48 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 21.16 106.83 127.99 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 14.75 71.15 85.90 OK
r-devel-linux-x86_64-fedora-clang 1.7-7 35.00 169.66 204.66 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 25.00 174.00 199.00 OK
r-patched-linux-x86_64 1.7-7 22.35 102.33 124.68 OK
r-release-linux-x86_64 1.7-7 19.78 100.72 120.50 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 25.00 214.00 239.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 24.00 193.00 217.00 OK

mirror server hosted at Truenetwork, Russian Federation.