CRAN Package Check Results for Package polysat

Last updated on 2026-08-01 03:52:06 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 1.7-7 22.94 104.56 127.50 OK
r-devel-linux-x86_64-debian-gcc 1.7-7 14.46 74.25 88.71 NOTE
r-devel-linux-x86_64-fedora-clang 1.7-7 35.00 167.17 202.17 OK
r-devel-linux-x86_64-fedora-gcc 1.7-7 15.00 74.72 89.72 OK
r-devel-windows-x86_64 1.7-7 25.00 165.00 190.00 OK
r-patched-linux-x86_64 1.7-7 21.86 99.55 121.41 OK
r-release-linux-x86_64 1.7-7 19.78 102.53 122.31 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 181.00 204.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 26.00 199.00 225.00 OK

Check Details

Version: 1.7-7
Check: for new files in some other directories
Result: NOTE Found the following files/directories: ‘~/tmp/scratch/Rtmp0gyT9N’ ‘~/tmp/scratch/Rtmp2a51fC’ ‘~/tmp/scratch/Rtmp375Pwm’ ‘~/tmp/scratch/Rtmp5l6Qba’ ‘~/tmp/scratch/Rtmp5soHAL’ ‘~/tmp/scratch/Rtmp67Ce62’ ‘~/tmp/scratch/Rtmp68B1Ej’ ‘~/tmp/scratch/Rtmp6HCLnV’ ‘~/tmp/scratch/Rtmp7W8LH6’ ‘~/tmp/scratch/Rtmp7abCoS’ ‘~/tmp/scratch/Rtmp8BYF7u’ ‘~/tmp/scratch/Rtmp8EBqx0’ ‘~/tmp/scratch/Rtmp8vbVuq’ ‘~/tmp/scratch/Rtmp9cIbOW’ ‘~/tmp/scratch/Rtmp9ob8w8’ ‘~/tmp/scratch/Rtmp9sN1Sx’ ‘~/tmp/scratch/RtmpAMU3YM’ ‘~/tmp/scratch/RtmpBcVoiN’ ‘~/tmp/scratch/RtmpBzT0tD’ ‘~/tmp/scratch/RtmpCPfuSw’ ‘~/tmp/scratch/RtmpCi0Zit’ ‘~/tmp/scratch/RtmpCxfpoc’ ‘~/tmp/scratch/RtmpD0y4oc’ ‘~/tmp/scratch/RtmpD9PsRm’ ‘~/tmp/scratch/RtmpEEQMcP’ ‘~/tmp/scratch/RtmpFMq4vq’ ‘~/tmp/scratch/RtmpFgZcct’ ‘~/tmp/scratch/RtmpH1aGMI’ ‘~/tmp/scratch/RtmpH77xkB’ ‘~/tmp/scratch/RtmpHH5xJT’ ‘~/tmp/scratch/RtmpHO7sUq’ ‘~/tmp/scratch/RtmpHkf5YJ’ ‘~/tmp/scratch/RtmpHmhNaW’ ‘~/tmp/scratch/RtmpI8iNp0’ ‘~/tmp/scratch/RtmpIXH0ha’ ‘~/tmp/scratch/RtmpIar0q5’ ‘~/tmp/scratch/RtmpKo55IG’ ‘~/tmp/scratch/RtmpKs6s6s’ ‘~/tmp/scratch/RtmpLD3chT’ ‘~/tmp/scratch/RtmpLRO3cz’ ‘~/tmp/scratch/RtmpLrhWxF’ ‘~/tmp/scratch/RtmpMAZsDU’ ‘~/tmp/scratch/RtmpMVRbvQ’ ‘~/tmp/scratch/RtmpMVsrtq’ ‘~/tmp/scratch/RtmpN3LoPl’ ‘~/tmp/scratch/RtmpN5EXFc’ ‘~/tmp/scratch/RtmpNCiv83’ ‘~/tmp/scratch/RtmpNZtV7s’ ‘~/tmp/scratch/RtmpONfl1e’ ‘~/tmp/scratch/RtmpOTd7Q5’ ‘~/tmp/scratch/RtmpOdiLLL’ ‘~/tmp/scratch/RtmpPL3veZ’ ‘~/tmp/scratch/RtmpPOCOqy’ ‘~/tmp/scratch/RtmpPwEhRv’ ‘~/tmp/scratch/RtmpQ19rPY’ ‘~/tmp/scratch/RtmpQXId4s’ ‘~/tmp/scratch/RtmpRlbreV’ ‘~/tmp/scratch/RtmpRxnOdm’ ‘~/tmp/scratch/RtmpSyDeMI’ ‘~/tmp/scratch/RtmpTitXKd’ ‘~/tmp/scratch/RtmpUuokyG’ ‘~/tmp/scratch/RtmpVNsfZm’ ‘~/tmp/scratch/RtmpVr0svI’ ‘~/tmp/scratch/RtmpW6lhHz’ ‘~/tmp/scratch/RtmpW9vy8z’ ‘~/tmp/scratch/RtmpXwL7kj’ ‘~/tmp/scratch/RtmpY4ymue’ ‘~/tmp/scratch/RtmpY5HijF’ ‘~/tmp/scratch/RtmpYHJyDm’ ‘~/tmp/scratch/RtmpYPYuj3’ ‘~/tmp/scratch/RtmpYY5TRm’ ‘~/tmp/scratch/RtmpYYGZmq’ ‘~/tmp/scratch/RtmpYcKzCA’ ‘~/tmp/scratch/RtmpYvWQod’ ‘~/tmp/scratch/RtmpZ2g1Ae’ ‘~/tmp/scratch/RtmpZPrj7p’ ‘~/tmp/scratch/RtmpZpvrH4’ ‘~/tmp/scratch/Rtmpa8dcVY’ ‘~/tmp/scratch/RtmpaNJ5A5’ ‘~/tmp/scratch/RtmpbUiQA9’ ‘~/tmp/scratch/Rtmpbzzqel’ ‘~/tmp/scratch/RtmpcHuEFS’ ‘~/tmp/scratch/RtmpcwT4QI’ ‘~/tmp/scratch/RtmpdxUpLO’ ‘~/tmp/scratch/RtmpeGLfYA’ ‘~/tmp/scratch/Rtmpf6oqw0’ ‘~/tmp/scratch/RtmpfiPpUK’ ‘~/tmp/scratch/RtmpfqxxNl’ ‘~/tmp/scratch/Rtmpg3vo84’ ‘~/tmp/scratch/RtmpgOI0TQ’ ‘~/tmp/scratch/Rtmpgl5ma0’ ‘~/tmp/scratch/Rtmph5LxUH’ ‘~/tmp/scratch/RtmphNaEax’ ‘~/tmp/scratch/RtmphQ92A1’ ‘~/tmp/scratch/RtmphiurU1’ ‘~/tmp/scratch/Rtmpht847y’ ‘~/tmp/scratch/RtmpiCdpfU’ ‘~/tmp/scratch/RtmpiXLPYJ’ ‘~/tmp/scratch/Rtmpic0dtX’ ‘~/tmp/scratch/RtmpjPqRpX’ ‘~/tmp/scratch/RtmpjqEVN3’ ‘~/tmp/scratch/Rtmpk3ed9k’ ‘~/tmp/scratch/RtmpkDAknF’ ‘~/tmp/scratch/Rtmpke5YPX’ ‘~/tmp/scratch/Rtmpl1M8Uy’ ‘~/tmp/scratch/RtmpmQLCxa’ ‘~/tmp/scratch/RtmpmQnXrb’ ‘~/tmp/scratch/Rtmpn2m7lJ’ ‘~/tmp/scratch/Rtmpn545VN’ ‘~/tmp/scratch/RtmpnF6pqo’ ‘~/tmp/scratch/RtmpnM44N5’ ‘~/tmp/scratch/RtmpnfivUL’ ‘~/tmp/scratch/RtmpnnouE6’ ‘~/tmp/scratch/Rtmpnoq8eS’ ‘~/tmp/scratch/RtmpoQ3dEZ’ ‘~/tmp/scratch/RtmpoebOqi’ ‘~/tmp/scratch/RtmppD09Mm’ ‘~/tmp/scratch/RtmppvtKTc’ ‘~/tmp/scratch/Rtmpq15CNQ’ ‘~/tmp/scratch/RtmpqLC77l’ ‘~/tmp/scratch/RtmprpUhRY’ ‘~/tmp/scratch/RtmpsCECiT’ ‘~/tmp/scratch/RtmpsL0kIo’ ‘~/tmp/scratch/RtmpspECPJ’ ‘~/tmp/scratch/RtmptNOIyy’ ‘~/tmp/scratch/RtmpuLwhRp’ ‘~/tmp/scratch/RtmpvXj2Vu’ ‘~/tmp/scratch/Rtmpw0i9Ij’ ‘~/tmp/scratch/Rtmpxu58Gx’ ‘~/tmp/scratch/RtmpyDTjHb’ ‘~/tmp/scratch/xvfb-run.5WKxQc’ ‘~/tmp/scratch/xvfb-run.855YtE’ ‘~/tmp/scratch/xvfb-run.88AvID’ ‘~/tmp/scratch/xvfb-run.8QAKQR’ ‘~/tmp/scratch/xvfb-run.9DLc7R’ ‘~/tmp/scratch/xvfb-run.DB7QdU’ ‘~/tmp/scratch/xvfb-run.EW5pQk’ ‘~/tmp/scratch/xvfb-run.FGUz1u’ ‘~/tmp/scratch/xvfb-run.IHixkU’ ‘~/tmp/scratch/xvfb-run.JBPn92’ ‘~/tmp/scratch/xvfb-run.JFXQ0r’ ‘~/tmp/scratch/xvfb-run.K9yVtn’ ‘~/tmp/scratch/xvfb-run.LRexE9’ ‘~/tmp/scratch/xvfb-run.Ms61P1’ ‘~/tmp/scratch/xvfb-run.ONoXlZ’ ‘~/tmp/scratch/xvfb-run.PkbVHY’ ‘~/tmp/scratch/xvfb-run.QNe4A8’ ‘~/tmp/scratch/xvfb-run.QlP3wW’ ‘~/tmp/scratch/xvfb-run.R2Ja3n’ ‘~/tmp/scratch/xvfb-run.SBBp6U’ ‘~/tmp/scratch/xvfb-run.U6oSdL’ ‘~/tmp/scratch/xvfb-run.VDlEUm’ ‘~/tmp/scratch/xvfb-run.VxmFZ8’ ‘~/tmp/scratch/xvfb-run.XCfrrz’ ‘~/tmp/scratch/xvfb-run.YU1PDV’ ‘~/tmp/scratch/xvfb-run.YgUsqT’ ‘~/tmp/scratch/xvfb-run.ZLd7pV’ ‘~/tmp/scratch/xvfb-run.ZNsIPx’ ‘~/tmp/scratch/xvfb-run.c8muYc’ ‘~/tmp/scratch/xvfb-run.cFtHiw’ ‘~/tmp/scratch/xvfb-run.ddJOsN’ ‘~/tmp/scratch/xvfb-run.eYdV7R’ ‘~/tmp/scratch/xvfb-run.fa7qS4’ ‘~/tmp/scratch/xvfb-run.g1VB1N’ ‘~/tmp/scratch/xvfb-run.g9iDcu’ ‘~/tmp/scratch/xvfb-run.gEhHrx’ ‘~/tmp/scratch/xvfb-run.hY5ikI’ ‘~/tmp/scratch/xvfb-run.hjK851’ ‘~/tmp/scratch/xvfb-run.k32VQ0’ ‘~/tmp/scratch/xvfb-run.lqhNhz’ ‘~/tmp/scratch/xvfb-run.meGZT0’ ‘~/tmp/scratch/xvfb-run.mwpTil’ ‘~/tmp/scratch/xvfb-run.n17zLl’ ‘~/tmp/scratch/xvfb-run.qXZxNN’ ‘~/tmp/scratch/xvfb-run.qYKXus’ ‘~/tmp/scratch/xvfb-run.scITKy’ ‘~/tmp/scratch/xvfb-run.uCE0Gg’ ‘~/tmp/scratch/xvfb-run.uwaZXc’ ‘~/tmp/scratch/xvfb-run.vHbvf1’ ‘~/tmp/scratch/xvfb-run.xyXaGB’ ‘~/tmp/scratch/xvfb-run.xzmAcy’ ‘~/tmp/scratch/xvfb-run.yB8Myi’ Flavor: r-devel-linux-x86_64-debian-gcc