Package evaluation of SymbolicQuartetNetworkCoal on Julia 1.13.0-DEV.853 (3e868b27cf*) started at 2025-07-17T04:50:03.278 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.92s ################################################################################ # Installation # Installing SymbolicQuartetNetworkCoal... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [4201568c] + SymbolicQuartetNetworkCoal v0.1.7 Updating `~/.julia/environments/v1.13/Manifest.toml` [66dad0bd] + AliasTables v1.1.3 [67c07d97] + Automa v1.1.0 [47718e42] + BioGenerics v0.1.5 [7e6ae17a] + BioSequences v3.5.0 [3c28c6f8] + BioSymbols v5.2.0 [fa961155] + CEnum v0.5.0 [336ed68f] + CSV v0.10.15 [944b1d66] + CodecZlib v0.7.8 [861a8166] + Combinatorics v1.0.3 [34da2185] + Compat v4.17.0 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.7.0 [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [31c24e10] + Distributions v0.25.120 [ffbed154] + DocStringExtensions v0.9.5 [c2308a5c] + FASTX v2.1.7 [343a5541] + FileCmp v1.0.0 [48062228] + FilePathsBase v0.9.24 [1a297f60] + FillArrays v1.13.0 ⌅ [d9f16b24] + Functors v0.4.12 [38e38edf] + GLM v1.9.0 [34004b35] + HypergeometricFunctions v0.3.28 [842dd82b] + InlineStrings v1.4.4 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.4 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.0 [b964fa9f] + LaTeXStrings v1.4.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [e1d29d7a] + Missings v1.2.0 [76087f3c] + NLopt v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [90014a1f] + PDMats v0.11.35 [69de0a69] + Parsers v2.8.3 ⌅ [33ad39ac] + PhyloNetworks v0.16.4 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [1fd47b50] + QuadGK v2.11.2 [189a3867] + Reexport v1.2.2 [79098fc4] + Rmath v0.8.0 [fdea26ae] + SIMD v3.7.1 [91c51154] + SentinelArrays v1.4.8 [1277b4bf] + ShiftedArrays v2.0.0 [a2af1166] + SortingAlgorithms v1.2.1 [276daf66] + SpecialFunctions v2.5.1 [90137ffa] + StaticArrays v1.9.14 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.5 [4c63d2b9] + StatsFuns v1.5.0 [3eaba693] + StatsModels v0.7.4 [892a3eda] + StringManipulation v0.4.1 [354b36f9] + StringViews v1.3.4 [4201568c] + SymbolicQuartetNetworkCoal v0.1.7 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [3bb67fe8] + TranscodingStreams v0.11.3 [7200193e] + Twiddle v1.1.2 [ea10d353] + WeakRefStrings v1.4.2 [76eceee3] + WorkerUtilities v1.6.1 [079eb43e] + NLopt_jll v2.10.0+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [f50d1b31] + Rmath_jll v0.5.1+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [7b1f6079] + FileWatching 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.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.12.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 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 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.59s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 161.76s ################################################################################ # Testing # Testing SymbolicQuartetNetworkCoal Status `/tmp/jl_S4z3ov/Project.toml` [336ed68f] CSV v0.10.15 [861a8166] Combinatorics v1.0.3 [a93c6f00] DataFrames v1.7.0 [343a5541] FileCmp v1.0.0 ⌅ [33ad39ac] PhyloNetworks v0.16.4 [90137ffa] StaticArrays v1.9.14 [4201568c] SymbolicQuartetNetworkCoal v0.1.7 [ade2ca70] Dates v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_S4z3ov/Manifest.toml` [66dad0bd] AliasTables v1.1.3 [67c07d97] Automa v1.1.0 [47718e42] BioGenerics v0.1.5 [7e6ae17a] BioSequences v3.5.0 [3c28c6f8] BioSymbols v5.2.0 [fa961155] CEnum v0.5.0 [336ed68f] CSV v0.10.15 [944b1d66] CodecZlib v0.7.8 [861a8166] Combinatorics v1.0.3 [34da2185] Compat v4.17.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [31c24e10] Distributions v0.25.120 [ffbed154] DocStringExtensions v0.9.5 [c2308a5c] FASTX v2.1.7 [343a5541] FileCmp v1.0.0 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.13.0 ⌅ [d9f16b24] Functors v0.4.12 [38e38edf] GLM v1.9.0 [34004b35] HypergeometricFunctions v0.3.28 [842dd82b] InlineStrings v1.4.4 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [b964fa9f] LaTeXStrings v1.4.0 [2ab3a3ac] LogExpFunctions v0.3.29 [e1d29d7a] Missings v1.2.0 [76087f3c] NLopt v1.2.0 [bac558e1] OrderedCollections v1.8.1 [90014a1f] PDMats v0.11.35 [69de0a69] Parsers v2.8.3 ⌅ [33ad39ac] PhyloNetworks v0.16.4 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [43287f4e] PtrArrays v1.3.0 [1fd47b50] QuadGK v2.11.2 [189a3867] Reexport v1.2.2 [79098fc4] Rmath v0.8.0 [fdea26ae] SIMD v3.7.1 [91c51154] SentinelArrays v1.4.8 [1277b4bf] ShiftedArrays v2.0.0 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.1 [90137ffa] StaticArrays v1.9.14 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.5 [4c63d2b9] StatsFuns v1.5.0 [3eaba693] StatsModels v0.7.4 [892a3eda] StringManipulation v0.4.1 [354b36f9] StringViews v1.3.4 [4201568c] SymbolicQuartetNetworkCoal v0.1.7 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [3bb67fe8] TranscodingStreams v0.11.3 [7200193e] Twiddle v1.1.2 [ea10d353] WeakRefStrings v1.4.2 [76eceee3] WorkerUtilities v1.6.1 [079eb43e] NLopt_jll v2.10.0+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [7b1f6079] FileWatching 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.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.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 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Precompiling packages... 8647.1 ms ✓ Distributions → DistributionsTestExt 1 dependency successfully precompiled in 10 seconds. 49 already precompiled. Working on case 1... Currenet tree: ((((c,(d,e)))#H5,#H2),(((b,#H5),a))#H2); Working on case 2... Currenet tree: ((((c,d))#H5,#H2),(((b,(a,e)),#H5))#H2); Working on case 3... Currenet tree: (((d)#H6,#H2),((a,(((c,#H6),b),e)))#H2); Working on case 4... Currenet tree: (((d)#H5,#H2),((((c,(b,e)),#H5),a))#H2); Working on case 5... Currenet tree: ((((d,e))#H5,#H2),(((c,#H5),(b,a)))#H2); Working on case 6... Currenet tree: (((#H5,(a,e)),#H2),((((c,d))#H5,b))#H2); Working on case 7... Currenet tree: (((a,#H6),#H2),((((d)#H6,(c,e)),b))#H2); Working on case 8... Currenet tree: (((a,#H5),#H2),(((d)#H5,(b,(c,e)))#H2)); Working on case 9... Currenet tree: ((#H2,((a,(b,#H5)),e)),(((c,d))#H5)#H2); Working on case 10... Currenet tree: ((((c,d))#H5)#H2,((((a,b),#H5),#H2),e)); Working on case 11... Currenet tree: ((((b,#H6),(a,e)),#H2),(((d)#H6,c))#H2); Working on case 12... Currenet tree: ((((d)#H6,c))#H2,((((a,b),#H6),#H2),e)); Working on case 13... Currenet tree: ((#H2,((a,(b,(c,#H6))),e)),((d)#H6)#H2); Working on case 14... Currenet tree: ((((a,b),(#H6,(c,e))),#H5),((d)#H6)#H5); Working on case 15... Currenet tree: (((a,((c,(b,e)),#H6)),#H5),((d)#H6)#H5); Working on case 16... Currenet tree: (((((c,d))#H5,b))#H3,(((a,#H3),#H5),e)); Working on case 17... Currenet tree: (((a,#H3),#H6),(((((d,e))#H6,c),b))#H3); Working on case 18... Currenet tree: (((a,#H2),#H6),(((d)#H6,(b,(c,e))))#H2); Working on case 19... Currenet tree: (((b,#H5),((a,#H3),e)),(((c,d))#H5)#H3); Working on case 20... Currenet tree: ((((d)#H5,c))#H3,(((a,#H3),(b,#H5)),e)); Working on case 21... Currenet tree: (((a,#H3),(b,(#H6,(c,e)))),((d)#H6)#H3); Working on case 22... Currenet tree: (((a,#H3),((b,(c,e)),#H6)),((d)#H6)#H3); Working on case 23... Currenet tree: (((a,(#H4,(b,e))),#H5),(((c,d))#H5)#H4); Working on case 24... Currenet tree: ((((b,(a,e)),#H3),#H5),(((c,d))#H5)#H3); Working on case 25... Currenet tree: (((a,(#H4,(b,e))),#H6),(((d)#H6,c))#H4); Working on case 26... Currenet tree: ((((a,b),#H3),#H6),((((d,e))#H6,c))#H3); Working on case 27... Currenet tree: (((a,(b,#H4)),((c,#H6),e)),((d)#H6)#H4); Working on case 28... Currenet tree: ((((a,b)),#H3,((c,#H6),e)),((d)#H6)#H3); Working on case 29... Currenet tree: (((a,((b,(c,#H5)),e)),#H6),((d)#H6)#H5); Working on case 30... Currenet tree: (((((b,c),#H4),(a,e)),#H6),((d)#H6)#H4); Working on case 31... Currenet tree: ((((a,(b,e)),(c,#H4)),#H6),((d)#H6)#H4); Working on case 32... Currenet tree: ((((b,#H5))#H3,a),((((c,d))#H5,#H3),e)); Working on case 33... Currenet tree: ((((d,e))#H6,#H3),((((c,#H6),b))#H3,a)); Working on case 34... Currenet tree: ((((d,e))#H6,#H3),((((b,c),#H6))#H3,a)); Working on case 35... Currenet tree: (((b,#H5),#H3),(((((c,d),e))#H5)#H3,a)); Working on case 36... Currenet tree: (((b,#H6),#H3),((((d)#H6,(c,e)))#H3,a)); Working on case 37... Currenet tree: ((((d)#H6)#H3,a),(((b,(c,#H6)),#H3),e)); Working on case 38... Currenet tree: (((#H6,((b,c),e)),#H3),(((d)#H6)#H3,a)); Working on case 39... Currenet tree: (((b,#H4),#H5),((((c,(d,e)))#H5)#H4,a)); Working on case 40... Currenet tree: (((b,#H4),#H6),(((((d)#H6,c),e))#H4,a)); Working on case 41... Currenet tree: (((b,#H4),(#H6,(c,e))),(((d)#H6)#H4,a)); Working on case 42... Currenet tree: (((b,((c,#H5),e)),#H6),(((d)#H6)#H5,a)); Working on case 43... Currenet tree: ((((b,(c,e)),#H4),#H6),(((d)#H6)#H4,a)); Working on case 44... Currenet tree: ((((c,d))#H5,#H4),(a,((b,(#H5)#H4),e))); Working on case 45... Currenet tree: (((a,b),(#H5)#H4),((((c,d))#H5,#H4),e)); Working on case 46... Currenet tree: (((d)#H6,#H4),(((((c,#H6),e))#H4,b),a)); Working on case 47... Currenet tree: (((d)#H6,#H4),(((#H6,(c,e)))#H4,(a,b))); Working on case 48... Currenet tree: (((c,#H6),#H4),(((((d,e))#H6)#H4,b),a)); Working on case 49... Currenet tree: ((#H4,((c,#H6),e)),(((d)#H6)#H4,(a,b))); Working on case 50... Currenet tree: (((c,#H5),#H6),(a,((((d)#H6)#H5,b),e))); Working on case 51... Currenet tree: ((#H6,((c,#H5),e)),(((d)#H6)#H5,(a,b))); Working on case 52... Currenet tree: ((a,(b,(c,(#H6)#H5))),(((d)#H6,#H5),e)); Working on case 53... Currenet tree: (((d)#H6,#H5),((b,a),((#H6)#H5,(c,e)))); Working on case 54... Currenet tree: ((a,((c,b),(#H6)#H5)),(((d)#H6,#H5),e)); Working on case 55... Currenet tree: ((a,((((c,d))#H5,#H3),e)),((b,#H5)#H3)); Working on case 56... Currenet tree: ((a,((d)#H6,#H3)),(((#H6,(c,e)),b))#H3); Working on case 57... Currenet tree: ((((b,c),#H6))#H3,((a,((d)#H6,#H3)),e)); Working on case 58... Currenet tree: ((((b,#H5),#H3),(a,e)),(((c,d))#H5)#H3); Working on case 59... Currenet tree: ((((b,#H6),#H3),(a,e)),(((d)#H6,c))#H3); Working on case 60... Currenet tree: ((a,((b,(#H6,(c,e))),#H3)),((d)#H6)#H3); Working on case 61... Currenet tree: (((((b,c),#H6),#H3),(a,e)),((d)#H6)#H3); Working on case 62... Currenet tree: ((a,(((b,#H4),#H5),e)),(((c,d))#H5)#H4); Working on case 63... Currenet tree: (((c,#H6))#H4,((a,((b,#H4),(d)#H6)),e)); Working on case 64... Currenet tree: ((a,((#H4,(b,e)),(c,#H6))),((d)#H6)#H4); Working on case 65... Currenet tree: ((a,(((b,(c,#H5)),#H6),e)),((d)#H6)#H5); Working on case 66... Currenet tree: ((a,(#H6,(((b,c),#H4),e))),((d)#H6)#H4); Working on case 67... Currenet tree: (a,(((d,(c,e))#H5,#H4)),(b,((#H5)#H4))); Working on case 68... Currenet tree: ((a,((d)#H6,#H4)),(((c,#H6))#H4,(b,e))); Working on case 69... Currenet tree: ((a,(((c,#H6),#H4),e)),(b,((d)#H6)#H4)); Working on case 70... Currenet tree: ((a,((#H5,(c,e)),#H6)),(b,((d)#H6)#H5)); Working on case 71... Currenet tree: ((a,(((d,e))#H6,#H5)),(b,(c,(#H6)#H5))); Working on case 72... Currenet tree: ((a,((d)#H6,#H5)),((b,(c,e)),(#H6)#H5)); Working on case 73... Currenet tree: (((b,(#H4,#H5)),(a,e)),(((c,d))#H5)#H4); Working on case 74... Currenet tree: (((a,b),((#H5,#H4),e)),(((c,d))#H5)#H4); Working on case 75... Currenet tree: ((a,(((d)#H6,#H4),(b,e))),((c,#H6))#H4); Working on case 76... Currenet tree: ((((d)#H6,#H4),((a,b),e)),((c,#H6))#H4); Working on case 77... Currenet tree: ((a,(b,(((c,#H6),#H4),e))),((d)#H6)#H4); Working on case 78... Currenet tree: (((a,b),(#H4,((c,#H6),e))),((d)#H6)#H4); Working on case 79... Currenet tree: ((a,(((c,#H5),#H6),(b,e))),((d)#H6)#H5); Working on case 80... Currenet tree: ((((c,#H5),#H6),((a,b),e)),((d)#H6)#H5); Working on case 81... Currenet tree: ((a,((b,((d)#H6,#H5)),e)),(c,(#H6)#H5)); Working on case 82... Currenet tree: ((c,(#H6)#H5),(((a,b),((d)#H6,#H5)),e)); Working on case 83... Currenet tree: ((a,((b,(c,(#H5,#H6))),e)),((d)#H6)#H5); Working on case 84... Currenet tree: (((a,(b,e)),(c,(#H5,#H6))),((d)#H6)#H5); Working on case 85... Currenet tree: ((a,((b,c),((#H5,#H6),e))),((d)#H6)#H5); Working on case 86... Currenet tree: ((((b,e))#H5,((a,#H5),#H3)),((c,d))#H3); Working on case 87... Currenet tree: ((((c,(b,e)))#H5,((a,#H5),#H3)),(d)#H3); Working on case 88... Currenet tree: (((c)#H6,(((a,#H6),(b,e)),#H3)),(d)#H3); Working on case 89... Currenet tree: (((c)#H5,(((b,(a,e)),#H5),#H3)),(d)#H3); Working on case 90... Currenet tree: (((b)#H5,((a,#H4),#H5)),((d,(c,e)))#H4); Working on case 91... Currenet tree: ((((b,(c,e)))#H5,((a,#H4),#H5)),(d)#H4); Working on case 92... Currenet tree: ((((c,e))#H6,((a,#H6),(b,#H4))),(d)#H4); Working on case 93... Currenet tree: (((c)#H6,((a,(#H5,(b,e))),#H6)),(d)#H5); Working on case 94... Currenet tree: (((c)#H6,(#H6,(((a,b),#H5),e))),(d)#H5); Working on case 95... Currenet tree: (((a,(b)#H5),((#H5,#H3),e)),((c,d))#H3); Working on case 96... Currenet tree: (((a,((b,c))#H5),((#H5,#H3),e)),(d)#H3); Working on case 97... Currenet tree: (((a,((c,e))#H5),((b,#H5),#H3)),(d)#H3); Working on case 98... Currenet tree: (((a,(c)#H6),(#H6,(#H4,(b,e)))),(d)#H4); Working on case 99... Currenet tree: ((((b,#H6),(a,e)),((c)#H6,#H3)),(d)#H3); Working on case 100... Currenet tree: (((#H6,#H3),(((a,b),(c)#H6),e)),(d)#H3); Working on case 101... Currenet tree: (((b)#H5,((#H5,#H4),(a,e))),((c,d))#H4); Working on case 102... Currenet tree: ((((c,(b,e)))#H2,(a,(#H2,#H4))),(d)#H4); Working on case 103... Currenet tree: ((((c,e))#H5,(a,((b,#H5),#H4))),(d)#H4); Working on case 104... Currenet tree: (((c)#H6,((a,((b,#H5),#H6)),e)),(d)#H5); Working on case 105... Currenet tree: (((#H6,(b,e)),(a,((c)#H6,#H4))),(d)#H4); Working on case 106... Currenet tree: (((c)#H5,(a,((b,(#H5,#H6)),e))),(d)#H6); Working on case 107... Currenet tree: (((c)#H5,((a,(b,e)),(#H5,#H6))),(d)#H6); Working on case 108... Currenet tree: (((b)#H5,(((c,(d,e))#H4),#H5)),(a,#H4)); Working on case 109... Currenet tree: ((((b,c))#H5,(((d)#H4,#H5),e)),(a,#H4)); Working on case 110... Currenet tree: ((((c,e))#H5,((b,#H5),(d)#H4)),(a,#H4)); Working on case 111... Currenet tree: ((((c,e))#H6,((b,#H5),#H6)),(a,(d)#H5)); Working on case 112... Currenet tree: (((b,((c,e))#H6),((d)#H5,#H6)),(a,#H5)); Working on case 113... Currenet tree: (((c)#H6,(b,(((d)#H5,#H6),e))),(a,#H5)); Working on case 114... Currenet tree: (((c)#H5,(((d)#H6,#H5),e)),((b,#H6),a)); Working on case 115... Currenet tree: (((b,a),#H5),(((c)#H6,((d)#H5,#H6)),e)); Working on case 116... Currenet tree: ((((b)#H5,(#H5,#H4)),(a,e)),((c,d))#H4); Working on case 117... Currenet tree: ((a,(((b,c))#H5,((#H5,#H4),e))),(d)#H4); Working on case 118... Currenet tree: ((((c)#H6,(a,e)),((b,#H6),#H3)),(d)#H3); Working on case 119... Currenet tree: ((a,((c)#H6,(((b,#H5),#H6),e))),(d)#H5); Working on case 120... Currenet tree: ((((b,(c)#H6),((d)#H4,#H6)),(a,e)),#H4); Working on case 121... Currenet tree: ((a,(#H6,((((d)#H5,(c)#H6),b),e))),#H5); Working on case 122... Currenet tree: ((a,((((d)#H6,(c)#H5),#H5),e)),(b,#H6)); Working on case 123... Currenet tree: ((((((d)#H5,(c)#H6),#H6),b),(a,e)),#H5); Working on case 124... Currenet tree: (((a,(b,e)),(((d)#H5,(c)#H6),#H6)),#H5); Working on case 125... Currenet tree: (((a,#H5),((b,e))#H2),(((c,d))#H5,#H2)); Working on case 126... Currenet tree: (((d)#H6,#H2),(((a,#H6),((b,c))#H2),e)); Working on case 127... Currenet tree: (((d)#H6,#H2),(((a,(b,#H6)),(c)#H2),e)); Working on case 128... Currenet tree: ((((b,(a,e)),#H6),(c)#H2),((d)#H6,#H2)); Working on case 129... Currenet tree: ((((c,d))#H5,((b,e))#H2),((a,#H5),#H2)); Working on case 130... Currenet tree: (((d)#H5,((b,c))#H2),((#H5,(a,e)),#H2)); Working on case 131... Currenet tree: (((c)#H2,((a,(d)#H6),e)),((b,#H6),#H2)); Working on case 132... Currenet tree: (((d)#H6,(c)#H2),(((b,#H6),(a,e)),#H2)); Working on case 133... Currenet tree: ((((b,a),#H6),#H2),(((d)#H6,(c)#H2),e)); Working on case 134... Currenet tree: (((b)#H2,#H5),(((c,(d,e)))#H5,(a,#H2))); Working on case 135... Currenet tree: ((((b,c))#H2,#H5),(((d,e))#H5,(a,#H2))); Working on case 136... Currenet tree: (((b,#H6),(c)#H2),(((d,e))#H6,(a,#H2))); Working on case 137... Currenet tree: (((d)#H6,((c,e))#H2),((a,#H2),(b,#H6))); Working on case 138... Currenet tree: ((((a,#H2),b),#H6),(((d)#H6,(c)#H2),e)); Working on case 139... Currenet tree: (((d)#H6,((c,e))#H2),(((b,a),#H2),#H6)); Working on case 140... Currenet tree: (((a,(b)#H3),((c,(d,e)))#H5),(#H3,#H5)); Working on case 141... Currenet tree: (((d)#H5,#H3),(((a,((b,c))#H3),#H5),e)); Working on case 142... Currenet tree: (((a,(c)#H3),(#H6,(b,e))),((d)#H6,#H3)); Working on case 143... Currenet tree: ((((c)#H3,(a,e)),(d)#H6),((b,#H6),#H3)); Working on case 144... Currenet tree: (((b,#H3),#H6),(((a,(c)#H3),(d)#H6),e)); Working on case 145... Currenet tree: (((d)#H6,#H4),(((a,((c)#H4,b)),#H6),e)); Working on case 146... Currenet tree: ((((a,(b,e)),(c)#H3),#H6),((d)#H6,#H3)); Working on case 147... Currenet tree: ((((d,(c,e)))#H5,(b)#H3),(a,(#H5,#H3))); Working on case 148... Currenet tree: (((d)#H5,((c,(b,e)))#H3),(a,(#H3,#H5))); Working on case 149... Currenet tree: (((#H6,(b,e)),(c)#H3),(((d)#H6,#H3),a)); Working on case 150... Currenet tree: ((((b,#H6),#H3),a),(((d)#H6,(c)#H3),e)); Working on case 151... Currenet tree: (((d)#H6,((c,e))#H3),(((b,#H3),#H6),a)); Working on case 152... Currenet tree: (((d)#H6,((c)#H4,(b,e))),((#H4,#H6),a)); Working on case 153... Currenet tree: ((((#H4,#H6),b),a),(((d)#H6,(c)#H4),e)); Working on case 154... Currenet tree: (((d)#H6,(c)#H4),((#H4,#H6),(a,(b,e)))); Working on case 155... Currenet tree: ((a,(((d,(c,e)))#H3,#H6)),((b)#H6,#H3)); Working on case 156... Currenet tree: ((a,((b)#H3,#H6)),(((c,(d,e)))#H6,#H3)); Working on case 157... Currenet tree: ((a,(((b,#H6),(c)#H3),e)),((d)#H6,#H3)); Working on case 158... Currenet tree: ((((c)#H3,#H6),(a,e)),(((d)#H6,b),#H3)); Working on case 159... Currenet tree: (((b,#H3),(d)#H6),((a,((c)#H3,#H6)),e)); Working on case 160... Currenet tree: (((d)#H6,#H4),((a,(((c)#H4,b),#H6)),e)); Working on case 161... Currenet tree: (((#H6,#H4),b),((a,((d)#H6,(c)#H4)),e)); Working on case 162... Currenet tree: (((((c)#H4,#H6),b),(a,e)),((d)#H6,#H4)); Working on case 163... Currenet tree: (((b,(a,e)),((c)#H4,#H6)),((d)#H6,#H4)); Working on case 164... Currenet tree: (((((b,#H5),(a,e)))#H2,#H2),((c,d))#H5); Working on case 165... Currenet tree: (((((b,(a,e)),#H5))#H2,#H2),((c,d))#H5); Working on case 166... Currenet tree: ((((a,(((c,#H6),b),e)))#H2,#H2),(d)#H6); Working on case 167... Currenet tree: (((((b,(a,e)),(c,#H6)))#H2,#H2),(d)#H6); Working on case 168... Currenet tree: ((((a,((c,(b,e)),#H6)))#H2,#H2),(d)#H6); Working on case 169... Currenet tree: ((((b,((c,(d,e)))#H5))#H2,#H2),(a,#H5)); Working on case 170... Currenet tree: ((((b,(((d,e))#H6,c)))#H2,#H2),(a,#H6)); Working on case 171... Currenet tree: (((((b,c),((d,e))#H6))#H2,#H2),(a,#H6)); Working on case 172... Currenet tree: (((b,#H5),a),(((((c,d))#H5)#H2,#H2),e)); Working on case 173... Currenet tree: (((b,a),#H5),(((((c,d))#H5)#H2,#H2),e)); Working on case 174... Currenet tree: (((((d)#H6,(c,e)))#H2,#H2),((b,#H6),a)); Working on case 175... Currenet tree: (((((c,(d)#H6),e))#H2,#H2),((b,a),#H6)); Working on case 176... Currenet tree: ((((d)#H6)#H2,#H2),((b,((c,#H6),e)),a)); Working on case 177... Currenet tree: (((c,#H6),(b,a)),((((d)#H6)#H2,#H2),e)); Working on case 178... Currenet tree: ((((b,c),#H6),a),((((d)#H6)#H2,#H2),e)); Working on case 179... Currenet tree: ((#H3,((a,((b,#H5))#H3),e)),((c,d))#H5); Working on case 180... Currenet tree: (((a,((((c,#H6),b),e))#H3),#H3),(d)#H6); Working on case 181... Currenet tree: ((#H3,((a,(((b,c),#H6))#H3),e)),(d)#H6); Working on case 182... Currenet tree: ((#H3,((a,(((c,d))#H5)#H3),e)),(b,#H5)); Working on case 183... Currenet tree: (((a,((((d,e))#H6,c))#H3),#H3),(b,#H6)); Working on case 184... Currenet tree: (((a,((d)#H6)#H3),#H3),(b,((c,#H6),e))); Working on case 185... Currenet tree: (((((d)#H6)#H3,(a,e)),#H3),((b,c),#H6)); Working on case 186... Currenet tree: (((a,((((d,(c,e)))#H5)#H4,b)),#H4),#H5); Working on case 187... Currenet tree: ((((b,(a,e)),(((c,d))#H5)#H4),#H4),#H5); Working on case 188... Currenet tree: (((a,(((c,#H6))#H4,(b,e))),#H4),(d)#H6); Working on case 189... Currenet tree: ((#H4,(((a,b),((c,#H6))#H4),e)),(d)#H6); Working on case 190... Currenet tree: (((a,((((d)#H6)#H4,b),e)),#H4),(c,#H6)); Working on case 191... Currenet tree: ((c,#H6),((((a,b),((d)#H6)#H4),#H4),e)); Working on case 192... Currenet tree: (((((((d)#H6)#H5,c),b),(a,e)),#H5),#H6); Working on case 193... Currenet tree: ((((a,(b,e)),(((d)#H6)#H5,c)),#H5),#H6); Working on case 194... Currenet tree: (((a,((((d,e))#H6)#H5,(b,c))),#H5),#H6); Working on case 195... Currenet tree: (((a,((b,#H5))#H3),#H3),((d,(c,e)))#H5); Working on case 196... Currenet tree: (((a,(((c,#H6),(b,e)))#H3),#H3),(d)#H6); Working on case 197... Currenet tree: (((a,(((b,(c,e)),#H6))#H3),#H3),(d)#H6); Working on case 198... Currenet tree: ((((((c,d))#H5)#H3,(a,e)),#H3),(b,#H5)); Working on case 199... Currenet tree: (((a,((((d)#H6,c),e))#H3),#H3),(b,#H6)); Working on case 200... Currenet tree: (((((d)#H6)#H3,(a,e)),#H3),((c,#H6),b)); Working on case 201... Currenet tree: ((#H3,((a,((d)#H6)#H3),e)),((b,c),#H6)); Working on case 202... Currenet tree: ((((((c,d))#H5)#H4,(a,e)),(b,#H4)),#H5); Working on case 203... Currenet tree: (((a,((#H6,(c,e)))#H4),(b,#H4)),(d)#H6); Working on case 204... Currenet tree: ((c,#H6),(((a,((d)#H6)#H4),(b,#H4)),e)); Working on case 205... Currenet tree: (((a,(((d,e))#H6)#H5),((c,#H5),b)),#H6); Working on case 206... Currenet tree: (((a,((d)#H6)#H5),((c,(b,e)),#H5)),#H6); Working on case 207... Currenet tree: (((a,((((d,(c,e)))#H5)#H4,b)),#H4),#H5); Working on case 208... Currenet tree: ((((a,b),((((c,d),e))#H5)#H4),#H4),#H5); Working on case 209... Currenet tree: (((a,((((c,#H6),e))#H4,b)),#H4),(d)#H6); Working on case 210... Currenet tree: ((((b,(a,e)),((c,#H6))#H4),#H4),(d)#H6); Working on case 211... Currenet tree: (((a,(((d)#H6)#H4,(b,e))),#H4),(c,#H6)); Working on case 212... Currenet tree: ((c,#H6),((((a,b),((d)#H6)#H4),#H4),e)); Working on case 213... Currenet tree: ((((((d)#H6)#H5,b),(a,e)),(c,#H5)),#H6); Working on case 214... Currenet tree: (((c,#H5),(((a,b),((d)#H6)#H5),e)),#H6); Working on case 215... Currenet tree: (((a,(((((d)#H6)#H5,c),b),e)),#H5),#H6); Working on case 216... Currenet tree: (((a,(((d)#H6)#H5,((b,c),e))),#H5),#H6); Working on case 217... Currenet tree: ((((a,(b,e)),(((d)#H6)#H5,c)),#H5),#H6); Working on case 218... Currenet tree: ((a,(((b,#H5))#H3,#H3)),((d,(c,e)))#H5); Working on case 219... Currenet tree: ((a,(((b,((c,#H6),e)))#H3,#H3)),(d)#H6); Working on case 220... Currenet tree: ((a,(((((b,c),#H6),e))#H3,#H3)),(d)#H6); Working on case 221... Currenet tree: ((a,(((((c,d))#H5)#H3,#H3),e)),(b,#H5)); Working on case 222... Currenet tree: ((a,(((c,#H6))#H3,#H3)),(((d,e))#H6,b)); Working on case 223... Currenet tree: ((a,(((d)#H6)#H3,#H3)),((#H6,(c,e)),b)); Working on case 224... Currenet tree: ((a,((((d)#H6)#H3,#H3),e)),((b,c),#H6)); Working on case 225... Currenet tree: ((a,(#H4,(((((c,d))#H5)#H4,b),e))),#H5); Working on case 226... Currenet tree: ((a,((((((d)#H6,c),e))#H4,b),#H4)),#H6); Working on case 227... Currenet tree: ((a,((((d)#H6)#H4,(b,e)),#H4)),(c,#H6)); Working on case 228... Currenet tree: ((a,(((((d)#H6)#H5,c),(b,e)),#H5)),#H6); Working on case 229... Currenet tree: ((a,(((((d,e))#H6)#H5,(b,c)),#H5)),#H6); Working on case 230... Currenet tree: ((a,(((((d,(c,e)))#H5)#H4,b),#H4)),#H5); Working on case 231... Currenet tree: ((a,(((((d)#H6,(c,e)))#H4,b),#H4)),#H6); Working on case 232... Currenet tree: ((a,(((((d)#H6)#H4,b),#H4),e)),(c,#H6)); Working on case 233... Currenet tree: ((a,(((((d,e))#H6)#H5,b),(c,#H5))),#H6); Working on case 234... Currenet tree: (((((((d)#H6)#H5,c),b),#H5),(a,e)),#H6); Working on case 235... Currenet tree: ((a,(((((d,e))#H6)#H5,(b,c)),#H5)),#H6); Working on case 236... Currenet tree: (((((((c,d))#H5)#H4,#H4),b),(a,e)),#H5); Working on case 237... Currenet tree: (((b,(a,e)),((((c,d))#H5)#H4,#H4)),#H5); Working on case 238... Currenet tree: ((((((c,#H6))#H4,#H4),b),(a,e)),(d)#H6); Working on case 239... Currenet tree: (((a,b),(((((d)#H6,c),e))#H4,#H4)),#H6); Working on case 240... Currenet tree: ((c,#H6),((a,((((d)#H6)#H4,#H4),b)),e)); Working on case 241... Currenet tree: (((a,b),((((d,e))#H6)#H4,#H4)),(#H6,c)); Working on case 242... Currenet tree: ((a,((((((d,e))#H6)#H5,c),#H5),b)),#H6); Working on case 243... Currenet tree: ((((((d)#H6)#H5,c),#H5),((a,b),e)),#H6); Working on case 244... Currenet tree: ((a,((#H5,((((d)#H6)#H5,c),e)),b)),#H6); Working on case 245... Currenet tree: (((a,b),(#H5,((((d)#H6)#H5,c),e))),#H6); Working on case 246... Currenet tree: ((a,(b,(((((d)#H6)#H5,#H5),c),e))),#H6); Working on case 247... Currenet tree: ((a,(((((d,e))#H6)#H5,#H5),(b,c))),#H6); Working on case 248... Currenet tree: (((a,b),((((d)#H6)#H5,#H5),(c,e))),#H6); Test Summary: | Pass Total Time SymbolicQuartetNetworkCoal tests | 11168 11168 3m03.6s Testing SymbolicQuartetNetworkCoal tests passed Testing completed after 212.98s PkgEval succeeded after 414.5s