CRAN Package Check Results for Package polysat

Last updated on 2016-09-25 18:48:12.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.5-0 1.74 60.63 62.36 OK
r-devel-linux-x86_64-debian-gcc 1.5-0 1.79 57.52 59.31 OK
r-devel-linux-x86_64-fedora-clang 1.5-0 116.29 OK
r-devel-linux-x86_64-fedora-gcc 1.5-0 109.90 OK
r-devel-macos-x86_64-clang 1.5-0 88.55 OK
r-devel-windows-ix86+x86_64 1.5-0 11.00 149.00 160.00 OK
r-patched-linux-x86_64 1.5-0 1.94 58.38 60.31 OK
r-patched-solaris-sparc 1.5-0 687.50 OK
r-patched-solaris-x86 1.5-0 125.80 OK
r-release-linux-x86_64 1.5-0 1.69 59.14 60.82 OK
r-release-osx-x86_64-mavericks 1.5-0 OK
r-release-windows-ix86+x86_64 1.5-0 6.00 117.00 123.00 OK
r-oldrel-windows-ix86+x86_64 1.5-0 9.00 245.00 254.00 OK