Package evaluation to load SymbolicSMT on Julia 1.14.0-DEV.29 (7d6ae45e5a*) started at 2025-11-05T11:27:15.173


################################################################################
# Set-up
#


Set-up completed after 0.11s


################################################################################
# Installation
#

Installing SymbolicSMT...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [a0d8a0e1] + SymbolicSMT v1.1.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [47edcb42] + ADTypes v1.18.0
  [1520ce14] + AbstractTrees v0.4.5
  [7d9f7c33] + Accessors v0.1.42
  [79e6a3ab] + Adapt v4.4.0
  [66dad0bd] + AliasTables v1.1.3
  [4fba245c] + ArrayInterface v7.22.0
  [e2ed5e7c] + Bijections v0.2.2
  [fa961155] + CEnum v0.5.0
  [d360d2e6] + ChainRulesCore v1.26.0
⌅ [861a8166] + Combinatorics v1.0.2
  [38540f10] + CommonSolve v0.2.4
  [f70d9fcc] + CommonWorldInvalidations v1.0.0
  [34da2185] + Compat v4.18.1
  [b152e2b5] + CompositeTypes v0.1.4
  [a33af91c] + CompositionsBase v0.1.2
  [187b0558] + ConstructionBase v1.6.0
  [9a962f9c] + DataAPI v1.16.0
  [864edb3b] + DataStructures v0.19.3
  [b552c78f] + DiffRules v1.15.1
  [31c24e10] + Distributions v0.25.122
  [ffbed154] + DocStringExtensions v0.9.5
  [5b8099bc] + DomainSets v0.7.16
  [7c1d4256] + DynamicPolynomials v0.6.4
  [4e289a0a] + EnumX v1.0.5
  [e2ba6199] + ExprTools v0.1.10
  [55351af7] + ExproniconLite v0.10.14
  [1a297f60] + FillArrays v1.14.0
  [1fa38f19] + Format v1.3.7
  [069b7b12] + FunctionWrappers v1.1.3
  [77dc65aa] + FunctionWrappersWrappers v0.1.3
  [46192b85] + GPUArraysCore v0.2.0
  [34004b35] + HypergeometricFunctions v0.3.28
  [18e54dd8] + IntegerMathUtils v0.1.3
  [8197267c] + IntervalSets v0.7.11
  [3587e190] + InverseFunctions v0.1.17
  [92d709cd] + IrrationalConstants v0.2.6
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [692b3bcd] + JLLWrappers v1.7.1
  [ae98c720] + Jieko v0.2.1
  [b964fa9f] + LaTeXStrings v1.4.0
  [23fbe1c1] + Latexify v0.16.10
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [e6f89c97] + LoggingExtras v1.2.0
  [1914dd2f] + MacroTools v0.5.16
  [e1d29d7a] + Missings v1.2.0
  [2e0e35c7] + Moshi v0.3.7
  [102ac46a] + MultivariatePolynomials v0.5.13
  [d8a4904e] + MutableArithmetics v1.6.7
  [77ba4419] + NaNMath v1.1.3
  [6fe1bfb0] + OffsetArrays v1.17.0
  [bac558e1] + OrderedCollections v1.8.1
  [90014a1f] + PDMats v0.11.36
  [d236fae5] + PreallocationTools v0.4.34
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.0
  [27ebfcd6] + Primes v0.5.7
  [43287f4e] + PtrArrays v1.3.0
  [1fd47b50] + QuadGK v2.11.2
  [3cdcf5f2] + RecipesBase v1.3.4
  [731186ca] + RecursiveArrayTools v3.39.0
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [79098fc4] + Rmath v0.9.0
  [7e49a35a] + RuntimeGeneratedFunctions v0.5.16
  [0bca4576] + SciMLBase v2.124.0
  [a6db7da4] + SciMLLogging v1.3.1
  [c0aeaf25] + SciMLOperators v1.9.0
  [431bcebd] + SciMLPublic v1.0.0
  [53ae85a6] + SciMLStructures v1.7.0
  [efcf1570] + Setfield v1.1.2
  [a2af1166] + SortingAlgorithms v1.2.2
  [276daf66] + SpecialFunctions v2.6.1
  [90137ffa] + StaticArrays v1.9.15
  [1e83bf80] + StaticArraysCore v1.4.4
  [10745b16] + Statistics v1.11.1
  [82ae8749] + StatsAPI v1.7.1
  [2913bbd2] + StatsBase v0.34.7
  [4c63d2b9] + StatsFuns v1.5.2
  [2efcf032] + SymbolicIndexingInterface v0.3.46
⌃ [19f23fe9] + SymbolicLimits v0.2.3
  [a0d8a0e1] + SymbolicSMT v1.1.0
⌅ [d1185830] + SymbolicUtils v3.32.0
  [0c5d862f] + Symbolics v6.57.0
  [ed4db957] + TaskLocalValues v0.1.3
  [8ea1fca8] + TermInterface v2.0.0
  [a759f4b9] + TimerOutputs v0.5.29
  [a7c27f48] + Unityper v0.1.6
  [06b161dc] + Z3 v1.0.4
  [61579ee1] + Ghostscript_jll v9.55.1+0
  [aacddb02] + JpegTurbo_jll v3.1.3+0
  [efe28fd5] + OpenSpecFun_jll v0.5.6+0
  [f50d1b31] + Rmath_jll v0.5.1+0
  [3eaa8342] + libcxxwrap_julia_jll v0.14.5+0
  [1bc4e1ec] + z3_jll v4.15.4+0
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [8ba89e20] + Distributed v1.11.0
  [9fa8497b] + Future v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.13.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [2f01184e] + SparseArrays v1.13.0
  [f489334b] + StyledStrings v1.11.0
  [4607b0f0] + SuiteSparse
  [fa267f1f] + TOML v1.0.3
  [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
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [05823500] + OpenLibm_jll v0.8.7+0
  [bea87d4a] + SuiteSparse_jll v7.10.1+0
  [83775a58] + Zlib_jll v1.3.1+2
  [8e850b90] + libblastrampoline_jll v5.15.0+0
        Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m`

Installation completed after 6.23s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
     Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
    Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
   1432.3 ms  ✓ CEnum
   1746.5 ms  ✓ Combinatorics
    910.1 ms  ✓ Bijections
   3240.5 ms  ✓ DataStructures
   1399.7 ms  ✓ ConstructionBase → ConstructionBaseIntervalSetsExt
   1161.7 ms  ✓ Unityper
    828.7 ms  ✓ LogExpFunctions → LogExpFunctionsInverseFunctionsExt
   2363.1 ms  ✓ Accessors → IntervalSetsExt
   2745.8 ms  ✓ ChainRulesCore
   4675.4 ms  ✓ SciMLOperators
   3413.0 ms  ✓ SymbolicIndexingInterface
   5147.4 ms  ✓ SpecialFunctions
   2532.5 ms  ✓ Z3
   1546.3 ms  ✓ SortingAlgorithms
   2226.6 ms  ✓ QuadGK
   4646.7 ms  ✓ MultivariatePolynomials
   1351.8 ms  ✓ ChainRulesCore → ChainRulesCoreSparseArraysExt
    799.2 ms  ✓ ADTypes → ADTypesChainRulesCoreExt
   2936.7 ms  ✓ LogExpFunctions → LogExpFunctionsChainRulesCoreExt
   1024.0 ms  ✓ ArrayInterface → ArrayInterfaceChainRulesCoreExt
   1465.7 ms  ✓ StaticArrays → StaticArraysChainRulesCoreExt
    987.6 ms  ✓ SciMLOperators → SciMLOperatorsStaticArraysCoreExt
   2154.4 ms  ✓ SciMLOperators → SciMLOperatorsSparseArraysExt
   3034.0 ms  ✓ RecursiveArrayTools
   3126.9 ms  ✓ SpecialFunctions → SpecialFunctionsChainRulesCoreExt
   2780.8 ms  ✓ HypergeometricFunctions
   4261.8 ms  ✓ StatsBase
   4701.8 ms  ✓ MultivariatePolynomials → MultivariatePolynomialsChainRulesCoreExt
   4269.2 ms  ✓ DynamicPolynomials
   2036.0 ms  ✓ RecursiveArrayTools → RecursiveArrayToolsSparseArraysExt
  16031.1 ms  ✓ SciMLBase
   2154.5 ms  ✓ StatsFuns
   1144.4 ms  ✓ PDMats → StatsBaseExt
  33685.2 ms  ✓ SymbolicUtils
   1942.1 ms  ✓ SciMLBase → SciMLBaseChainRulesCoreExt
   2191.3 ms  ✓ StatsFuns → StatsFunsChainRulesCoreExt
   1040.8 ms  ✓ StatsFuns → StatsFunsInverseFunctionsExt
   6649.9 ms  ✓ Distributions
   5256.4 ms  ✓ SymbolicLimits
   2247.7 ms  ✓ Distributions → DistributionsTestExt
   2083.6 ms  ✓ Distributions → DistributionsChainRulesCoreExt
   2397.1 ms  ✓ SciMLBase → SciMLBaseDistributionsExt
  37266.6 ms  ✓ Symbolics
   6334.5 ms  ✓ SymbolicSMT
  44 dependencies successfully precompiled in 196 seconds. 117 already precompiled.

Precompilation completed after 189.11s


################################################################################
# Loading
#

Loading SymbolicSMT...

Loading completed after 5.78s

PkgEval succeeded after 356.11s