Package evaluation to test SolePostHoc on Julia 1.11.7 (58327cce5e*) started at 2025-10-29T08:43:27.561 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.41s ################################################################################ # Installation # Installing SolePostHoc... Resolving package versions... Installed PyCall ─ v1.96.4 Installed Conda ── v1.10.3 Updating `~/.julia/environments/v1.11/Project.toml` [cf1aa0c3] + SolePostHoc v0.1.0 Updating `~/.julia/environments/v1.11/Manifest.toml` [da404889] + ARFFFiles v1.5.0 [621f4979] + AbstractFFTs v1.5.0 [1520ce14] + AbstractTrees v0.4.5 [7d9f7c33] + Accessors v0.1.42 [79e6a3ab] + Adapt v4.4.0 [66dad0bd] + AliasTables v1.1.3 [dce04be8] + ArgCheck v2.5.0 [ec485272] + ArnoldiMethod v0.4.0 [7d9fca2a] + Arpack v0.5.4 [4fba245c] + ArrayInterface v7.22.0 [198e06fe] + BangBang v0.4.6 [9718e550] + Baselet v0.1.1 [6e4b80f9] + BenchmarkTools v1.6.3 [0e736298] + Bessels v0.2.8 [d1d4a3ce] + BitFlags v0.1.9 [336ed68f] + CSV v0.10.15 [acdeb78f] + Catch22 v0.7.0 ⌅ [324d7699] + CategoricalArrays v0.10.8 ⌅ [af321ab8] + CategoricalDistributions v0.1.15 [aaaa29a8] + Clustering v0.15.8 [da1fd8a2] + CodeTracking v2.0.1 [944b1d66] + CodecZlib v0.7.8 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.1 [861a8166] + Combinatorics v1.0.3 [34da2185] + Compat v4.18.1 [807dbc54] + Compiler v0.1.1 [ab4b797d] + ComplexityMeasures v3.8.5 [a33af91c] + CompositionsBase v0.1.2 [5060bff5] + ConcurrentCollections v0.1.1 [f0e56b4a] + ConcurrentUtilities v2.5.0 [8f4d0f93] + Conda v1.10.3 [187b0558] + ConstructionBase v1.6.0 [a8cc5b0e] + Crayons v4.1.1 [717857b8] + DSP v0.8.4 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.8.1 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [e7dc6d0d] + DataValues v0.4.13 [7806a523] + DecisionTree v0.12.4 [244e2a9f] + DefineSingletons v0.1.2 [5732040d] + DelayEmbeddings v2.9.0 [8bb1440f] + DelimitedFiles v1.9.1 [85a47980] + Dictionaries v0.4.5 [0703355e] + DimensionalData v0.29.24 [6e83dbb3] + Discretizers v3.2.4 [b4f34e82] + Distances v0.10.12 [31c24e10] + Distributions v0.25.122 [ffbed154] + DocStringExtensions v0.9.5 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.6 [7a1cc6ca] + FFTW v1.10.0 [5789e2e9] + FileIO v1.17.1 [48062228] + FilePathsBase v0.9.24 [1a297f60] + FillArrays v1.14.0 [53c48c17] + FixedPointNumbers v0.8.5 [08572546] + FlameGraphs v1.1.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.13.1 [0bc81568] + HAML v0.3.5 [cd3eb016] + HTTP v1.10.19 [34004b35] + HypergeometricFunctions v0.3.28 [93e5fe13] + Hyperopt v0.5.6 [313cdc1a] + Indexing v1.1.1 [9b13fd28] + IndirectArrays v1.0.0 [d25df0c9] + Inflate v0.1.5 [22cec73e] + InitialValues v0.3.1 [842dd82b] + InlineStrings v1.4.5 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.11 [3587e190] + InverseFunctions v0.1.17 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.6 [c8e1da08] + IterTools v1.10.0 [1c8ee90f] + IterableTables v1.0.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 ⌅ [682c06a0] + JSON v0.21.4 [aa1ae85d] + JuliaInterpreter v0.10.6 [b964fa9f] + LaTeXStrings v1.4.0 [a5e1c1ea] + LatinHypercubeSampling v1.9.0 [50d2b5c4] + Lazy v0.15.1 [1d6d02ad] + LeftChildRightSiblingTrees v0.2.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [e6f89c97] + LoggingExtras v1.2.0 [6f1432cf] + LoweredCodeUtils v3.4.4 [c6f25543] + MLJDecisionTreeInterface v0.4.2 [e80e1ace] + MLJModelInterface v1.12.0 [1914dd2f] + MacroTools v0.5.16 [739be429] + MbedTLS v1.1.9 [6fafb56a] + Memoization v0.2.2 [128add7d] + MicroCollections v0.2.0 [e1d29d7a] + Missings v1.2.0 [e54bda2e] + ModalDecisionTrees v0.5.2 [8cc5100c] + MultiData v0.1.4 [77543b7f] + MultiKDE v0.1.1 [6f286f6a] + MultivariateStats v0.10.3 [b8a86587] + NearestNeighbors v0.4.22 [645ca80c] + Neighborhood v0.2.4 [8b6db2d4] + OpenML v0.3.2 [4d8831e6] + OpenSSL v1.5.0 [bac558e1] + OrderedCollections v1.8.1 [90014a1f] + PDMats v0.11.36 [69de0a69] + Parsers v2.8.3 [f27b6e38] + Polynomials v4.1.0 [2dfb63ee] + PooledArrays v1.4.3 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.5.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [33c8b6b6] + ProgressLogging v0.1.5 [92933f4c] + ProgressMeter v1.11.0 [43287f4e] + PtrArrays v1.3.0 [438e738f] + PyCall v1.96.4 [1fd47b50] + QuadGK v2.11.2 [1a8c2f83] + Query v1.0.0 [2aef5ad7] + QueryOperators v0.9.3 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [42d2dcc6] + Referenceables v0.1.3 [ae029012] + Requires v1.3.1 [c5292f4c] + ResumableFunctions v1.0.4 [295af30f] + Revise v3.11.0 [79098fc4] + Rmath v0.9.0 [321657f4] + ScientificTypes v3.1.1 [30f210dd] + ScientificTypesBase v3.0.0 [6e75b9c4] + ScikitLearnBase v0.5.0 [6c6a2e73] + Scratch v1.3.0 [91c51154] + SentinelArrays v1.4.8 [efcf1570] + Setfield v1.1.2 [777ac1f9] + SimpleBufferStream v1.2.0 [699a6c99] + SimpleTraits v0.9.5 [4475fa32] + SoleBase v0.13.4 [123f1ae1] + SoleData v0.16.5 [b002da8f] + SoleLogics v0.13.2 [4249d9c7] + SoleModels v0.10.6 [cf1aa0c3] + SolePostHoc v0.1.0 [a2af1166] + SortingAlgorithms v1.2.2 [276daf66] + SpecialFunctions v2.6.1 [171d559e] + SplittablesBase v0.1.15 [860ef19b] + StableRNGs v1.0.3 [a8a75453] + StatProfilerHTML v1.6.0 [40b095a5] + StateSpaceSets v2.5.2 [90137ffa] + StaticArrays v1.9.15 [1e83bf80] + StaticArraysCore v1.4.4 [64bff920] + StatisticalTraits v3.5.0 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.7 [4c63d2b9] + StatsFuns v1.5.2 [892a3eda] + StringManipulation v0.4.1 [5e66a065] + TableShowUtils v0.2.6 [3783bdb8] + TableTraits v1.0.1 [382cd787] + TableTraitsUtils v1.0.2 [bd369af6] + Tables v1.12.1 [b189fb0b] + ThreadPools v2.1.1 [4239201d] + ThreadSafeDicts v0.1.6 [ac1d9e8a] + ThreadsX v0.1.12 [f3112013] + TimeseriesFeatures v0.6.1 [3bb67fe8] + TranscodingStreams v0.11.3 [28d57a85] + Transducers v0.4.85 [5c2747f8] + URIs v1.6.1 [2fbcfb34] + UniqueVectors v1.2.0 [81def892] + VersionParsing v1.3.0 [29a6e085] + Wavelets v0.10.1 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [a5390f91] + ZipFile v0.10.1 ⌅ [68821587] + Arpack_jll v3.5.1+1 [f5851436] + FFTW_jll v3.3.11+0 [1d5cc7b8] + IntelOpenMP_jll v2025.2.0+0 [856f044c] + MKL_jll v2025.2.0+0 [458c3c95] + OpenSSL_jll v3.5.4+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [f50d1b31] + Rmath_jll v0.5.1+0 [8a07c0c5] + catch22_jll v0.5.0+0 [1317d2d5] + oneTBB_jll v2022.0.0+1 [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.6.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.2.0 [44cfe95a] + Pkg v1.11.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL 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.11.0 [f489334b] + StyledStrings v1.11.0 [4607b0f0] + SuiteSparse [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.1.1+0 [deac9b47] + LibCURL_jll v8.6.0+0 [e37daf67] + LibGit2_jll v1.7.2+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.6+0 [14a3606d] + MozillaCACerts_jll v2023.12.12 [4536629a] + OpenBLAS_jll v0.3.27+1 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.59.0+0 [3f19e933] + p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Building Conda ─→ `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/8f06b0cfa4c514c7b9546756dbae91fcfbc92dc9/build.log` Building PyCall → `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/9816a3826b0ebf49ab4926e2b18842ad8b5c8f04/build.log` Installation completed after 75.89s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 1153.62s ################################################################################ # Testing # Testing SolePostHoc Status `/tmp/jl_5SvBNO/Project.toml` [1520ce14] AbstractTrees v0.4.5 [6e4b80f9] BenchmarkTools v1.6.3 [336ed68f] CSV v0.10.15 ⌅ [324d7699] CategoricalArrays v0.10.8 [aaaa29a8] Clustering v0.15.8 [ab4b797d] ComplexityMeasures v3.8.5 [5060bff5] ConcurrentCollections v0.1.1 [8f4d0f93] Conda v1.10.3 [a93c6f00] DataFrames v1.8.1 ⌅ [864edb3b] DataStructures v0.18.22 [7806a523] DecisionTree v0.12.4 [8bb1440f] DelimitedFiles v1.9.1 [93e5fe13] Hyperopt v0.5.6 [c8e1da08] IterTools v1.10.0 ⌅ [682c06a0] JSON v0.21.4 [add582a8] MLJ v0.21.0 [a7f614a8] MLJBase v1.9.2 [c6f25543] MLJDecisionTreeInterface v0.4.2 [e54bda2e] ModalDecisionTrees v0.5.2 [6f286f6a] MultivariateStats v0.10.3 [b8a86587] NearestNeighbors v0.4.22 [92933f4c] ProgressMeter v1.11.0 [438e738f] PyCall v1.96.4 [189a3867] Reexport v1.2.2 [efcf1570] Setfield v1.1.2 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.5 [b002da8f] SoleLogics v0.13.2 [4249d9c7] SoleModels v0.10.6 [cf1aa0c3] SolePostHoc v0.1.0 [a8a75453] StatProfilerHTML v1.6.0 [10745b16] Statistics v1.11.1 [2913bbd2] StatsBase v0.34.7 [ac1d9e8a] ThreadsX v0.1.12 [ade2ca70] Dates v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [44cfe95a] Pkg v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_5SvBNO/Manifest.toml` [da404889] ARFFFiles v1.5.0 [621f4979] AbstractFFTs v1.5.0 [1520ce14] AbstractTrees v0.4.5 [7d9f7c33] Accessors v0.1.42 [79e6a3ab] Adapt v4.4.0 [66dad0bd] AliasTables v1.1.3 [dce04be8] ArgCheck v2.5.0 [ec485272] ArnoldiMethod v0.4.0 [7d9fca2a] Arpack v0.5.4 [4fba245c] ArrayInterface v7.22.0 [a9b6321e] Atomix v1.1.2 [198e06fe] BangBang v0.4.6 [9718e550] Baselet v0.1.1 [6e4b80f9] BenchmarkTools v1.6.3 [0e736298] Bessels v0.2.8 [50ba71b6] BitBasis v0.9.10 [d1d4a3ce] BitFlags v0.1.9 [336ed68f] CSV v0.10.15 [acdeb78f] Catch22 v0.7.0 ⌅ [324d7699] CategoricalArrays v0.10.8 ⌅ [af321ab8] CategoricalDistributions v0.1.15 [d360d2e6] ChainRulesCore v1.26.0 [aaaa29a8] Clustering v0.15.8 [da1fd8a2] CodeTracking v2.0.1 [944b1d66] CodecZlib v0.7.8 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.1 [861a8166] Combinatorics v1.0.3 [34da2185] Compat v4.18.1 [807dbc54] Compiler v0.1.1 [ab4b797d] ComplexityMeasures v3.8.5 [a33af91c] CompositionsBase v0.1.2 [ed09eef8] ComputationalResources v0.3.2 [5060bff5] ConcurrentCollections v0.1.1 [f0e56b4a] ConcurrentUtilities v2.5.0 [8f4d0f93] Conda v1.10.3 [187b0558] ConstructionBase v1.6.0 [6add18c4] ContextVariablesX v0.1.3 [a8cc5b0e] Crayons v4.1.1 [717857b8] DSP v0.8.4 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.8.1 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [e7dc6d0d] DataValues v0.4.13 [7806a523] DecisionTree v0.12.4 [244e2a9f] DefineSingletons v0.1.2 [5732040d] DelayEmbeddings v2.9.0 [8bb1440f] DelimitedFiles v1.9.1 [85a47980] Dictionaries v0.4.5 [0703355e] DimensionalData v0.29.24 [6e83dbb3] Discretizers v3.2.4 [b4f34e82] Distances v0.10.12 [31c24e10] Distributions v0.25.122 [ffbed154] DocStringExtensions v0.9.5 [792122b4] EarlyStopping v0.3.0 [460bff9d] ExceptionUnwrapping v0.1.11 [411431e0] Extents v0.1.6 [7a1cc6ca] FFTW v1.10.0 [cc61a311] FLoops v0.2.2 [b9860ae5] FLoopsBase v0.1.1 [33837fe5] FeatureSelection v0.2.3 [5789e2e9] FileIO v1.17.1 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.14.0 [53c48c17] FixedPointNumbers v0.8.5 [08572546] FlameGraphs v1.1.0 [069b7b12] FunctionWrappers v1.1.3 [46192b85] GPUArraysCore v0.2.0 [86223c79] Graphs v1.13.1 [0bc81568] HAML v0.3.5 [cd3eb016] HTTP v1.10.19 [076d061b] HashArrayMappedTries v0.2.0 [34004b35] HypergeometricFunctions v0.3.28 [93e5fe13] Hyperopt v0.5.6 [313cdc1a] Indexing v1.1.1 [9b13fd28] IndirectArrays v1.0.0 [d25df0c9] Inflate v0.1.5 [22cec73e] InitialValues v0.3.1 [842dd82b] InlineStrings v1.4.5 [85a1e053] Interfaces v0.3.2 [8197267c] IntervalSets v0.7.11 [3587e190] InverseFunctions v0.1.17 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [1c8ee90f] IterableTables v1.0.0 [b3c1a2ee] IterationControl v0.5.4 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 ⌅ [682c06a0] JSON v0.21.4 [aa1ae85d] JuliaInterpreter v0.10.6 [b14d175d] JuliaVariables v0.2.4 [63c18a36] KernelAbstractions v0.9.38 [b964fa9f] LaTeXStrings v1.4.0 [a5e1c1ea] LatinHypercubeSampling v1.9.0 [50d2b5c4] Lazy v0.15.1 ⌅ [92ad9a40] LearnAPI v1.0.1 [1d6d02ad] LeftChildRightSiblingTrees v0.2.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.2.0 [6f1432cf] LoweredCodeUtils v3.4.4 [c2834f40] MLCore v1.0.0 ⌅ [64a0f543] MLFlowClient v0.5.1 [add582a8] MLJ v0.21.0 [45f359ea] MLJBalancing v0.1.5 [a7f614a8] MLJBase v1.9.2 [c6f25543] MLJDecisionTreeInterface v0.4.2 [50ed68f4] MLJEnsembles v0.4.3 [7b7b8358] MLJFlow v0.5.0 [614be32b] MLJIteration v0.6.3 [e80e1ace] MLJModelInterface v1.12.0 [d491faf4] MLJModels v0.18.1 [23777cdb] MLJTransforms v0.1.3 [03970b2e] MLJTuning v0.8.8 [d8e11817] MLStyle v0.4.17 [f1d291b0] MLUtils v0.4.8 [1914dd2f] MacroTools v0.5.16 [739be429] MbedTLS v1.1.9 [6fafb56a] Memoization v0.2.2 [128add7d] MicroCollections v0.2.0 [e1d29d7a] Missings v1.2.0 [e54bda2e] ModalDecisionTrees v0.5.2 [8cc5100c] MultiData v0.1.4 [77543b7f] MultiKDE v0.1.1 [6f286f6a] MultivariateStats v0.10.3 [872c559c] NNlib v0.9.31 [71a1bf82] NameResolution v0.1.5 [b8a86587] NearestNeighbors v0.4.22 [645ca80c] Neighborhood v0.2.4 [8b6db2d4] OpenML v0.3.2 [4d8831e6] OpenSSL v1.5.0 [bac558e1] OrderedCollections v1.8.1 [90014a1f] PDMats v0.11.36 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.3 [f27b6e38] Polynomials v4.1.0 [2dfb63ee] PooledArrays v1.4.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.5.0 [8162dcfd] PrettyPrint v0.2.0 [54e16d92] PrettyPrinting v0.4.2 ⌅ [08abe8d2] PrettyTables v2.4.0 [33c8b6b6] ProgressLogging v0.1.5 [92933f4c] ProgressMeter v1.11.0 [43287f4e] PtrArrays v1.3.0 [438e738f] PyCall v1.96.4 [1fd47b50] QuadGK v2.11.2 [1a8c2f83] Query v1.0.0 [2aef5ad7] QueryOperators v0.9.3 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [42d2dcc6] Referenceables v0.1.3 [05181044] RelocatableFolders v1.0.1 [ae029012] Requires v1.3.1 [c5292f4c] ResumableFunctions v1.0.4 [295af30f] Revise v3.11.0 [79098fc4] Rmath v0.9.0 [321657f4] ScientificTypes v3.1.1 [30f210dd] ScientificTypesBase v3.0.0 [6e75b9c4] ScikitLearnBase v0.5.0 [7e506255] ScopedValues v1.5.0 [6c6a2e73] Scratch v1.3.0 [91c51154] SentinelArrays v1.4.8 [efcf1570] Setfield v1.1.2 [605ecd9f] ShowCases v0.1.0 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.5 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.5 [b002da8f] SoleLogics v0.13.2 [4249d9c7] SoleModels v0.10.6 [cf1aa0c3] SolePostHoc v0.1.0 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.6.1 [171d559e] SplittablesBase v0.1.15 [860ef19b] StableRNGs v1.0.3 [a8a75453] StatProfilerHTML v1.6.0 [40b095a5] StateSpaceSets v2.5.2 [90137ffa] StaticArrays v1.9.15 [1e83bf80] StaticArraysCore v1.4.4 ⌅ [a19d573c] StatisticalMeasures v0.2.1 [c062fc1d] StatisticalMeasuresBase v0.1.3 [64bff920] StatisticalTraits v3.5.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.7 [4c63d2b9] StatsFuns v1.5.2 [892a3eda] StringManipulation v0.4.1 [ab02a1b2] TableOperations v1.2.0 [5e66a065] TableShowUtils v0.2.6 [3783bdb8] TableTraits v1.0.1 [382cd787] TableTraitsUtils v1.0.2 [bd369af6] Tables v1.12.1 [b189fb0b] ThreadPools v2.1.1 [4239201d] ThreadSafeDicts v0.1.6 [ac1d9e8a] ThreadsX v0.1.12 [f3112013] TimeseriesFeatures v0.6.1 [3bb67fe8] TranscodingStreams v0.11.3 [28d57a85] Transducers v0.4.85 [5c2747f8] URIs v1.6.1 [3a884ed6] UnPack v1.0.2 [2fbcfb34] UniqueVectors v1.2.0 [013be700] UnsafeAtomics v0.3.0 [81def892] VersionParsing v1.3.0 [29a6e085] Wavelets v0.10.1 [ea10d353] WeakRefStrings v1.4.2 [76eceee3] WorkerUtilities v1.6.1 [a5390f91] ZipFile v0.10.1 ⌅ [68821587] Arpack_jll v3.5.1+1 [f5851436] FFTW_jll v3.3.11+0 [1d5cc7b8] IntelOpenMP_jll v2025.2.0+0 [856f044c] MKL_jll v2025.2.0+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 [8a07c0c5] catch22_jll v0.5.0+0 [1317d2d5] oneTBB_jll v2022.0.0+1 [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.6.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL 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.11.0 [f489334b] StyledStrings v1.11.0 [4607b0f0] SuiteSparse [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.1.1+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... WARNING: Method definition _dummy_backedge() in module Memoization at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:49 overwritten at /home/pkgeval/.julia/packages/Memoization/ON3Za/src/Memoization.jl:65. [ Info: Running `conda config --set pip_interop_enabled true --file /home/pkgeval/.julia/conda/3/x86_64/condarc-julia.yml` in root environment Julia version: 1.11.7 ################################################## TEST: rule_extraction.jl Precompiling MLJ... 1542.6 ms ✓ BangBang → BangBangChainRulesCoreExt 1173.2 ms ✓ TableOperations 2528.3 ms ✓ FeatureSelection 2823.2 ms ✓ MLCore 2092.1 ms ✓ BitBasis 1502.3 ms ✓ StaticArrays → StaticArraysChainRulesCoreExt 14495.7 ms ✓ FLoops 8417.4 ms ✓ KernelAbstractions 3684.2 ms ✓ MLFlowClient 5959.0 ms ✓ Distributions → DistributionsChainRulesCoreExt 26842.9 ms ✓ MLJModels 16840.3 ms ✓ MLJTransforms 2227.3 ms ✓ KernelAbstractions → SparseArraysExt 1755.9 ms ✓ KernelAbstractions → LinearAlgebraExt 13538.1 ms ✓ NNlib 2662.7 ms ✓ NNlib → NNlibSpecialFunctionsExt 17476.3 ms ✓ MLUtils 19048.7 ms ✓ StatisticalMeasuresBase 46182.5 ms ✓ StatisticalMeasures 21912.6 ms ✓ MLJBase 15763.8 ms ✓ MLJEnsembles 11332.7 ms ✓ StatisticalMeasures → ScientificTypesExt 18079.9 ms ✓ MLJBalancing 13442.2 ms ✓ MLJBase → DefaultMeasuresExt 18475.0 ms ✓ MLJIteration 17105.3 ms ✓ MLJTuning 17534.7 ms ✓ MLJFlow 26908.7 ms ✓ MLJ 28 dependencies successfully precompiled in 358 seconds. 183 already precompiled. Precompiling DimensionalDataChainRulesCoreExt... 1859.5 ms ✓ DimensionalData → DimensionalDataChainRulesCoreExt 1 dependency successfully precompiled in 2 seconds. 33 already precompiled. Precompiling PolynomialsChainRulesCoreExt... 2810.8 ms ✓ Polynomials → PolynomialsChainRulesCoreExt 1 dependency successfully precompiled in 3 seconds. 24 already precompiled. Precompiling NNlibFFTWExt... 2645.1 ms ✓ NNlib → NNlibFFTWExt 1 dependency successfully precompiled in 3 seconds. 56 already precompiled. Precompiling MLJDecisionTreeInterface... 6306.1 ms ✓ MLJDecisionTreeInterface 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "versicolor" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 min_coverage = nothing 8.499092 seconds (3.12 M allocations: 159.258 MiB, 1.33% gc time, 99.89% compilation time) 12.299499 seconds (2.70 M allocations: 138.719 MiB, 99.90% compilation time) Parsing atom: V4 < 0.8 Parsing atom: V4 ≥ 1.75 Parsing atom: V4 < 0.8 Parsing atom: V4 < 0.8 Parsing atom: V4 ≥ 1.75 min_coverage = 1.0 0.001460 seconds (7.41 k allocations: 187.312 KiB) 0.008416 seconds (18.99 k allocations: 2.583 MiB) ==================================================================================================== PART 2.a: STARTER RULESET EXTRACTION ==================================================================================================== Extracted 5 rules in 0.432482382s ==================================================================================================== PART 2.b: ATOM EXTRACTION ==================================================================================================== Extracted 4 unique atoms from 4 total ==================================================================================================== PART 3: TABLE GENERATION ==================================================================================================== ==================================================================================================== PART 4: PROCESS RESULTS ==================================================================================================== Detailed results: [CategoricalArrays.CategoricalValue{String, UInt32}["virginica"]] (3 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"]] (3 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["setosa"]] (2 combinations) Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] Using abc_minimize function with Artifact loader !! /home/pkgeval/.julia/artifacts/2fde6d24ce7bffccc0a66a5447787bd95a057cca/extracted/abc/abc: error while loading shared libraries: libreadline.so.8: cannot open shared object file: No such file or directory End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] ========================== Terms before: 2 Terms after: 2 No change in formula complexity ========================== pre dnf-domain minimized_formula:DNF with 2 disjuncts and literals of type Atom: (V4 < 0.8) ∧ (V3 ≥ 4.95) (V4 < 0.8) ∧ (V3 < 4.95) post dnf-domain minimization:DNF with 2 disjuncts and literals of type Atom: (V4 < 0.8) ∧ (V3 ≥ 4.95) (V4 < 0.8) ∧ (V3 < 4.95) Generated rule: ▣ ((V4 < 0.8) ∧ (V3 ≥ 4.95)) ∨ ((V4 < 0.8) ∧ (V3 < 4.95)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] Using abc_minimize function with Artifact loader !! /home/pkgeval/.julia/artifacts/2fde6d24ce7bffccc0a66a5447787bd95a057cca/extracted/abc/abc: error while loading shared libraries: libreadline.so.8: cannot open shared object file: No such file or directory End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] ========================== Terms before: 3 Terms after: 3 No change in formula complexity ========================== pre dnf-domain minimized_formula:DNF with 3 disjuncts and literals of type Atom: (V4 ≥ 1.75) ∧ (V3 ≥ 4.95) (V4 < 1.6) ∧ (V4 ≥ 0.8) ∧ (V3 ≥ 4.95) (V4 ≥ 1.75) ∧ (V3 < 4.95) post dnf-domain minimization:DNF with 3 disjuncts and literals of type Atom: (V4 ≥ 1.75) ∧ (V3 ≥ 4.95) (V4 < 1.6) ∧ (V4 ≥ 0.8) ∧ (V3 ≥ 4.95) (V4 ≥ 1.75) ∧ (V3 < 4.95) Generated rule: ▣ ((V4 ≥ 1.75) ∧ (V3 ≥ 4.95)) ∨ ((V4 < 1.6) ∧ (V4 ≥ 0.8) ∧ (V3 ≥ 4.95)) ∨ ((V4 ≥ 1.75) ∧ (V3 < 4.95)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] Using abc_minimize function with Artifact loader !! /home/pkgeval/.julia/artifacts/2fde6d24ce7bffccc0a66a5447787bd95a057cca/extracted/abc/abc: error while loading shared libraries: libreadline.so.8: cannot open shared object file: No such file or directory End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ========================== Terms before: 3 Terms after: 3 No change in formula complexity ========================== pre dnf-domain minimized_formula:DNF with 3 disjuncts and literals of type Atom: (V4 < 1.75) ∧ (V4 ≥ 1.6) ∧ (V3 ≥ 4.95) (V4 < 1.75) ∧ (V4 ≥ 1.6) ∧ (V3 < 4.95) (V4 < 1.6) ∧ (V4 ≥ 0.8) ∧ (V3 < 4.95) post dnf-domain minimization:DNF with 3 disjuncts and literals of type Atom: (V4 < 1.75) ∧ (V4 ≥ 1.6) ∧ (V3 ≥ 4.95) (V4 < 1.75) ∧ (V4 ≥ 1.6) ∧ (V3 < 4.95) (V4 < 1.6) ∧ (V4 ≥ 0.8) ∧ (V3 < 4.95) Generated rule: ▣ ((V4 < 1.75) ∧ (V4 ≥ 1.6) ∧ (V3 ≥ 4.95)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.6) ∧ (V3 < 4.95)) ∨ ((V4 < 1.6) ∧ (V4 ≥ 0.8) ∧ (V3 < 4.95)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ==================================================================================================== PART 2.a: STARTER RULESET EXTRACTION ==================================================================================================== Extracted 5 rules in 0.000603364s ==================================================================================================== PART 2.b: ATOM EXTRACTION ==================================================================================================== Extracted 4 unique atoms from 4 total ==================================================================================================== PART 3: TABLE GENERATION ==================================================================================================== ==================================================================================================== PART 4: PROCESS RESULTS ==================================================================================================== Detailed results: [CategoricalArrays.CategoricalValue{String, UInt32}["virginica"]] (3 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"]] (3 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["setosa"]] (2 combinations) Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] ============================================ Looking for espresso at nothing End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] ========================== Terms before: 2 Terms after: 1 Reduction: 1 terms (50.0% decrease) Compression ratio: 2.0x ========================== pre dnf-domain minimized_formula:LeftmostDisjunctiveForm with 1 Atom{ScalarCondition{Float64, VariableValue{Int64, Nothing}, ScalarMetaCondition{VariableValue{Int64, Nothing}, typeof(<)}}} grandchildren: V4 < 0.8 post dnf-domain minimization:LeftmostDisjunctiveForm with 1 Atom{ScalarCondition{Float64, VariableValue{Int64, Nothing}, ScalarMetaCondition{VariableValue{Int64, Nothing}, typeof(<)}}} grandchildren: V4 < 0.8 Generated rule: ▣ (V4 < 0.8) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] ============================================ Looking for espresso at nothing End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] ========================== Terms before: 3 Terms after: 2 Reduction: 1 terms (33.3% decrease) Compression ratio: 1.5x ========================== pre dnf-domain minimized_formula:LeftmostDisjunctiveForm with 2 grandchildren: V4 ≥ 1.75 (V3 ≥ 4.95) ∧ (V4 ≥ 0.8) ∧ (V4 < 1.6) post dnf-domain minimization:LeftmostDisjunctiveForm with 2 grandchildren: V4 ≥ 1.75 (V3 ≥ 4.95) ∧ (V4 ≥ 0.8) ∧ (V4 < 1.6) Generated rule: ▣ (V4 ≥ 1.75) ∨ ((V3 ≥ 4.95) ∧ (V4 ≥ 0.8) ∧ (V4 < 1.6)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ============================================ Looking for espresso at nothing End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ========================== Terms before: 3 Terms after: 2 Reduction: 1 terms (33.3% decrease) Compression ratio: 1.5x ========================== pre dnf-domain minimized_formula:DNF with 2 disjuncts and literals of type Atom: (V4 ≥ 1.6) ∧ (V4 < 1.75) (V3 < 4.95) ∧ (V4 ≥ 0.8) ∧ (V4 < 1.6) post dnf-domain minimization:DNF with 2 disjuncts and literals of type Atom: (V4 ≥ 1.6) ∧ (V4 < 1.75) (V3 < 4.95) ∧ (V4 ≥ 0.8) ∧ (V4 < 1.6) Generated rule: ▣ ((V4 ≥ 1.6) ∧ (V4 < 1.75)) ∨ ((V3 < 4.95) ∧ (V4 ≥ 0.8) ∧ (V4 < 1.6)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ==================================================================================================== PART 2.a: STARTER RULESET EXTRACTION ==================================================================================================== Extracted 14 rules in 2.039898016s ==================================================================================================== PART 2.b: ATOM EXTRACTION ==================================================================================================== Extracted 10 unique atoms from 12 total ==================================================================================================== PART 3: TABLE GENERATION ==================================================================================================== ==================================================================================================== PART 4: PROCESS RESULTS ==================================================================================================== Detailed results: [CategoricalArrays.CategoricalValue{String, UInt32}["virginica"]] (69 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"]] (33 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["setosa"]] (26 combinations) Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] Using abc_minimize function with Artifact loader !! /home/pkgeval/.julia/artifacts/2fde6d24ce7bffccc0a66a5447787bd95a057cca/extracted/abc/abc: error while loading shared libraries: libreadline.so.8: cannot open shared object file: No such file or directory End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] ========================== Terms before: 26 Terms after: 26 No change in formula complexity ========================== pre dnf-domain minimized_formula:DNF with 26 disjuncts and literals of type Atom: (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) post dnf-domain minimization:DNF with 26 disjuncts and literals of type Atom: (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) Generated rule: ▣ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] Using abc_minimize function with Artifact loader !! /home/pkgeval/.julia/artifacts/2fde6d24ce7bffccc0a66a5447787bd95a057cca/extracted/abc/abc: error while loading shared libraries: libreadline.so.8: cannot open shared object file: No such file or directory End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] ========================== Terms before: 69 Terms after: 69 No change in formula complexity ========================== pre dnf-domain minimized_formula:DNF with 69 disjuncts and literals of type Atom: (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) post dnf-domain minimization:DNF with 69 disjuncts and literals of type Atom: (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75) Generated rule: ▣ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 ≥ 5.05) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 2.45) ∧ (V1 < 5.75)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] Using abc_minimize function with Artifact loader !! /home/pkgeval/.julia/artifacts/2fde6d24ce7bffccc0a66a5447787bd95a057cca/extracted/abc/abc: error while loading shared libraries: libreadline.so.8: cannot open shared object file: No such file or directory End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ========================== Terms before: 33 Terms after: 33 No change in formula complexity ========================== pre dnf-domain minimized_formula:DNF with 33 disjuncts and literals of type Atom: (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) post dnf-domain minimization:DNF with 33 disjuncts and literals of type Atom: (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) (V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75) Generated rule: ▣ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 ≥ 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 5.05) ∧ (V3 ≥ 4.75) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 ≥ 2.95) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.95) ∧ (V2 ≥ 2.9) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.9) ∧ (V2 ≥ 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 ≥ 1.75) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.75) ∧ (V4 ≥ 1.65) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 1.65) ∧ (V4 ≥ 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ∨ ((V4 < 0.8) ∧ (V2 < 2.75) ∧ (V3 < 4.75) ∧ (V3 ≥ 2.45) ∧ (V1 < 5.75)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ==================================================================================================== PART 2.a: STARTER RULESET EXTRACTION ==================================================================================================== Extracted 14 rules in 0.001179119s ==================================================================================================== PART 2.b: ATOM EXTRACTION ==================================================================================================== Extracted 10 unique atoms from 12 total ==================================================================================================== PART 3: TABLE GENERATION ==================================================================================================== ==================================================================================================== PART 4: PROCESS RESULTS ==================================================================================================== Detailed results: [CategoricalArrays.CategoricalValue{String, UInt32}["virginica"]] (69 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"]] (33 combinations) [CategoricalArrays.CategoricalValue{String, UInt32}["setosa"]] (26 combinations) Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] ============================================ Looking for espresso at nothing End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] ========================== Terms before: 26 Terms after: 4 Reduction: 22 terms (84.6% decrease) Compression ratio: 6.5x ========================== pre dnf-domain minimized_formula:LeftmostDisjunctiveForm with 4 LeftmostConjunctiveForm grandchildren: (V1 ≥ 5.75) ∧ (V3 < 2.45) (V2 < 2.75) ∧ (V3 < 2.45) (V3 < 2.45) ∧ (V4 < 0.8) (V3 < 2.45) ∧ (V4 < 1.65) post dnf-domain minimization:LeftmostDisjunctiveForm with 3 LeftmostConjunctiveForm grandchildren: (V1 ≥ 5.75) ∧ (V3 < 2.45) (V2 < 2.75) ∧ (V3 < 2.45) (V3 < 2.45) ∧ (V4 < 1.65) Generated rule: ▣ ((V1 ≥ 5.75) ∧ (V3 < 2.45)) ∨ ((V2 < 2.75) ∧ (V3 < 2.45)) ∨ ((V3 < 2.45) ∧ (V4 < 1.65)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["setosa"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] ============================================ Looking for espresso at nothing End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] ========================== Terms before: 69 Terms after: 6 Reduction: 63 terms (91.3% decrease) Compression ratio: 11.5x ========================== pre dnf-domain minimized_formula:LeftmostDisjunctiveForm with 6 grandchildren: (V2 < 2.75) ∧ (V3 ≥ 4.75) (V2 < 2.9) ∧ (V3 ≥ 4.75) V3 ≥ 5.05 (V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 ≥ 1.65) (V3 ≥ 4.75) ∧ (V4 ≥ 1.65) (V1 ≥ 5.75) ∧ (V2 < 2.95) ∧ (V3 ≥ 4.75) ∧ (V4 ≥ 0.8) post dnf-domain minimization:LeftmostDisjunctiveForm with 5 grandchildren: (V2 < 2.9) ∧ (V3 ≥ 4.75) V3 ≥ 5.05 (V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 ≥ 1.65) (V3 ≥ 4.75) ∧ (V4 ≥ 1.65) (V1 ≥ 5.75) ∧ (V2 < 2.95) ∧ (V3 ≥ 4.75) ∧ (V4 ≥ 0.8) Generated rule: ▣ ((V2 < 2.9) ∧ (V3 ≥ 4.75)) ∨ (V3 ≥ 5.05) ∨ ((V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 ≥ 1.65)) ∨ ((V3 ≥ 4.75) ∧ (V4 ≥ 1.65)) ∨ ((V1 ≥ 5.75) ∧ (V2 < 2.95) ∧ (V3 ≥ 4.75) ∧ (V4 ≥ 0.8)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["virginica"] Performing minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ============================================ Looking for espresso at nothing End of minimization for: CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] ========================== Terms before: 33 Terms after: 7 Reduction: 26 terms (78.8% decrease) Compression ratio: 4.7x ========================== pre dnf-domain minimized_formula:DNF with 7 disjuncts and literals of type Atom: (V1 ≥ 5.75) ∧ (V3 ≥ 2.45) ∧ (V3 < 4.75) (V2 < 2.75) ∧ (V3 ≥ 2.45) ∧ (V3 < 4.75) (V3 ≥ 2.45) ∧ (V3 < 4.75) ∧ (V4 < 0.8) (V3 ≥ 2.45) ∧ (V3 < 4.75) ∧ (V4 < 1.65) (V2 ≥ 2.9) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 0.8) (V1 < 5.75) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 1.65) (V2 ≥ 2.95) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 1.65) post dnf-domain minimization:DNF with 6 disjuncts and literals of type Atom: (V1 ≥ 5.75) ∧ (V3 ≥ 2.45) ∧ (V3 < 4.75) (V2 < 2.75) ∧ (V3 ≥ 2.45) ∧ (V3 < 4.75) (V3 ≥ 2.45) ∧ (V3 < 4.75) ∧ (V4 < 1.65) (V2 ≥ 2.9) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 0.8) (V1 < 5.75) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 1.65) (V2 ≥ 2.95) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 1.65) Generated rule: ▣ ((V1 ≥ 5.75) ∧ (V3 ≥ 2.45) ∧ (V3 < 4.75)) ∨ ((V2 < 2.75) ∧ (V3 ≥ 2.45) ∧ (V3 < 4.75)) ∨ ((V3 ≥ 2.45) ∧ (V3 < 4.75) ∧ (V4 < 1.65)) ∨ ((V2 ≥ 2.9) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 0.8)) ∨ ((V1 < 5.75) ∧ (V2 ≥ 2.9) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 1.65)) ∨ ((V2 ≥ 2.95) ∧ (V3 ≥ 4.75) ∧ (V3 < 5.05) ∧ (V4 < 1.65)) ↣ CategoricalArrays.CategoricalValue{String, UInt32}["versicolor"] Born-Again Tree Analysis ============================== Dataset: iris Number of trees: 10 Maximum depth: 10 ============================== ============================================= __@dir__ /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src pwd(): /home/pkgeval/.julia/packages/SolePostHoc/NgalL/test ============================================= dataset_path = "/home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/iris.csv" /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/born_again_dp Preparing random forest data... Class mapping (0-based) per il modello: 0 -> virginica 1 -> versicolor 2 -> setosa Executing command: `/home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/bornAgain /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/result.txt -trees 2 -obj 0` ----- READING RANDOM FOREST from /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt READING: [TREE 1] READING: [TREE 2] ----- OPTIMAL SOLUTION FOUND ----- OBJECTIVE: Depth ----- CPU TIME(s): 0.000277 ----- ORIGINAL CELLS: 128 ----- FILTERED CELLS: 96 ----- NB SUBPROBLEMS: 837 ----- NB RECURSIVE CALLS: 2734 ----- BA TREE DEPTH: 5 ----- BA TREE LEAVES: 26 ----- EXPORTING STATISTICS in /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/result.txt.out ----- EXPORTING BA TREE in /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/result.txt.tree ----- END OF ALGORITHM Born-Again Tree Analysis Results: dataset.train.csv,RF,2,4,3,0,5,25,26,1,0.000277,96,837,2734 Born-Again Tree Structure: DATASET_NAME: dataset.train.csv ENSEMBLE: BA NB_TREES: 1 NB_FEATURES: 4 NB_CLASSES: 3 MAX_TREE_DEPTH: 5 Format: node / node type(LN - leave node, IN - internal node) left child / right child / feature / threshold / node_depth / majority class (starts with index 0) [TREE 0] NB_NODES: 51 0 IN 1 26 0 5.75 0 -1 1 IN 2 15 1 2.9 1 -1 2 IN 3 10 3 1.65 2 -1 3 IN 4 7 2 2.45 3 -1 4 IN 5 6 3 0.8 4 -1 5 LN -1 -1 -1 -1 5 2 6 LN -1 -1 -1 -1 5 1 7 IN 8 9 2 4.75 4 -1 8 LN -1 -1 -1 -1 5 1 9 LN -1 -1 -1 -1 5 0 10 IN 11 14 1 2.75 3 -1 11 IN 12 13 2 4.75 4 -1 12 LN -1 -1 -1 -1 5 1 13 LN -1 -1 -1 -1 5 0 14 LN -1 -1 -1 -1 4 0 15 IN 16 21 2 2.45 2 -1 16 IN 17 18 3 0.8 3 -1 17 LN -1 -1 -1 -1 4 2 18 IN 19 20 3 1.65 4 -1 19 LN -1 -1 -1 -1 5 1 20 LN -1 -1 -1 -1 5 0 21 IN 22 25 2 5.05 3 -1 22 IN 23 24 3 1.65 4 -1 23 LN -1 -1 -1 -1 5 1 24 LN -1 -1 -1 -1 5 0 25 LN -1 -1 -1 -1 4 0 26 IN 27 40 3 0.8 1 -1 27 IN 28 33 1 2.9 2 -1 28 IN 29 32 2 4.75 3 -1 29 IN 30 31 2 2.45 4 -1 30 LN -1 -1 -1 -1 5 2 31 LN -1 -1 -1 -1 5 1 32 LN -1 -1 -1 -1 4 0 33 IN 34 37 2 4.75 3 -1 34 IN 35 36 2 2.45 4 -1 35 LN -1 -1 -1 -1 5 2 36 LN -1 -1 -1 -1 5 1 37 IN 38 39 2 5.05 4 -1 38 LN -1 -1 -1 -1 5 1 39 LN -1 -1 -1 -1 5 0 40 IN 41 44 1 2.95 2 -1 41 IN 42 43 2 4.75 3 -1 42 LN -1 -1 -1 -1 4 1 43 LN -1 -1 -1 -1 4 0 44 IN 45 48 3 1.65 3 -1 45 IN 46 47 2 5.05 4 -1 46 LN -1 -1 -1 -1 5 1 47 LN -1 -1 -1 -1 5 0 48 IN 49 50 2 4.75 4 -1 49 LN -1 -1 -1 -1 5 1 50 LN -1 -1 -1 -1 5 0 FINITO WRAPPPP======>Dict("virginica" => 0, "versicolor" => 1, "setosa" => 2) Converting the tree in : /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt Rules: RegressionRule{Int64}[▣ (V4 < 0.8) ↣ 2 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 < 5.75)) ∧ ((V2 < 2.75)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 < 5.75)) ∧ ((V2 ≥ 2.75)) ∧ ((V4 < 1.65)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 < 5.75)) ∧ ((V2 ≥ 2.75)) ∧ ((V4 ≥ 1.65)) ↣ 0 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 < 4.75)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 ≥ 4.75)) ∧ ((V4 < 1.65)) ∧ ((V2 < 2.95)) ↣ 0 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 ≥ 4.75)) ∧ ((V4 < 1.65)) ∧ ((V2 ≥ 2.95)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 ≥ 4.75)) ∧ ((V4 ≥ 1.65)) ↣ 0 ] Class map: Dict("virginica" => 0, "versicolor" => 1, "setosa" => 2) Inverted map: Dict(0 => "virginica", 2 => "setosa", 1 => "versicolor") Converting the tree in : /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt ========================= ds: ▣ ├[1/3] ((V4 ≥ 0.8) ∧ (V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 ≥ 1.65)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 ≥ 4.75) ∧ (V4 < 1.65) ∧ (V2 < 2.95)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 ≥ 4.75) ∧ (V4 ≥ 1.65)) ↣ virginica : NamedTuple() ├[2/3] ((V4 ≥ 0.8) ∧ (V1 < 5.75) ∧ (V2 < 2.75)) ∨ ((V4 ≥ 0.8) ∧ (V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 < 1.65)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 < 4.75)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 ≥ 4.75) ∧ (V4 < 1.65) ∧ (V2 ≥ 2.95)) ↣ versicolor : NamedTuple() └[3/3] (V4 < 0.8) ↣ setosa : NamedTuple() t: ▣ (V4 < 0.8) ├✔ 2 └✘ (V1 < 5.75) ├✔ (V2 < 2.75) │ ├✔ 1 │ └✘ (V4 < 1.65) │ ├✔ 1 │ └✘ 0 └✘ (V3 < 4.75) ├✔ 1 └✘ (V4 < 1.65) ├✔ (V2 < 2.95) │ ├✔ 0 │ └✘ 1 └✘ 0 ========================= Born-Again Tree Analysis ============================== Dataset: iris Number of trees: 10 Maximum depth: 10 ============================== ============================================= __@dir__ /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src pwd(): /home/pkgeval/.julia/packages/SolePostHoc/NgalL/test ============================================= dataset_path = "/home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/iris.csv" /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/born_again_dp Preparing random forest data... Class mapping (0-based) per il modello: 0 -> virginica 1 -> versicolor 2 -> setosa Executing command: `/home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/bornAgain /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/result.txt -trees 2 -obj 0` ----- READING RANDOM FOREST from /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt READING: [TREE 1] READING: [TREE 2] ----- OPTIMAL SOLUTION FOUND ----- OBJECTIVE: Depth ----- CPU TIME(s): 0.000276 ----- ORIGINAL CELLS: 128 ----- FILTERED CELLS: 96 ----- NB SUBPROBLEMS: 837 ----- NB RECURSIVE CALLS: 2734 ----- BA TREE DEPTH: 5 ----- BA TREE LEAVES: 26 ----- EXPORTING STATISTICS in /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/result.txt.out ----- EXPORTING BA TREE in /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/result.txt.tree ----- END OF ALGORITHM Born-Again Tree Analysis Results: dataset.train.csv,RF,2,4,3,0,5,25,26,1,0.000276,96,837,2734 Born-Again Tree Structure: DATASET_NAME: dataset.train.csv ENSEMBLE: BA NB_TREES: 1 NB_FEATURES: 4 NB_CLASSES: 3 MAX_TREE_DEPTH: 5 Format: node / node type(LN - leave node, IN - internal node) left child / right child / feature / threshold / node_depth / majority class (starts with index 0) [TREE 0] NB_NODES: 51 0 IN 1 26 0 5.75 0 -1 1 IN 2 15 1 2.9 1 -1 2 IN 3 10 3 1.65 2 -1 3 IN 4 7 2 2.45 3 -1 4 IN 5 6 3 0.8 4 -1 5 LN -1 -1 -1 -1 5 2 6 LN -1 -1 -1 -1 5 1 7 IN 8 9 2 4.75 4 -1 8 LN -1 -1 -1 -1 5 1 9 LN -1 -1 -1 -1 5 0 10 IN 11 14 1 2.75 3 -1 11 IN 12 13 2 4.75 4 -1 12 LN -1 -1 -1 -1 5 1 13 LN -1 -1 -1 -1 5 0 14 LN -1 -1 -1 -1 4 0 15 IN 16 21 2 2.45 2 -1 16 IN 17 18 3 0.8 3 -1 17 LN -1 -1 -1 -1 4 2 18 IN 19 20 3 1.65 4 -1 19 LN -1 -1 -1 -1 5 1 20 LN -1 -1 -1 -1 5 0 21 IN 22 25 2 5.05 3 -1 22 IN 23 24 3 1.65 4 -1 23 LN -1 -1 -1 -1 5 1 24 LN -1 -1 -1 -1 5 0 25 LN -1 -1 -1 -1 4 0 26 IN 27 40 3 0.8 1 -1 27 IN 28 33 1 2.9 2 -1 28 IN 29 32 2 4.75 3 -1 29 IN 30 31 2 2.45 4 -1 30 LN -1 -1 -1 -1 5 2 31 LN -1 -1 -1 -1 5 1 32 LN -1 -1 -1 -1 4 0 33 IN 34 37 2 4.75 3 -1 34 IN 35 36 2 2.45 4 -1 35 LN -1 -1 -1 -1 5 2 36 LN -1 -1 -1 -1 5 1 37 IN 38 39 2 5.05 4 -1 38 LN -1 -1 -1 -1 5 1 39 LN -1 -1 -1 -1 5 0 40 IN 41 44 1 2.95 2 -1 41 IN 42 43 2 4.75 3 -1 42 LN -1 -1 -1 -1 4 1 43 LN -1 -1 -1 -1 4 0 44 IN 45 48 3 1.65 3 -1 45 IN 46 47 2 5.05 4 -1 46 LN -1 -1 -1 -1 5 1 47 LN -1 -1 -1 -1 5 0 48 IN 49 50 2 4.75 4 -1 49 LN -1 -1 -1 -1 5 1 50 LN -1 -1 -1 -1 5 0 FINITO WRAPPPP======>Dict("virginica" => 0, "versicolor" => 1, "setosa" => 2) Converting the tree in : /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt Rules: RegressionRule{Int64}[▣ (V4 < 0.8) ↣ 2 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 < 5.75)) ∧ ((V2 < 2.75)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 < 5.75)) ∧ ((V2 ≥ 2.75)) ∧ ((V4 < 1.65)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 < 5.75)) ∧ ((V2 ≥ 2.75)) ∧ ((V4 ≥ 1.65)) ↣ 0 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 < 4.75)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 ≥ 4.75)) ∧ ((V4 < 1.65)) ∧ ((V2 < 2.95)) ↣ 0 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 ≥ 4.75)) ∧ ((V4 < 1.65)) ∧ ((V2 ≥ 2.95)) ↣ 1 , ▣ ((V4 ≥ 0.8)) ∧ ((V1 ≥ 5.75)) ∧ ((V3 ≥ 4.75)) ∧ ((V4 ≥ 1.65)) ↣ 0 ] Class map: Dict("virginica" => 0, "versicolor" => 1, "setosa" => 2) Inverted map: Dict(0 => "virginica", 2 => "setosa", 1 => "versicolor") Converting the tree in : /home/pkgeval/.julia/packages/SolePostHoc/NgalL/src/BA-Trees/src/temp_ba_trees/forest.txt ========================= ds: ▣ ├[1/3] ((V4 ≥ 0.8) ∧ (V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 ≥ 1.65)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 ≥ 4.75) ∧ (V4 < 1.65) ∧ (V2 < 2.95)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 ≥ 4.75) ∧ (V4 ≥ 1.65)) ↣ virginica : NamedTuple() ├[2/3] ((V4 ≥ 0.8) ∧ (V1 < 5.75) ∧ (V2 < 2.75)) ∨ ((V4 ≥ 0.8) ∧ (V1 < 5.75) ∧ (V2 ≥ 2.75) ∧ (V4 < 1.65)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 < 4.75)) ∨ ((V4 ≥ 0.8) ∧ (V1 ≥ 5.75) ∧ (V3 ≥ 4.75) ∧ (V4 < 1.65) ∧ (V2 ≥ 2.95)) ↣ versicolor : NamedTuple() └[3/3] (V4 < 0.8) ↣ setosa : NamedTuple() t: ▣ (V4 < 0.8) ├✔ 2 └✘ (V1 < 5.75) ├✔ (V2 < 2.75) │ ├✔ 1 │ └✘ (V4 < 1.65) │ ├✔ 1 │ └✘ 0 └✘ (V3 < 4.75) ├✔ 1 └✘ (V4 < 1.65) ├✔ (V2 < 2.95) │ ├✔ 0 │ └✘ 1 └✘ 0 ========================= ====================== Ensemble serialize:Dict{String, Vector}("classes" => ["virginica", "versicolor", "setosa"], "trees" => Dict{String, Any}[Dict("node_count" => 11, "children_right" => [2, -1, 10, 5, -1, 7, -1, 9, -1, -1, -1], "threshold" => [2.45, -2.0, 5.05, 4.75, -2.0, 2.9, -2.0, 1.75, -2.0, -2.0, -2.0], "feature" => [2, -2, 2, 2, -2, 1, -2, 3, -2, -2, -2], "n_classes" => 3, "value" => [30.0; 0.0; 30.0; 20.0; 0.0; 20.0; 10.0; 10.0; 0.0; 10.0; 10.0;;; 20.0; 0.0; 20.0; 20.0; 10.0; 10.0; 0.0; 10.0; 10.0; 0.0; 0.0;;; 10.0; 10.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0], "children_left" => [1, -1, 3, 4, -1, 6, -1, 8, -1, -1, -1], "n_features" => 4), Dict("node_count" => 15, "children_right" => [2, -1, 8, 5, -1, 7, -1, -1, 10, -1, 14, 13, -1, -1, -1], "threshold" => [0.8, -2.0, 5.75, 2.75, -2.0, 1.65, -2.0, -2.0, 4.75, -2.0, 1.65, 2.95, -2.0, -2.0, -2.0], "feature" => [3, -2, 0, 1, -2, 3, -2, -2, 2, -2, 3, 1, -2, -2, -2], "n_classes" => 3, "value" => [30.0; 0.0; 30.0; 10.0; 0.0; 10.0; 0.0; 10.0; 20.0; 0.0; 20.0; 10.0; 10.0; 0.0; 10.0;;; 40.0; 0.0; 40.0; 20.0; 10.0; 10.0; 10.0; 0.0; 20.0; 10.0; 10.0; 10.0; 0.0; 10.0; 0.0;;; 10.0; 10.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0; 0.0], "children_left" => [1, -1, 3, 4, -1, 6, -1, -1, 9, -1, 11, 12, -1, -1, -1], "n_features" => 4)]) ====================== ┌ Warning: `getindex(o::PyObject, s::AbstractString)` is deprecated in favor of dot overloading (`getproperty`) so elements should now be accessed as e.g. `o."s"` instead of `o["s"]`. │ caller = rulecosiplus(ensemble::DecisionEnsemble{UInt32, Branch{CategoricalArrays.CategoricalValue{String, UInt32}}, SoleModels.var"#81#91"{SoleModels.var"#81#82#92"{DecisionTreeExt.var"#1#3"}}, Nothing}, X_train::DataFrame, y_train::CategoricalArrays.CategoricalVector{String, UInt32, String, CategoricalArrays.CategoricalValue{String, UInt32}, Union{}}) at main.jl:456 └ @ SolePostHoc.RuleExtraction.RULECOSIPLUS ~/.julia/packages/SolePostHoc/NgalL/src/RuleCosiplus/src/main.jl:456 number of trees in base_ensemble:2 Dataset: 45 campioni, 3 classi 0.198174 seconds (64.84 k allocations: 3.234 MiB, 85.92% compilation time) Raw rules: cov conf supp samples rule 0.3333 0.8667 0.2889 [13,1,1] r_1: (petal_length ≤ 5.0) ˄ (sepal_width > 2.9) → ['setosa'] 0.2667 0.9167 0.2444 [0,11,1] r_2: (petal_length > 2.5) ˄ (petal_length ≤ 4.8) → ['versicolor'] 0.4000 0.8889 0.3556 [1,1,16] r_3: ( ) → ['virginica'] Parsing atom: Vpetal_length ≤ 5.0 Parsing atom: Vsepal_width > 2.9 Parsing atom: Vpetal_length > 2.5 Parsing atom: Vpetal_length ≤ 4.8 Parsing atom: Vpetal_length ≤ 5.0 Parsing atom: Vsepal_width > 2.9 Parsing atom: Vpetal_length ≤ 5.0 Parsing atom: Vsepal_width > 2.9 Parsing atom: Vpetal_length > 2.5 Parsing atom: Vpetal_length ≤ 4.8 ┌ Warning: `product(xss...)` is deprecated, use `Iterators.product(xss...)` instead. │ caller = generate_univers_of_combinations(min_values::Vector{Float64}, max_values::Vector{Float64}, n_points::Int64) at utils.jl:8 └ @ SolePostHoc.RuleExtraction.REFNE ~/.julia/packages/SolePostHoc/NgalL/src/Refne/src/utils.jl:8 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "setosa" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "setosa" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "setosa" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "setosa" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("setosa" => 1, "versicolor" => 1), argmax: setosa, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("setosa" => 1, "versicolor" => 1), argmax: setosa, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "setosa" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("setosa" => 1, "versicolor" => 1), argmax: setosa, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "versicolor" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 Ensemble of Decision Trees Trees: 1 Avg Leaves: 2.0 Avg Depth: 1.0 ▣ Ensemble{CategoricalArrays.CategoricalValue{String, UInt32}} of 1 models of type Branch{CategoricalArrays.CategoricalValue{String, UInt32}} └[1/1]┐ (V2 < 3.1) ├✔ virginica : (ninstances = 5, ncovered = 5, confidence = 0.6, lift = 1.0) └✘ virginica : (ninstances = 6, ncovered = 6, confidence = 0.5, lift = 1.0) ┌ Warning: Parity encountered in bestguess! counts (2 elements): Dict{CategoricalArrays.CategoricalValue{String, UInt32}, Int64}("virginica" => 1, "versicolor" => 1), argmax: virginica, max: 1 (sum = 2) └ @ SoleBase ~/.julia/packages/SoleBase/KRa1C/src/machine-learning-utils.jl:96 Ensemble of Decision Trees Trees: 1 Avg Leaves: 2.0 Avg Depth: 1.0 ▣ Ensemble{CategoricalArrays.CategoricalValue{String, UInt32}} of 1 models of type Branch{CategoricalArrays.CategoricalValue{String, UInt32}} └[1/1]┐ (V4 < 1.4500000000000002) ├✔ setosa : (ninstances = 7, ncovered = 7, confidence = 0.86, lift = 1.0) └✘ virginica : (ninstances = 15, ncovered = 15, confidence = 1.0, lift = 1.0) Test Summary: | Pass Total Time SolePostHoc.jl | 2 2 13m38.7s Validating original ensemble... RealRandomForestClassifier already trained, ignoring n_estimators and tree_max_depth parameters. Extracting rules from RealRandomForestClassifier base ensemble... Initializing sets and computing condition map... Start combination process... Iteration 0, Rule size: 2, fi: 0.719353940406572 Iteration1: Combined rules size: 1 rules Sequential covering pruned rules size: 1 rules Simplified rules size: 1 rules Best fi, Previous combined rules: 0.719353940406572 Finish combination process, adding default rule... R size: 3, fi: 0.719353940406572 Testing SolePostHoc tests passed Testing completed after 874.78s PkgEval succeeded after 2159.99s