CRAN Package Check Results for Package polysat

Last updated on 2026-08-02 04:49:27 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.75 73.68 88.43 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 21.36 100.74 122.10 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/Rtmp0FmSd0’ ‘~/tmp/scratch/Rtmp0NNEow’ ‘~/tmp/scratch/Rtmp0vKqrB’ ‘~/tmp/scratch/Rtmp2DGVHI’ ‘~/tmp/scratch/Rtmp2sKOsJ’ ‘~/tmp/scratch/Rtmp32DHMc’ ‘~/tmp/scratch/Rtmp37yO24’ ‘~/tmp/scratch/Rtmp3UWvWF’ ‘~/tmp/scratch/Rtmp3v6d49’ ‘~/tmp/scratch/Rtmp4Xpyls’ ‘~/tmp/scratch/Rtmp4rsCQQ’ ‘~/tmp/scratch/Rtmp4vmXI2’ ‘~/tmp/scratch/Rtmp5hJbs8’ ‘~/tmp/scratch/Rtmp64DiAg’ ‘~/tmp/scratch/Rtmp693Thz’ ‘~/tmp/scratch/Rtmp7bmIO0’ ‘~/tmp/scratch/Rtmp7pUUR8’ ‘~/tmp/scratch/Rtmp8Qoo86’ ‘~/tmp/scratch/Rtmp902hUo’ ‘~/tmp/scratch/Rtmp93wZi2’ ‘~/tmp/scratch/Rtmp9NhrUT’ ‘~/tmp/scratch/Rtmp9zds9O’ ‘~/tmp/scratch/RtmpA9yVXf’ ‘~/tmp/scratch/RtmpAEYTXN’ ‘~/tmp/scratch/RtmpAaz2ft’ ‘~/tmp/scratch/RtmpB19x3r’ ‘~/tmp/scratch/RtmpBDwf0B’ ‘~/tmp/scratch/RtmpBGi3Aj’ ‘~/tmp/scratch/RtmpBMq0eG’ ‘~/tmp/scratch/RtmpBTUANs’ ‘~/tmp/scratch/RtmpBVOKEl’ ‘~/tmp/scratch/RtmpBezILM’ ‘~/tmp/scratch/RtmpCQtskW’ ‘~/tmp/scratch/RtmpCeIIu0’ ‘~/tmp/scratch/RtmpCf3oJ3’ ‘~/tmp/scratch/RtmpClA3vR’ ‘~/tmp/scratch/RtmpDHfjcM’ ‘~/tmp/scratch/RtmpDaGwo8’ ‘~/tmp/scratch/RtmpE6Hraf’ ‘~/tmp/scratch/RtmpEPCBGR’ ‘~/tmp/scratch/RtmpEnJhm2’ ‘~/tmp/scratch/RtmpEsgc4Z’ ‘~/tmp/scratch/RtmpF3HhoZ’ ‘~/tmp/scratch/RtmpFBkrur’ ‘~/tmp/scratch/RtmpG6yX2D’ ‘~/tmp/scratch/RtmpGZmKlC’ ‘~/tmp/scratch/RtmpGpAmZQ’ ‘~/tmp/scratch/RtmpHGmnD6’ ‘~/tmp/scratch/RtmpHTCLHH’ ‘~/tmp/scratch/RtmpI8NfGg’ ‘~/tmp/scratch/RtmpIMO8Bq’ ‘~/tmp/scratch/RtmpISJVtn’ ‘~/tmp/scratch/RtmpJDGfms’ ‘~/tmp/scratch/RtmpJdzLPM’ ‘~/tmp/scratch/RtmpJxb0rN’ ‘~/tmp/scratch/RtmpKKGFCt’ ‘~/tmp/scratch/RtmpKZRhuS’ ‘~/tmp/scratch/RtmpMvoaPi’ ‘~/tmp/scratch/RtmpNsSnbZ’ ‘~/tmp/scratch/RtmpOEQwkZ’ ‘~/tmp/scratch/RtmpOG504p’ ‘~/tmp/scratch/RtmpPEK24t’ ‘~/tmp/scratch/RtmpPipE7a’ ‘~/tmp/scratch/RtmpPkToXw’ ‘~/tmp/scratch/RtmpPm5tef’ ‘~/tmp/scratch/RtmpQ3ok7U’ ‘~/tmp/scratch/RtmpQDbpLx’ ‘~/tmp/scratch/RtmpQa5SIJ’ ‘~/tmp/scratch/RtmpRmQ9XG’ ‘~/tmp/scratch/RtmpSSmyZ6’ ‘~/tmp/scratch/RtmpSk7jjP’ ‘~/tmp/scratch/RtmpSqC3e5’ ‘~/tmp/scratch/RtmpSuLzZo’ ‘~/tmp/scratch/RtmpTH8xCP’ ‘~/tmp/scratch/RtmpTpHbES’ ‘~/tmp/scratch/RtmpVZrW4I’ ‘~/tmp/scratch/RtmpW36dXD’ ‘~/tmp/scratch/RtmpWGLQdd’ ‘~/tmp/scratch/RtmpWmjy4K’ ‘~/tmp/scratch/RtmpWoMXr5’ ‘~/tmp/scratch/RtmpXDNYkA’ ‘~/tmp/scratch/RtmpXrfJAv’ ‘~/tmp/scratch/RtmpYpge0L’ ‘~/tmp/scratch/RtmpZDdymb’ ‘~/tmp/scratch/Rtmpa0K25w’ ‘~/tmp/scratch/RtmpaT4WnZ’ ‘~/tmp/scratch/Rtmpalb2aI’ ‘~/tmp/scratch/RtmpatzmoT’ ‘~/tmp/scratch/Rtmpb5rwZG’ ‘~/tmp/scratch/RtmpbGo5Ca’ ‘~/tmp/scratch/RtmpbjM0w7’ ‘~/tmp/scratch/RtmpbyakCe’ ‘~/tmp/scratch/RtmpdzxStY’ ‘~/tmp/scratch/RtmpeYmQMx’ ‘~/tmp/scratch/RtmpfR0OVo’ ‘~/tmp/scratch/RtmpfR83po’ ‘~/tmp/scratch/RtmpgUEdcT’ ‘~/tmp/scratch/Rtmph6P8yI’ ‘~/tmp/scratch/RtmphLgJiY’ ‘~/tmp/scratch/Rtmpj8C9sg’ ‘~/tmp/scratch/RtmpkDjFyd’ ‘~/tmp/scratch/Rtmpl4xrgB’ ‘~/tmp/scratch/RtmplZtCzP’ ‘~/tmp/scratch/RtmplmQGdw’ ‘~/tmp/scratch/RtmpmMPzp8’ ‘~/tmp/scratch/RtmpmaV4HW’ ‘~/tmp/scratch/Rtmpn0Fw3y’ ‘~/tmp/scratch/RtmpnDLyQf’ ‘~/tmp/scratch/RtmpnXXSNm’ ‘~/tmp/scratch/RtmpnvrrV6’ ‘~/tmp/scratch/Rtmpo82HrX’ ‘~/tmp/scratch/RtmpoDie7q’ ‘~/tmp/scratch/RtmpoPp52N’ ‘~/tmp/scratch/RtmpooGll1’ ‘~/tmp/scratch/RtmporU03o’ ‘~/tmp/scratch/RtmppKRHZJ’ ‘~/tmp/scratch/RtmppLPPBN’ ‘~/tmp/scratch/RtmppY8HJn’ ‘~/tmp/scratch/RtmpqEoyJy’ ‘~/tmp/scratch/RtmpqOuVb9’ ‘~/tmp/scratch/RtmpqmSLJA’ ‘~/tmp/scratch/Rtmpr4zq6F’ ‘~/tmp/scratch/RtmprNxCtX’ ‘~/tmp/scratch/RtmprOEvnO’ ‘~/tmp/scratch/RtmprldaBo’ ‘~/tmp/scratch/Rtmprv7f7N’ ‘~/tmp/scratch/RtmpsegoBP’ ‘~/tmp/scratch/RtmpszkrA2’ ‘~/tmp/scratch/RtmptTzjWl’ ‘~/tmp/scratch/RtmptUsk5G’ ‘~/tmp/scratch/RtmpthkypY’ ‘~/tmp/scratch/RtmpuAE7wH’ ‘~/tmp/scratch/RtmpuFQXX4’ ‘~/tmp/scratch/Rtmpv0ra1k’ ‘~/tmp/scratch/Rtmpvu9sUU’ ‘~/tmp/scratch/RtmpxTzLEW’ ‘~/tmp/scratch/RtmpxXRMaN’ ‘~/tmp/scratch/RtmpxfIWIX’ ‘~/tmp/scratch/RtmpyAHHe9’ ‘~/tmp/scratch/RtmpzgRfkG’ ‘~/tmp/scratch/xvfb-run.0M6NTt’ ‘~/tmp/scratch/xvfb-run.0ZZjby’ ‘~/tmp/scratch/xvfb-run.0wLyX3’ ‘~/tmp/scratch/xvfb-run.1STCAD’ ‘~/tmp/scratch/xvfb-run.1srmPe’ ‘~/tmp/scratch/xvfb-run.38XTyC’ ‘~/tmp/scratch/xvfb-run.4iEdYX’ ‘~/tmp/scratch/xvfb-run.5GNiRZ’ ‘~/tmp/scratch/xvfb-run.6L2Ftk’ ‘~/tmp/scratch/xvfb-run.9o7ASv’ ‘~/tmp/scratch/xvfb-run.ASgupG’ ‘~/tmp/scratch/xvfb-run.AoHbKT’ ‘~/tmp/scratch/xvfb-run.ArJ1yL’ ‘~/tmp/scratch/xvfb-run.BLksVQ’ ‘~/tmp/scratch/xvfb-run.CpONVY’ ‘~/tmp/scratch/xvfb-run.D7ZSVG’ ‘~/tmp/scratch/xvfb-run.DmZCRL’ ‘~/tmp/scratch/xvfb-run.FCLzcR’ ‘~/tmp/scratch/xvfb-run.GYWeOO’ ‘~/tmp/scratch/xvfb-run.HAmCCp’ ‘~/tmp/scratch/xvfb-run.HkElE5’ ‘~/tmp/scratch/xvfb-run.JOyN1o’ ‘~/tmp/scratch/xvfb-run.JeqHez’ ‘~/tmp/scratch/xvfb-run.KtU2O2’ ‘~/tmp/scratch/xvfb-run.MMlkt2’ ‘~/tmp/scratch/xvfb-run.MhSYla’ ‘~/tmp/scratch/xvfb-run.N6FdY8’ ‘~/tmp/scratch/xvfb-run.QVNg23’ ‘~/tmp/scratch/xvfb-run.Qeq1Ap’ ‘~/tmp/scratch/xvfb-run.RlzDbC’ ‘~/tmp/scratch/xvfb-run.TVMByE’ ‘~/tmp/scratch/xvfb-run.U6Jojh’ ‘~/tmp/scratch/xvfb-run.UHmN7j’ ‘~/tmp/scratch/xvfb-run.V504Mq’ ‘~/tmp/scratch/xvfb-run.V66c9M’ ‘~/tmp/scratch/xvfb-run.VClxtV’ ‘~/tmp/scratch/xvfb-run.aDWBB3’ ‘~/tmp/scratch/xvfb-run.akUAgR’ ‘~/tmp/scratch/xvfb-run.bPSgIM’ ‘~/tmp/scratch/xvfb-run.bthV5p’ ‘~/tmp/scratch/xvfb-run.c0iVmi’ ‘~/tmp/scratch/xvfb-run.cbPFek’ ‘~/tmp/scratch/xvfb-run.cwGs6c’ ‘~/tmp/scratch/xvfb-run.gtgDJk’ ‘~/tmp/scratch/xvfb-run.hS1Rbk’ ‘~/tmp/scratch/xvfb-run.hotPy9’ ‘~/tmp/scratch/xvfb-run.iaXyxt’ ‘~/tmp/scratch/xvfb-run.iqH2yF’ ‘~/tmp/scratch/xvfb-run.jW2WNE’ ‘~/tmp/scratch/xvfb-run.ppfPfc’ ‘~/tmp/scratch/xvfb-run.rPeFNf’ ‘~/tmp/scratch/xvfb-run.t1UIRo’ ‘~/tmp/scratch/xvfb-run.tCMZ4o’ ‘~/tmp/scratch/xvfb-run.uj0b3P’ ‘~/tmp/scratch/xvfb-run.urlEvB’ ‘~/tmp/scratch/xvfb-run.vI2PJy’ ‘~/tmp/scratch/xvfb-run.wVmWMR’ ‘~/tmp/scratch/xvfb-run.xpaXFn’ ‘~/tmp/scratch/xvfb-run.zOdsyA’ ‘~/tmp/scratch/xvfb-run.zqAmqw’ Flavor: r-devel-linux-x86_64-debian-gcc