CRAN Package Check Results for Package polysat

Last updated on 2026-08-03 07:51:32 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 15.04 73.94 88.98 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/Rtmp0KlexG’ ‘~/tmp/scratch/Rtmp12Jc2T’ ‘~/tmp/scratch/Rtmp1ZsHuU’ ‘~/tmp/scratch/Rtmp2Xt4Ia’ ‘~/tmp/scratch/Rtmp36R3yr’ ‘~/tmp/scratch/Rtmp3dfUPm’ ‘~/tmp/scratch/Rtmp3rgx3d’ ‘~/tmp/scratch/Rtmp3tdtVD’ ‘~/tmp/scratch/Rtmp4QKc5u’ ‘~/tmp/scratch/Rtmp5UW60I’ ‘~/tmp/scratch/Rtmp5Zi5F5’ ‘~/tmp/scratch/Rtmp5qTEYJ’ ‘~/tmp/scratch/Rtmp6P4Y4P’ ‘~/tmp/scratch/Rtmp7jjWZa’ ‘~/tmp/scratch/Rtmp96o99w’ ‘~/tmp/scratch/Rtmp9QoSZE’ ‘~/tmp/scratch/Rtmp9STn0v’ ‘~/tmp/scratch/Rtmp9VQEo9’ ‘~/tmp/scratch/Rtmp9W1JWs’ ‘~/tmp/scratch/Rtmp9bCqza’ ‘~/tmp/scratch/Rtmp9nGyjf’ ‘~/tmp/scratch/RtmpAlZ6xo’ ‘~/tmp/scratch/RtmpBHkKnq’ ‘~/tmp/scratch/RtmpC449LQ’ ‘~/tmp/scratch/RtmpC7r01F’ ‘~/tmp/scratch/RtmpCOlrnu’ ‘~/tmp/scratch/RtmpCZHW2i’ ‘~/tmp/scratch/RtmpDCWNRH’ ‘~/tmp/scratch/RtmpDQVGzP’ ‘~/tmp/scratch/RtmpEO9zeg’ ‘~/tmp/scratch/RtmpEoCXI1’ ‘~/tmp/scratch/RtmpExehwL’ ‘~/tmp/scratch/RtmpFwrOhC’ ‘~/tmp/scratch/RtmpG6GXwC’ ‘~/tmp/scratch/RtmpH2T2X9’ ‘~/tmp/scratch/RtmpHU0GPZ’ ‘~/tmp/scratch/RtmpHihSMw’ ‘~/tmp/scratch/RtmpHsERnj’ ‘~/tmp/scratch/RtmpIO5z50’ ‘~/tmp/scratch/RtmpJSiSTj’ ‘~/tmp/scratch/RtmpJZiIuL’ ‘~/tmp/scratch/RtmpKkwWIU’ ‘~/tmp/scratch/RtmpKzGKc9’ ‘~/tmp/scratch/RtmpL8xWw6’ ‘~/tmp/scratch/RtmpLQNLI8’ ‘~/tmp/scratch/RtmpMDPmI3’ ‘~/tmp/scratch/RtmpMjBsWZ’ ‘~/tmp/scratch/RtmpMoPU8B’ ‘~/tmp/scratch/RtmpMxKNol’ ‘~/tmp/scratch/RtmpNtVqTn’ ‘~/tmp/scratch/RtmpO2x8x6’ ‘~/tmp/scratch/RtmpOVqPnO’ ‘~/tmp/scratch/RtmpOdqc9Y’ ‘~/tmp/scratch/RtmpPflBdx’ ‘~/tmp/scratch/RtmpQME8jf’ ‘~/tmp/scratch/RtmpQwUjSx’ ‘~/tmp/scratch/RtmpR2rMfz’ ‘~/tmp/scratch/RtmpRl2RPX’ ‘~/tmp/scratch/RtmpS5wKCn’ ‘~/tmp/scratch/RtmpSYVe25’ ‘~/tmp/scratch/RtmpT105ot’ ‘~/tmp/scratch/RtmpT1YJtz’ ‘~/tmp/scratch/RtmpTuAeIH’ ‘~/tmp/scratch/RtmpUBkzgl’ ‘~/tmp/scratch/RtmpUF0Bup’ ‘~/tmp/scratch/RtmpUZlslH’ ‘~/tmp/scratch/RtmpUn4mwM’ ‘~/tmp/scratch/RtmpV7NuaC’ ‘~/tmp/scratch/RtmpVbRzTQ’ ‘~/tmp/scratch/RtmpVzV6Uv’ ‘~/tmp/scratch/RtmpW0SyPY’ ‘~/tmp/scratch/RtmpWJ5lXu’ ‘~/tmp/scratch/RtmpWLY0he’ ‘~/tmp/scratch/RtmpWsNXW2’ ‘~/tmp/scratch/RtmpXmdDdn’ ‘~/tmp/scratch/RtmpXqMUdk’ ‘~/tmp/scratch/RtmpYEDF3F’ ‘~/tmp/scratch/RtmpYR98uK’ ‘~/tmp/scratch/RtmpZDiyfP’ ‘~/tmp/scratch/RtmpZYajBT’ ‘~/tmp/scratch/RtmpZfUS58’ ‘~/tmp/scratch/Rtmpa4GGoG’ ‘~/tmp/scratch/Rtmpa5b0ea’ ‘~/tmp/scratch/Rtmpa6hVmK’ ‘~/tmp/scratch/RtmpabEZC8’ ‘~/tmp/scratch/RtmpcZiHwl’ ‘~/tmp/scratch/RtmpeQF365’ ‘~/tmp/scratch/RtmpfMEBIC’ ‘~/tmp/scratch/RtmpgEYnhX’ ‘~/tmp/scratch/RtmpggPrlw’ ‘~/tmp/scratch/Rtmph0C5UO’ ‘~/tmp/scratch/RtmphtA3UM’ ‘~/tmp/scratch/RtmphtHKM0’ ‘~/tmp/scratch/RtmpiHNhAS’ ‘~/tmp/scratch/RtmpiZ6xQ8’ ‘~/tmp/scratch/Rtmpiew2Sz’ ‘~/tmp/scratch/Rtmpigfirw’ ‘~/tmp/scratch/RtmpiokoRP’ ‘~/tmp/scratch/RtmpjZgLZ2’ ‘~/tmp/scratch/RtmpjkaNe3’ ‘~/tmp/scratch/Rtmpk0jBhw’ ‘~/tmp/scratch/Rtmpkt1n2m’ ‘~/tmp/scratch/Rtmpkx7VoE’ ‘~/tmp/scratch/Rtmpl8L0RV’ ‘~/tmp/scratch/RtmplYR0cv’ ‘~/tmp/scratch/RtmplbcehW’ ‘~/tmp/scratch/RtmplceUlK’ ‘~/tmp/scratch/Rtmpmgu6uJ’ ‘~/tmp/scratch/RtmpmkKBPT’ ‘~/tmp/scratch/Rtmpn5IL2I’ ‘~/tmp/scratch/Rtmpn6a4TK’ ‘~/tmp/scratch/RtmpnOkpyc’ ‘~/tmp/scratch/Rtmpo860XU’ ‘~/tmp/scratch/RtmpoNuxoZ’ ‘~/tmp/scratch/Rtmpp3B9Z0’ ‘~/tmp/scratch/RtmppMVRNj’ ‘~/tmp/scratch/RtmppQsRPQ’ ‘~/tmp/scratch/RtmppfIQBH’ ‘~/tmp/scratch/Rtmppk7es9’ ‘~/tmp/scratch/RtmpqAmemt’ ‘~/tmp/scratch/RtmprhQikx’ ‘~/tmp/scratch/RtmprmuOGr’ ‘~/tmp/scratch/RtmpsqGE64’ ‘~/tmp/scratch/Rtmpt06DXW’ ‘~/tmp/scratch/RtmpuTr94Q’ ‘~/tmp/scratch/RtmpuYllpo’ ‘~/tmp/scratch/RtmpudxOfC’ ‘~/tmp/scratch/RtmpvC3MhM’ ‘~/tmp/scratch/RtmpvuYwa6’ ‘~/tmp/scratch/Rtmpw9KSMd’ ‘~/tmp/scratch/RtmpwZ620J’ ‘~/tmp/scratch/RtmpxALsfP’ ‘~/tmp/scratch/RtmpxCyTfI’ ‘~/tmp/scratch/RtmpxHoVOb’ ‘~/tmp/scratch/RtmpxIuhYz’ ‘~/tmp/scratch/Rtmpy7mfTg’ ‘~/tmp/scratch/Rtmpz3aBs3’ ‘~/tmp/scratch/RtmpzGNKGF’ ‘~/tmp/scratch/RtmpzOMXm9’ ‘~/tmp/scratch/RtmpzieXOA’ ‘~/tmp/scratch/RtmpzqHBsg’ ‘~/tmp/scratch/xvfb-run.1kxsj6’ ‘~/tmp/scratch/xvfb-run.1wRRwx’ ‘~/tmp/scratch/xvfb-run.2kmyTC’ ‘~/tmp/scratch/xvfb-run.3E8SLP’ ‘~/tmp/scratch/xvfb-run.4w5b8n’ ‘~/tmp/scratch/xvfb-run.7uN6oh’ ‘~/tmp/scratch/xvfb-run.9Hcap2’ ‘~/tmp/scratch/xvfb-run.9qoxsw’ ‘~/tmp/scratch/xvfb-run.AueiYW’ ‘~/tmp/scratch/xvfb-run.BSIr6A’ ‘~/tmp/scratch/xvfb-run.Byk0TM’ ‘~/tmp/scratch/xvfb-run.CCL077’ ‘~/tmp/scratch/xvfb-run.CLIw0M’ ‘~/tmp/scratch/xvfb-run.DBpa7K’ ‘~/tmp/scratch/xvfb-run.EFRF3q’ ‘~/tmp/scratch/xvfb-run.FASROm’ ‘~/tmp/scratch/xvfb-run.FhdvPZ’ ‘~/tmp/scratch/xvfb-run.GwORRD’ ‘~/tmp/scratch/xvfb-run.I7FAWT’ ‘~/tmp/scratch/xvfb-run.I8bIcZ’ ‘~/tmp/scratch/xvfb-run.J5Xc3x’ ‘~/tmp/scratch/xvfb-run.JyWAdK’ ‘~/tmp/scratch/xvfb-run.KCXuFt’ ‘~/tmp/scratch/xvfb-run.KhMudp’ ‘~/tmp/scratch/xvfb-run.L4KVDv’ ‘~/tmp/scratch/xvfb-run.NhwA2E’ ‘~/tmp/scratch/xvfb-run.NmhM2A’ ‘~/tmp/scratch/xvfb-run.ObQi3i’ ‘~/tmp/scratch/xvfb-run.QKOV5b’ ‘~/tmp/scratch/xvfb-run.Sze3hE’ ‘~/tmp/scratch/xvfb-run.VHV46y’ ‘~/tmp/scratch/xvfb-run.XWmMM1’ ‘~/tmp/scratch/xvfb-run.XqrwIq’ ‘~/tmp/scratch/xvfb-run.ZlDoZ7’ ‘~/tmp/scratch/xvfb-run.ae6ek9’ ‘~/tmp/scratch/xvfb-run.bidYnY’ ‘~/tmp/scratch/xvfb-run.en5pFF’ ‘~/tmp/scratch/xvfb-run.fddFqX’ ‘~/tmp/scratch/xvfb-run.fvZHoz’ ‘~/tmp/scratch/xvfb-run.htyUyU’ ‘~/tmp/scratch/xvfb-run.iE0y7t’ ‘~/tmp/scratch/xvfb-run.jQBpX1’ ‘~/tmp/scratch/xvfb-run.kFNb1G’ ‘~/tmp/scratch/xvfb-run.miAiYp’ ‘~/tmp/scratch/xvfb-run.nzHZXN’ ‘~/tmp/scratch/xvfb-run.nzmwFO’ ‘~/tmp/scratch/xvfb-run.p3uKpX’ ‘~/tmp/scratch/xvfb-run.qlEt3z’ ‘~/tmp/scratch/xvfb-run.rxC57I’ ‘~/tmp/scratch/xvfb-run.s7NwhJ’ ‘~/tmp/scratch/xvfb-run.v721L0’ ‘~/tmp/scratch/xvfb-run.vbwZxf’ ‘~/tmp/scratch/xvfb-run.vm9rdb’ ‘~/tmp/scratch/xvfb-run.w4zVeH’ ‘~/tmp/scratch/xvfb-run.wMDZ3T’ ‘~/tmp/scratch/xvfb-run.xLOq9T’ ‘~/tmp/scratch/xvfb-run.y0SRdN’ Flavor: r-devel-linux-x86_64-debian-gcc