Package evaluation of AtiyahBott on Julia 1.13.0-DEV.868 (f2a8e18a98*) started at 2025-07-15T15:07:46.270 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.88s ################################################################################ # Installation # Installing AtiyahBott... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [4bc0d046] + AtiyahBott v2.2.2 Updating `~/.julia/environments/v1.13/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.41.11 [ec485272] + ArnoldiMethod v0.4.0 [4bc0d046] + AtiyahBott v2.2.2 [861a8166] + Combinatorics v1.0.3 [34da2185] + Compat v4.17.0 [864edb3b] + DataStructures v0.18.22 [86223c79] + Graphs v1.13.0 [d25df0c9] + Inflate v0.1.5 [692b3bcd] + JLLWrappers v1.7.0 [1914dd2f] + MacroTools v0.5.16 ⌅ [2edaba10] + Nemo v0.44.0 [bac558e1] + OrderedCollections v1.8.1 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [92933f4c] + ProgressMeter v1.10.4 [fb686558] + RandomExtensions v0.4.4 [699a6c99] + SimpleTraits v0.9.4 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [e21ec000] + Antic_jll v0.201.500+0 [d9960996] + Arb_jll v200.2300.0+0 [fcfa6d1b] + Calcium_jll v0.401.100+0 ⌅ [e134572f] + FLINT_jll v200.900.9+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.14.1+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [3a97d323] + MPFR_jll v4.2.2+0 [14a3606d] + MozillaCACerts_jll v2025.5.20 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.5.1+0 [efcefdf7] + PCRE2_jll v10.45.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.33s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 161.68s ################################################################################ # Testing # Testing AtiyahBott Status `/tmp/jl_eoLk2e/Project.toml` [4bc0d046] AtiyahBott v2.2.2 [861a8166] Combinatorics v1.0.3 [86223c79] Graphs v1.13.0 ⌅ [2edaba10] Nemo v0.44.0 [92933f4c] ProgressMeter v1.10.4 [8dfed614] Test v1.11.0 Status `/tmp/jl_eoLk2e/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.41.11 [ec485272] ArnoldiMethod v0.4.0 [4bc0d046] AtiyahBott v2.2.2 [861a8166] Combinatorics v1.0.3 [34da2185] Compat v4.17.0 [864edb3b] DataStructures v0.18.22 [86223c79] Graphs v1.13.0 [d25df0c9] Inflate v0.1.5 [692b3bcd] JLLWrappers v1.7.0 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.44.0 [bac558e1] OrderedCollections v1.8.1 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [92933f4c] ProgressMeter v1.10.4 [fb686558] RandomExtensions v0.4.4 [699a6c99] SimpleTraits v0.9.4 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [e21ec000] Antic_jll v0.201.500+0 [d9960996] Arb_jll v200.2300.0+0 [fcfa6d1b] Calcium_jll v0.401.100+0 ⌅ [e134572f] FLINT_jll v200.900.9+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.14.1+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2025.5.20 [4536629a] OpenBLAS_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.5.1+0 [efcefdf7] PCRE2_jll v10.45.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Testing O1 Progress: 1%[> ] ETA: 0:28:25 Total number of graphs: 288 Current graph: 2     Progress: 13%[=====> ] ETA: 0:01:59 Total number of graphs: 288 Current graph: 37     Progress: 36%[==============> ] ETA: 0:00:32 Total number of graphs: 288 Current graph: 103     Progress: 100%[=========================================] Time: 0:00:17 Total number of graphs: 288 Current graph: 288 Result: 1 Testing Incidency and Contact Progress: 0%[> ] ETA: 0:37:13 Total number of graphs: 1236 Current graph: 2     Progress: 8%[===> ] ETA: 0:02:32 Total number of graphs: 1236 Current graph: 102     Progress: 10%[====> ] ETA: 0:02:06 Total number of graphs: 1236 Current graph: 122     Progress: 11%[====> ] ETA: 0:01:47 Total number of graphs: 1236 Current graph: 142     Progress: 13%[=====> ] ETA: 0:01:32 Total number of graphs: 1236 Current graph: 163     Progress: 15%[======> ] ETA: 0:01:17 Total number of graphs: 1236 Current graph: 191     Progress: 18%[=======> ] ETA: 0:01:07 Total number of graphs: 1236 Current graph: 218     Progress: 20%[========> ] ETA: 0:00:59 Total number of graphs: 1236 Current graph: 244     Progress: 22%[=========> ] ETA: 0:01:13 Total number of graphs: 1236 Current graph: 272     Progress: 26%[==========> ] ETA: 0:00:58 Total number of graphs: 1236 Current graph: 323     Progress: 30%[============> ] ETA: 0:00:48 Total number of graphs: 1236 Current graph: 374     Progress: 34%[==============> ] ETA: 0:00:40 Total number of graphs: 1236 Current graph: 425     Progress: 38%[===============> ] ETA: 0:00:34 Total number of graphs: 1236 Current graph: 472     Progress: 42%[=================> ] ETA: 0:00:29 Total number of graphs: 1236 Current graph: 518     Progress: 46%[==================> ] ETA: 0:00:25 Total number of graphs: 1236 Current graph: 566     Progress: 50%[====================> ] ETA: 0:00:22 Total number of graphs: 1236 Current graph: 612     Progress: 53%[=====================> ] ETA: 0:00:19 Total number of graphs: 1236 Current graph: 654     Progress: 56%[======================> ] ETA: 0:00:17 Total number of graphs: 1236 Current graph: 693     Progress: 59%[========================> ] ETA: 0:00:15 Total number of graphs: 1236 Current graph: 732     Progress: 62%[=========================> ] ETA: 0:00:13 Total number of graphs: 1236 Current graph: 771     Progress: 66%[==========================> ] ETA: 0:00:11 Total number of graphs: 1236 Current graph: 810     Progress: 69%[============================> ] ETA: 0:00:10 Total number of graphs: 1236 Current graph: 849     Progress: 72%[=============================> ] ETA: 0:00:09 Total number of graphs: 1236 Current graph: 886     Progress: 77%[===============================> ] ETA: 0:00:06 Total number of graphs: 1236 Current graph: 956     Progress: 88%[====================================> ] ETA: 0:00:03 Total number of graphs: 1236 Current graph: 1089     Progress: 99%[========================================>] ETA: 0:00:00 Total number of graphs: 1236 Current graph: 1235     Progress: 100%[=========================================] Time: 0:00:22 Total number of graphs: 1236 Current graph: 1236 Result number 1: 1089024 Result number 2: 96512 Result number 3: 9408 Result number 4: 1024 Result number 5: 128 Testing Hypersurface Progress: 0%[> ] ETA: 1:45:35 Total number of graphs: 4580 Current graph: 2     Progress: 2%[> ] ETA: 0:06:27 Total number of graphs: 4580 Current graph: 102     Progress: 4%[=> ] ETA: 0:03:51 Total number of graphs: 4580 Current graph: 170     Progress: 5%[==> ] ETA: 0:02:43 Total number of graphs: 4580 Current graph: 240     Progress: 7%[==> ] ETA: 0:02:06 Total number of graphs: 4580 Current graph: 310     Progress: 8%[===> ] ETA: 0:01:42 Total number of graphs: 4580 Current graph: 380     Progress: 10%[====> ] ETA: 0:01:23 Total number of graphs: 4580 Current graph: 465     Progress: 13%[=====> ] ETA: 0:01:06 Total number of graphs: 4580 Current graph: 574     Progress: 15%[======> ] ETA: 0:00:54 Total number of graphs: 4580 Current graph: 683     Progress: 17%[=======> ] ETA: 0:01:00 Total number of graphs: 4580 Current graph: 793     Progress: 21%[========> ] ETA: 0:00:47 Total number of graphs: 4580 Current graph: 979     Progress: 25%[==========> ] ETA: 0:00:38 Total number of graphs: 4580 Current graph: 1160     Progress: 29%[===========> ] ETA: 0:00:31 Total number of graphs: 4580 Current graph: 1332     Progress: 33%[=============> ] ETA: 0:00:26 Total number of graphs: 4580 Current graph: 1509     Progress: 37%[===============> ] ETA: 0:00:22 Total number of graphs: 4580 Current graph: 1685     Progress: 41%[================> ] ETA: 0:00:19 Total number of graphs: 4580 Current graph: 1859     Progress: 44%[==================> ] ETA: 0:00:17 Total number of graphs: 4580 Current graph: 2031     Progress: 48%[===================> ] ETA: 0:00:14 Total number of graphs: 4580 Current graph: 2199     Progress: 51%[=====================> ] ETA: 0:00:13 Total number of graphs: 4580 Current graph: 2348     Progress: 54%[======================> ] ETA: 0:00:11 Total number of graphs: 4580 Current graph: 2492     Progress: 58%[=======================> ] ETA: 0:00:10 Total number of graphs: 4580 Current graph: 2636     Progress: 61%[========================> ] ETA: 0:00:09 Total number of graphs: 4580 Current graph: 2785     Progress: 64%[==========================> ] ETA: 0:00:08 Total number of graphs: 4580 Current graph: 2932     Progress: 67%[===========================> ] ETA: 0:00:07 Total number of graphs: 4580 Current graph: 3079     Progress: 70%[============================> ] ETA: 0:00:06 Total number of graphs: 4580 Current graph: 3224     Progress: 78%[================================> ] ETA: 0:00:04 Total number of graphs: 4580 Current graph: 3588     Progress: 94%[======================================> ] ETA: 0:00:01 Total number of graphs: 4580 Current graph: 4305     Progress: 100%[=========================================] Time: 0:00:14 Total number of graphs: 4580 Current graph: 4580 Result: 15517926796875//64 Testing R1 Progress: 14%[=====> ] ETA: 0:00:18 Total number of graphs: 14 Current graph: 2     Progress: 21%[========> ] ETA: 0:00:21 Total number of graphs: 14 Current graph: 3     Progress: 93%[======================================> ] ETA: 0:00:01 Total number of graphs: 14 Current graph: 13     Progress: 100%[=========================================] Time: 0:00:11 Total number of graphs: 14 Current graph: 14 Result: 1//64 Testing AtiyahBott tests passed Testing completed after 102.9s PkgEval succeeded after 302.67s