Package evaluation of QuantumCircuitOpt on Julia 1.13.0-DEV.985 (9c94e7ae32*) started at 2025-08-14T17:18:58.810 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 10.09s ################################################################################ # Installation # Installing QuantumCircuitOpt... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [88128e30] + QuantumCircuitOpt v0.6.2 Updating `~/.julia/environments/v1.13/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.0 ⌅ [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.0.1 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.28.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.42.1 [f28f55f0] + Memento v1.4.1 [d8a4904e] + MutableArithmetics v1.6.4 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.5.0 [88128e30] + QuantumCircuitOpt v0.6.2 [ae029012] + Requires v1.3.1 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile 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.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.15.0+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.7.15 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.5.2+0 [efcefdf7] + PCRE2_jll v10.45.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.72s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 35.81s ################################################################################ # Testing # Testing QuantumCircuitOpt Status `/tmp/jl_Dx72AR/Project.toml` ⌅ [864edb3b] DataStructures v0.18.22 [87dc4568] HiGHS v1.19.0 [4076af6c] JuMP v1.28.0 [f28f55f0] Memento v1.4.1 [88128e30] QuantumCircuitOpt v0.6.2 [37e2e46d] LinearAlgebra v1.13.0 [44cfe95a] Pkg v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_Dx72AR/Manifest.toml` [6e4b80f9] BenchmarkTools v1.6.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.0 ⌅ [864edb3b] DataStructures v0.18.22 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.0.1 [87dc4568] HiGHS v1.19.0 [92d709cd] IrrationalConstants v0.2.4 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.28.0 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [8c4f8055] MathOptIIS v0.1.1 [b8f27783] MathOptInterface v1.42.1 [f28f55f0] Memento v1.4.1 [d8a4904e] MutableArithmetics v1.6.4 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.5.0 [88128e30] QuantumCircuitOpt v0.6.2 [ae029012] Requires v1.3.1 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [8fd58aa0] HiGHS_jll v1.11.0+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9abbd945] Profile 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.13.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.15.0+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.7.15 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.5.2+0 [efcefdf7] PCRE2_jll v10.45.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Precompiling packages... 1989.7 ms ? Memento Info Given QuantumCircuitOpt was explicitly requested, output will be shown live  WARNING: Method definition var"@test_throws"(LineNumberNode, Module, Any, Any, Any) in module Test at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:868 overwritten in module TestUtils at /home/pkgeval/.julia/packages/Memento/xnHxE/src/memento_test.jl:119. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. 13652.1 ms ? QuantumCircuitOpt WARNING: Method definition var"@test_throws"(LineNumberNode, Module, Any, Any, Any) in module Test at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:868 overwritten in module TestUtils at /home/pkgeval/.julia/packages/Memento/xnHxE/src/memento_test.jl:119. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. Precompiling packages... Info Given Memento was explicitly requested, output will be shown live  WARNING: Method definition var"@test_throws"(LineNumberNode, Module, Any, Any, Any) in module Test at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:868 overwritten in module TestUtils at /home/pkgeval/.julia/packages/Memento/xnHxE/src/memento_test.jl:119. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. 1809.1 ms ? Memento WARNING: Method definition var"@test_throws"(LineNumberNode, Module, Any, Any, Any) in module Test at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:868 overwritten in module TestUtils at /home/pkgeval/.julia/packages/Memento/xnHxE/src/memento_test.jl:119. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. WARNING: Method definition var"@test_throws"(LineNumberNode, Module, Any, Any, Any) in module Test at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:868 overwritten in module TestUtils at /home/pkgeval/.julia/packages/Memento/xnHxE/src/memento_test.jl:119. Empty circuit ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 0.29 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : optimal_global_phase MIP optimizer : HiGHS Number of input gates : 7 (presolved) Input gates : Qubits CNot : {1,2},{2,1} T : 1,2 Tdagger : 1,2 Optimal Circuit depth 1 : T ⊗ I depth 2 : CNot_{2,1} depth 3 : T ⊗ I depth 4 : CNot_{2,1} depth 5 : T ⊗ I Minimum number of T gates: 3.0 Optimizer run time : 1.06 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 9 (presolved) Input gates : Qubits CNot : {1,2},{2,1} S : 1,2 T : 1,2 Tdagger : 1,2 Optimal Circuit depth 1 : S ⊗ I depth 2 : CNot_{2,1} depth 3 : T ⊗ I depth 4 : CNot_{2,1} Minimum number of T gates: 1.0 Optimizer run time : 0.72 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 4 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 3 (presolved) Input gates : Qubits CNot : {1,2},{2,1} Optimal Circuit depth 1 : CNot_{1,2} depth 2 : CNot_{2,1} depth 3 : CNot_{1,2} Minimum number of CNOT gates: 3.0 Optimizer run time : 0.02 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 2 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 7 (presolved) Input gates : Qubits U3 : 1,2 U3_ϕ : [0.0] U3_θ : [0.0, 90.0] U3_λ : [0.0, 45.0] Optimal Circuit depth 1 : U3(0.0,0.0,45.0) ⊗ I Optimal number of gates : 1 Optimal circuit depth : 1 Optimizer run time : 0.01 sec. ============================================================================= QC_model Tests: Minimum depth U3(0,0,π/4) gate: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:113 Expression: "Identity" in ((data["gates_dict"])["3"])["type"] Evaluated: "Identity" in ["U3_1"] Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:94 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:113 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] QC_model Tests: Minimum depth U3(0,0,π/4) gate: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:114 Expression: isapprox(sum(((result_qc["solution"])["z_bin_var"])[3, :]), 1, atol = tol_0) Evaluated: isapprox(0.0, 1; atol = 1.0e-6) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:94 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:114 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 2 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 6 (presolved) Input gates : Qubits CU3 : {1,2},{2,1} CU3_θ : [0.0, 90.0] CU3_ϕ : [0.0] CU3_λ : [0.0, 45.0] Optimal Circuit depth 1 : CU3(0.0,0.0,45.0)_{1,2} Optimal number of gates : 1 Optimal circuit depth : 1 Optimizer run time : 0.01 sec. ============================================================================= QC_model Tests: Minimum depth CU3(0,0,π/4) gate: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:140 Expression: "Identity" in ((data["gates_dict"])["3"])["type"] Evaluated: "Identity" in ["CU3_1_2"] Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:121 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:140 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] QC_model Tests: Minimum depth CU3(0,0,π/4) gate: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:141 Expression: isapprox(sum(((result_qc["solution"])["z_bin_var"])[3, :]), 1, atol = tol_0) Evaluated: isapprox(0.0, 1; atol = 1.0e-6) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:121 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:141 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 3 Maximum circuit depth : 2 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 6 (presolved) Input gates : Qubits CU3 : {1,3},{3,1} CU3_θ : [0.0, 90.0] CU3_ϕ : [0.0] CU3_λ : [0.0, 45.0] Optimal Circuit depth 1 : CU3(0.0,0.0,45.0)_{3,1} Optimal number of gates : 1 Optimal circuit depth : 1 Optimizer run time : 0.03 sec. ============================================================================= QC_model Tests: Minimum depth Rev CU3(0,0,π/4) gate: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:167 Expression: "Identity" in ((data["gates_dict"])["3"])["type"] Evaluated: "Identity" in ["CU3_3_1"] Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:148 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:167 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] QC_model Tests: Minimum depth Rev CU3(0,0,π/4) gate: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:168 Expression: isapprox(sum(((result_qc["solution"])["z_bin_var"])[3, :]), 1, atol = tol_0) Evaluated: isapprox(0.0, 1; atol = 1.0e-6) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:148 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:168 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 3 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 5 (presolved) Input gates : Qubits RX : 1 RY : 2 RZ : 1 RZ : [90.0, 45.0] RX : [0.0, 45.0] RY : [45.0] Optimal Circuit depth 1 : RX(45.0) ⊗ RY(45.0) depth 2 : RZ(45.0) ⊗ I Optimal number of gates : 3 Optimal circuit depth : 2 Optimizer run time : 0.04 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 3 Maximum circuit depth : 3 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 5 (presolved) Input gates : Qubits CRX : {1,2} CRY : {2,3} CRZ : {3,1} CRY : [45.0] CRX : [0.0, 45.0] CRZ : [90.0, 45.0] Optimal Circuit depth 1 : CRX(45.0)_{1,2} ⊗ I depth 2 : I ⊗ CRY(45.0)_{2,3} depth 3 : CRZ(45.0)_{3,1} Optimal number of gates : 3 Optimal circuit depth : 3 Optimizer run time : 0.12 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 3 Maximum circuit depth : 3 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 5 (presolved) Input gates : Qubits CRX : {3,1} CRY : {3,1} CRZ : {1,3} CRY : [45.0] CRX : [0.0, 45.0] CRZ : [90.0, 45.0] Optimal Circuit depth 1 : CRX(45.0)_{3,1} depth 2 : CRY(45.0)_{3,1} depth 3 : CRZ(90.0)_{1,3} Optimal number of gates : 3 Optimal circuit depth : 3 Optimizer run time : 0.11 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 3 Maximum circuit depth : 2 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 19 (presolved) Input gates : Qubits U3 : 1,2,3 U3_ϕ : [0.0, -90.0] U3_θ : [0.0, 45.0] U3_λ : [0.0, 90.0] Optimal Circuit depth 1 : I ⊗ I ⊗ U3(45.0,-90.0,90.0) Optimal number of gates : 1 Optimal circuit depth : 1 Optimizer run time : 0.32 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 3 Maximum circuit depth : 2 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 19 (presolved) Input gates : Qubits CU3 : {1,2},{1,3},{2,3} CU3_θ : [0.0, 45.0] CU3_ϕ : [0.0, -90.0] CU3_λ : [0.0, 90.0] Optimal Circuit depth 1 : CU3(45.0,-90.0,90.0)_{1,3} Optimal number of gates : 1 Optimal circuit depth : 1 Optimizer run time : 0.17 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 3 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 2 (presolved) Input gates : Qubits H : 1,2 Optimal Circuit depth 1 : H ⊗ I depth 2 : H ⊗ I depth 3 : H ⊗ I Circuit depth: 3 Optimizer run time : 0.04 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 4 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 7 (presolved) Input gates : Qubits CNot : {1,2},{2,1} H : 1,2 S : 1,2 Optimal Circuit depth 1 : CNot_{2,1} depth 2 : S ⊗ H depth 3 : I ⊗ S Optimal number of gates : 4 Optimal circuit depth : 3 Optimizer run time : 0.08 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 4 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 7 (presolved) Input gates : Qubits CNot : {1,2},{2,1} H : 1,2 S : 1,2 Optimal Circuit depth 1 : CNot_{2,1} depth 2 : S ⊗ H depth 3 : I ⊗ S Optimal number of gates : 4 Optimal circuit depth : 3 Optimizer run time : 0.06 sec. ============================================================================= QC_model Tests: constraint_redundant_gate_product_pairs: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:444 Expression: redundant_pairs[1] == (1, 4) Evaluated: (3, 4) == (1, 4) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:425 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:444 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] QC_model Tests: constraint_redundant_gate_product_pairs: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:445 Expression: redundant_pairs[2] == (5, 7) Evaluated: (6, 7) == (5, 7) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:425 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:445 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] QC_model Tests: constraint_redundant_gate_product_pairs: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:446 Expression: isapprox(((data["gates_dict"])["1"])["matrix"] * ((data["gates_dict"])["4"])["matrix"], ((data["gates_dict"])["2"])["matrix"], atol = tol_0) Evaluated: isapprox(ComplexF64[1.0 + 0.0im 0.0 + 0.0im 0.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 1.0 + 0.0im 0.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 0.0 + 0.0im 0.0 - 1.0im 0.0 + 0.0im; 0.0 + 0.0im 0.0 + 0.0im 0.0 + 0.0im 0.0 - 1.0im], ComplexF64[0.7071067811865476 + 0.0im 0.0 + 0.0im 0.7071067811865475 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 0.7071067811865476 + 0.0im 0.0 + 0.0im 0.7071067811865475 + 0.0im; 0.0 + 0.7071067811865475im 0.0 + 0.0im 0.0 - 0.7071067811865476im 0.0 + 0.0im; 0.0 + 0.0im 0.0 + 0.7071067811865475im 0.0 + 0.0im 0.0 - 0.7071067811865476im]; atol = 1.0e-6) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:425 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:446 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] QC_model Tests: constraint_redundant_gate_product_pairs: Test Failed at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:447 Expression: isapprox(((data["gates_dict"])["5"])["matrix"] * ((data["gates_dict"])["7"])["matrix"], ((data["gates_dict"])["6"])["matrix"], atol = tol_0) Evaluated: isapprox(ComplexF64[0.7071067811865476 + 0.0im 0.0 - 0.7071067811865475im 0.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.7071067811865475im -0.7071067811865476 + 0.0im 0.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 0.0 + 0.0im 0.7071067811865476 + 0.0im 0.0 - 0.7071067811865475im; 0.0 + 0.0im 0.0 + 0.0im 0.0 + 0.7071067811865475im -0.7071067811865476 + 0.0im], ComplexF64[0.7071067811865476 + 0.0im 0.0 + 0.7071067811865475im 0.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.7071067811865475im 0.7071067811865476 + 0.0im 0.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 0.0 + 0.0im 0.7071067811865476 + 0.0im 0.0 + 0.7071067811865475im; 0.0 + 0.0im 0.0 + 0.0im 0.0 + 0.7071067811865475im 0.7071067811865476 + 0.0im]; atol = 1.0e-6) Stacktrace: [1] top-level scope @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:425 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1929 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:447 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:745 [inlined] ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 2 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 7 (presolved) Input gates : Qubits U3 : 1,2 U3_ϕ : [90.0] U3_θ : [0.0, 90.0] U3_λ : [-90.0, 180.0] Optimal Circuit depth 1 : U3(90.0,90.0,-90.0) ⊗ U3(0.0,90.0,180.0) Optimal number of gates : 2 Optimal circuit depth : 1 Optimizer run time : 0.01 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 3 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 22 (presolved) Input gates : Qubits CNot : {1,2} U3 : 1,2 U3_ϕ : [0.0, 90.0] U3_θ : [-90.0, 0.0, 90.0] U3_λ : [0.0, 90.0] Optimal Circuit depth 1 : I ⊗ U3(-90.0,0.0,0.0) depth 2 : CNot_{1,2} depth 3 : I ⊗ U3(90.0,0.0,0.0) Optimal number of gates : 3 Optimal circuit depth : 3 Optimizer run time : 0.39 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 3 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 10 (presolved) Input gates : Qubits CNot : {1,2} R : 1,2 R_ϕ : [60.0, 30.0] R_θ : [60.0, 30.0] Optimal Circuit depth 1 : R(30.0,60.0) ⊗ R(30.0,60.0) depth 2 : CNot_{1,2} Optimal number of gates : 3 Optimal circuit depth : 2 Optimizer run time : 0.06 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : exact_optimal MIP optimizer : HiGHS Number of input gates : 5 (presolved) Input gates : Qubits CZ : {1,2} GR : 1,2 RZ : 2 GR_θ : [-90.0, 90.0] GR_ϕ : [0.0] RZ : [180.0] Optimal Circuit depth 1 : CZ_{1,2} depth 2 : GR(-90.0,0.0)_{1,2} depth 3 : I ⊗ RZ(180.0) depth 4 : GR(-90.0,0.0)_{1,2} depth 5 : CZ_{1,2} Optimal number of gates : 5 Optimal circuit depth : 5 Optimizer run time : 0.83 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : exact_feasible MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CH : {1,2} CNot : {1,2},{2,1} Optimal Circuit depth 1 : CNot_{2,1} depth 2 : CNot_{1,2} depth 3 : CH_{1,2} depth 4 : CNot_{1,2} depth 5 : CNot_{2,1} Circuit depth: 5 Optimizer run time : 0.03 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : approximate MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H ||Decomposition error||₂: 0.0 Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 0.03 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : approximate MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H ||Decomposition error||₂: 0.0 Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 0.03 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : approximate MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H ||Decomposition error||₂: 0.0 Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 0.05 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : approximate MIP optimizer : HiGHS Number of input gates : 3 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H ||Decomposition error||₂: 0.0 Circuit depth: 3 Optimizer run time : 0.03 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : approximate MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H ||Decomposition error||₂: 0.0 Minimum number of CNOT gates: 1.0 Optimizer run time : 0.03 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : optimal_global_phase MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 0.18 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : optimal_global_phase MIP optimizer : HiGHS Number of input gates : 4 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 0.18 sec. ============================================================================= ============================================================================= QuantumCircuitOpt version: 0.6.2 Quantum Circuit Data Number of qubits : 2 Maximum circuit depth : 5 Decomposition type : optimal_global_phase MIP optimizer : HiGHS Number of input gates : 5 (presolved) Input gates : Qubits CNot : {1,2} H : 1,2 T : 1 Optimal Circuit depth 1 : H ⊗ H depth 2 : CNot_{1,2} depth 3 : H ⊗ H Optimal number of gates : 5 Optimal circuit depth : 3 Optimizer run time : 1.52 sec. ============================================================================= Test Summary: | Pass Fail Total Time QuantumCircuitOpt | 507 10 517 4m06.2s Tests: complex to real matrix function | 1 1 1.2s Tests: real to complex matrix function | 1 1 0.3s Tests: auxiliary variable product bounds | 10 10 7.9s Tests: unique_matrices and unique_idx | 4 4 5.6s Tests: commuting matrices | 4 4 25.6s Tests: kron_single_qubit_gate | 1 1 0.0s Tests: get_redundant_gate_product_pairs | 2 2 0.4s Tests: get_idempotent_gates | 8 8 2.0s Tests: _parse_gate_string | 5 5 0.0s Tests: is_gate_real | 2 2 0.6s Tests: _get_constraint_slope_intercept | 8 8 0.1s Tests: U_var fixed indices | 245 245 4.0s Tests: empty circuit layer | 1 1 1.6s Tests: convex_hull | 5 5 5.0s Gates tests: elementary universal gates in gates.jl | 62 62 1m08.5s Tests: types | 2 2 3.5s Data tests: building elementary universal gate | 6 6 0.4s Data tests: get_full_sized_gate | 4 4 2.1s Data tests: get_input_circuit_dict | 12 12 0.3s QC_model Tests: Minimize depth for controlled-NOT gate | 8 8 1m05.8s QC_model Tests: Minimum depth T gate decomposition | 6 6 3.5s QC_model Tests: Minimum CNOT swap gate decomposition | 4 4 10.2s QC_model Tests: Minimum depth U3(0,0,π/4) gate | 5 2 7 6.2s QC_model Tests: Minimum depth CU3(0,0,π/4) gate | 5 2 7 0.1s QC_model Tests: Minimum depth Rev CU3(0,0,π/4) gate | 5 2 7 0.1s QC_model Tests: Minimum depth RX, RY, RZ gate decomposition | 3 3 0.1s QC_model Tests: Minimum depth CRX, CRY, CRZ gate decomposition | 3 3 0.4s QC_model Tests: Minimum depth Rev CRX, CRY, CRZ gate decomposition | 3 3 0.4s QC_model Tests: 3-qubit RX gate decomposition | 3 3 0.8s QC_model Tests: 3-qubit CRX gate decomposition | 3 3 0.7s QC_model Tests: feasibility problem | 2 2 0.1s QC_model Tests: JuMP set_start_value for z_bin_var variables | 4 4 0.4s QC_model Tests: Involutory gate constraints | 10 10 0.1s QC_model Tests: TIME_LIMIT for building results dict and log | 2 2 0.4s QC_model Tests: constraint_redundant_gate_product_pairs | 4 4 8 0.6s QC_model Tests: constraint_idempotent_gates | 5 5 0.9s QC_model Tests: constraint_convex_hull_complex_gates | 3 3 10.8s QC_model Tests: RGate decomposition | 5 5 0.3s QC_model Tests: GRGate decomposition for Pauli-X gate, and unitary constraints | 4 4 0.9s QC_model Tests: Decomposition using exact_feasible option | 4 4 0.0s QC_model Tests: Approximate decomposition using outer approximation-1 | 3 3 2.0s QC_model Tests: Approximate decomposition using outer approximation-2 | 15 15 3.2s QC_model Tests: Global phase constraints | 11 11 2.7s Relaxation tests: relaxation_bilinear | 4 4 2.5s RNG of the outermost testset: Random.Xoshiro(0x9e80e622e71581ec, 0xfb4105c915c1dac2, 0xa7e4e941c24f4542, 0xf9e2573cfef39e5d, 0xacece871ec90c107) ERROR: LoadError: Some tests did not pass: 507 passed, 10 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/runtests.jl:22 Testing failed after 342.24s ERROR: LoadError: Package QuantumCircuitOpt errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2672 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2521 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:538 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:515 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:157 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [9] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [12] include(mod::Module, _path::String) @ Base ./Base.jl:308 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:330 [14] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 412.6s: illegal method overwrites during precompilation