Half sieve size, flip meaning of zero and one #2480
daveplAnnotations
2 errors
|
build (PrimeV/solution_1)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c v -prod primes.v" did not complete successfully: exit code: 1
|
|
build (PrimeV/solution_2)
buildx failed with: ERROR: failed to solve: process "/bin/sh -c v -prod primes.v" did not complete successfully: exit code: 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
PlummersSoftwareLLC~Primes~00D0KM.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~03SJ42.dockerbuild
|
49 KB |
|
|
PlummersSoftwareLLC~Primes~046JAN.dockerbuild
|
25.5 KB |
|
|
PlummersSoftwareLLC~Primes~0NDGNI.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~0VHF1G.dockerbuild
|
20.9 KB |
|
|
PlummersSoftwareLLC~Primes~1D5V6C.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~1K1V6O.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~1KOYLI.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~1UWTIU.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~25TGD7.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~2M8QII.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~32IM9J.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~3D89UC.dockerbuild
|
37.9 KB |
|
|
PlummersSoftwareLLC~Primes~3O4BOT.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~4027OX.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~40MBU5.dockerbuild
|
30 KB |
|
|
PlummersSoftwareLLC~Primes~47KBZJ.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~4GD7WJ.dockerbuild
|
30.6 KB |
|
|
PlummersSoftwareLLC~Primes~4WCMNE.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~4WMV7Y.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~5M36FM.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~5X2JF4.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~614E0G.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~6JAX9M.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~6JHJIR.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~7OKL8A.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~7WLF09.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~85LG9M.dockerbuild
|
13.5 KB |
|
|
PlummersSoftwareLLC~Primes~8FJFLH.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~9C9QBI.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~AEK4DU.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~AQXZ64.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~AS1HO3.dockerbuild
|
15.3 KB |
|
|
PlummersSoftwareLLC~Primes~AWB4HY.dockerbuild
|
37.6 KB |
|
|
PlummersSoftwareLLC~Primes~BPJJNN.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~CU8NBX.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~CV8JZZ.dockerbuild
|
25.4 KB |
|
|
PlummersSoftwareLLC~Primes~CZJ463.dockerbuild
|
15.5 KB |
|
|
PlummersSoftwareLLC~Primes~D9GZRR.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~DB2VU4.dockerbuild
|
13.1 KB |
|
|
PlummersSoftwareLLC~Primes~DU2ASV.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~DU2GQ5.dockerbuild
|
21.9 KB |
|
|
PlummersSoftwareLLC~Primes~DVY5WO.dockerbuild
|
17.5 KB |
|
|
PlummersSoftwareLLC~Primes~DWOMZF.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~E4CE63.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~EISZG9.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~EK0C29.dockerbuild
|
19.2 KB |
|
|
PlummersSoftwareLLC~Primes~ERIUWX.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~FFWIAU.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~FKH4BF.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~G3LTOC.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~GJEYW7.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~GXHTUA.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~H3RU2E.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~H4VI6C.dockerbuild
|
24 KB |
|
|
PlummersSoftwareLLC~Primes~HE5PLX.dockerbuild
|
24.1 KB |
|
|
PlummersSoftwareLLC~Primes~HUF8UL.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~HZBFQS.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~I95EP8.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~IIOMB7.dockerbuild
|
14.3 KB |
|
|
PlummersSoftwareLLC~Primes~IOT889.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~JEPKZJ.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~JJG4S8.dockerbuild
|
24.9 KB |
|
|
PlummersSoftwareLLC~Primes~JM8WXW.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~JWFJWW.dockerbuild
|
29.8 KB |
|
|
PlummersSoftwareLLC~Primes~JXFXEM.dockerbuild
|
108 KB |
|
|
PlummersSoftwareLLC~Primes~K81S5P.dockerbuild
|
44.8 KB |
|
|
PlummersSoftwareLLC~Primes~KAL2QW.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~KK5939.dockerbuild
|
16.1 KB |
|
|
PlummersSoftwareLLC~Primes~KN2KS9.dockerbuild
|
36.3 KB |
|
|
PlummersSoftwareLLC~Primes~KW0NRQ.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~KWPOBR.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~L0LMDQ.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~L0RGYQ.dockerbuild
|
12.7 KB |
|
|
PlummersSoftwareLLC~Primes~L33QF0.dockerbuild
|
27.9 KB |
|
|
PlummersSoftwareLLC~Primes~L64D4L.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~L7FV1T.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~L87O3T.dockerbuild
|
14.1 KB |
|
|
PlummersSoftwareLLC~Primes~LENNZO.dockerbuild
|
55.9 KB |
|
|
PlummersSoftwareLLC~Primes~LQ3TI7.dockerbuild
|
15.9 KB |
|
|
PlummersSoftwareLLC~Primes~LRL11R.dockerbuild
|
13 KB |
|
|
PlummersSoftwareLLC~Primes~LVKFUV.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~LW1BDQ.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~M5FAVJ.dockerbuild
|
21.4 KB |
|
|
PlummersSoftwareLLC~Primes~M9RYG6.dockerbuild
|
15.4 KB |
|
|
PlummersSoftwareLLC~Primes~MTJFOB.dockerbuild
|
12.9 KB |
|
|
PlummersSoftwareLLC~Primes~MU2GN1.dockerbuild
|
32.1 KB |
|
|
PlummersSoftwareLLC~Primes~N0M28R.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~N5MDR8.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~N5N2SD.dockerbuild
|
16.3 KB |
|
|
PlummersSoftwareLLC~Primes~NBBXWB.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~NM60Q0.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~NMINUL.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~O700E3.dockerbuild
|
13.6 KB |
|
|
PlummersSoftwareLLC~Primes~OO687W.dockerbuild
|
54.6 KB |
|
|
PlummersSoftwareLLC~Primes~OVL8ZN.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~OXHPGX.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~OY727N.dockerbuild
|
14.4 KB |
|
|
PlummersSoftwareLLC~Primes~P1SWID.dockerbuild
|
25.5 KB |
|
|
PlummersSoftwareLLC~Primes~P6JEXF.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~P95HD9.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~PUKZ7Y.dockerbuild
|
16.8 KB |
|
|
PlummersSoftwareLLC~Primes~PVV0K7.dockerbuild
|
16.5 KB |
|
|
PlummersSoftwareLLC~Primes~Q0EJP7.dockerbuild
|
23.2 KB |
|
|
PlummersSoftwareLLC~Primes~Q4HN3T.dockerbuild
|
17.1 KB |
|
|
PlummersSoftwareLLC~Primes~Q50DUG.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~Q5D1FI.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~Q8LCIK.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~QF861Y.dockerbuild
|
14.9 KB |
|
|
PlummersSoftwareLLC~Primes~QG2Y9M.dockerbuild
|
23.5 KB |
|
|
PlummersSoftwareLLC~Primes~QSO6KF.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~RMIJYI.dockerbuild
|
13.3 KB |
|
|
PlummersSoftwareLLC~Primes~RQ1GGC.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~RSQZJ4.dockerbuild
|
23.7 KB |
|
|
PlummersSoftwareLLC~Primes~RT86R4.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~RXP6SR.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~S7V7A8.dockerbuild
|
18.3 KB |
|
|
PlummersSoftwareLLC~Primes~S8YQ2V.dockerbuild
|
17 KB |
|
|
PlummersSoftwareLLC~Primes~S90X15.dockerbuild
|
17.7 KB |
|
|
PlummersSoftwareLLC~Primes~SBYZ0Z.dockerbuild
|
37.4 KB |
|
|
PlummersSoftwareLLC~Primes~SFUCS8.dockerbuild
|
16 KB |
|
|
PlummersSoftwareLLC~Primes~SG1VIU.dockerbuild
|
14.8 KB |
|
|
PlummersSoftwareLLC~Primes~SK1NWG.dockerbuild
|
13.4 KB |
|
|
PlummersSoftwareLLC~Primes~SU75AZ.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~TJXCHH.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~TLEATG.dockerbuild
|
16.4 KB |
|
|
PlummersSoftwareLLC~Primes~TZ7SPK.dockerbuild
|
16.2 KB |
|
|
PlummersSoftwareLLC~Primes~TZL2C2.dockerbuild
|
17.8 KB |
|
|
PlummersSoftwareLLC~Primes~U4WS4C.dockerbuild
|
15.1 KB |
|
|
PlummersSoftwareLLC~Primes~UCU2TV.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~ULQSSM.dockerbuild
|
15 KB |
|
|
PlummersSoftwareLLC~Primes~UN5ZTH.dockerbuild
|
35.4 KB |
|
|
PlummersSoftwareLLC~Primes~USUSXP.dockerbuild
|
29.6 KB |
|
|
PlummersSoftwareLLC~Primes~V1JC7R.dockerbuild
|
21.8 KB |
|
|
PlummersSoftwareLLC~Primes~V6MZ9Y.dockerbuild
|
23.8 KB |
|
|
PlummersSoftwareLLC~Primes~V6ZTSD.dockerbuild
|
16.7 KB |
|
|
PlummersSoftwareLLC~Primes~VAWOP6.dockerbuild
|
15.6 KB |
|
|
PlummersSoftwareLLC~Primes~VF7U1T.dockerbuild
|
14.5 KB |
|
|
PlummersSoftwareLLC~Primes~VN25VH.dockerbuild
|
13.8 KB |
|
|
PlummersSoftwareLLC~Primes~VOBMLE.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~VS5EZG.dockerbuild
|
13.2 KB |
|
|
PlummersSoftwareLLC~Primes~VWKEOK.dockerbuild
|
15.8 KB |
|
|
PlummersSoftwareLLC~Primes~W6DMR5.dockerbuild
|
30.8 KB |
|
|
PlummersSoftwareLLC~Primes~W7EMY5.dockerbuild
|
32.2 KB |
|
|
PlummersSoftwareLLC~Primes~WNFYSW.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~WRXGIL.dockerbuild
|
18 KB |
|
|
PlummersSoftwareLLC~Primes~WTJXHP.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~WUSOIF.dockerbuild
|
17.9 KB |
|
|
PlummersSoftwareLLC~Primes~X1PWIM.dockerbuild
|
30.1 KB |
|
|
PlummersSoftwareLLC~Primes~X3HZFC.dockerbuild
|
21.6 KB |
|
|
PlummersSoftwareLLC~Primes~X5U854.dockerbuild
|
33.8 KB |
|
|
PlummersSoftwareLLC~Primes~X8M4DL.dockerbuild
|
17.5 KB |
|
|
PlummersSoftwareLLC~Primes~XAB5PW.dockerbuild
|
21.5 KB |
|
|
PlummersSoftwareLLC~Primes~XGFUP0.dockerbuild
|
20.7 KB |
|
|
PlummersSoftwareLLC~Primes~XHNJUI.dockerbuild
|
16.6 KB |
|
|
PlummersSoftwareLLC~Primes~XLVU60.dockerbuild
|
13.7 KB |
|
|
PlummersSoftwareLLC~Primes~Y4GGM3.dockerbuild
|
15.7 KB |
|
|
PlummersSoftwareLLC~Primes~Y6WX1F.dockerbuild
|
15.2 KB |
|
|
PlummersSoftwareLLC~Primes~Y7PAQT.dockerbuild
|
13.9 KB |
|
|
PlummersSoftwareLLC~Primes~Y89ZY8.dockerbuild
|
23.5 KB |
|
|
PlummersSoftwareLLC~Primes~YEM4MJ.dockerbuild
|
16.9 KB |
|
|
PlummersSoftwareLLC~Primes~YJ3Z35.dockerbuild
|
17.4 KB |
|
|
PlummersSoftwareLLC~Primes~YQ6BL4.dockerbuild
|
14 KB |
|
|
PlummersSoftwareLLC~Primes~ZDHRJ0.dockerbuild
|
17.2 KB |
|