Package evaluation of QuantumCircuitOpt on Julia 1.13.0-DEV.888 (0e1aa6c7eb*) started at 2025-07-22T17:17:03.319 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 10.16s ################################################################################ # 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.17.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.0 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.27.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.42.0 [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.4.3 [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.14.1+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.1+0 [efcefdf7] + PCRE2_jll v10.45.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Installation completed after 4.7s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 52.8s ################################################################################ # Testing # Testing QuantumCircuitOpt Status `/tmp/jl_ptgchr/Project.toml` [864edb3b] DataStructures v0.18.22 [87dc4568] HiGHS v1.18.2 [4076af6c] JuMP v1.27.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_ptgchr/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.17.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.18.2 [92d709cd] IrrationalConstants v0.2.4 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.27.0 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.42.0 [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.4.3 [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.14.1+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.1+0 [efcefdf7] PCRE2_jll v10.45.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Testing Running tests... 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.05 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 : T ⊗ I depth 3 : CNot_{1,2} depth 4 : I ⊗ T depth 5 : CNot_{1,2} Minimum number of T gates: 3.0 Optimizer run time : 1.08 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.73 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, 45.0] U3_ϕ : [0.0] U3_θ : [0.0, 90.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:1858 [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:741 [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:1858 [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:741 [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:115 Expression: isapprox(sum(((result_qc["solution"])["z_bin_var"])[4, :]), 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:1858 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:115 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:741 [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, 45.0] CU3_θ : [0.0, 90.0] CU3_ϕ : [0.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:1858 [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:741 [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:1858 [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:741 [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:142 Expression: isapprox(sum(((result_qc["solution"])["z_bin_var"])[4, :]), 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:1858 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:142 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:741 [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, 45.0] CU3_θ : [0.0, 90.0] CU3_ϕ : [0.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:1858 [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:741 [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:1858 [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:741 [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:169 Expression: isapprox(sum(((result_qc["solution"])["z_bin_var"])[4, :]), 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:1858 [inlined] [3] macro expansion @ ~/.julia/packages/QuantumCircuitOpt/wxX3B/test/qc_model_tests.jl:169 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:741 [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} CRX : [0.0, 45.0] CRY : [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} CRX : [0.0, 45.0] CRY : [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, -90.0] U3_θ : [0.0, 45.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.36 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, 90.0] CU3_θ : [0.0, 45.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.16 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, 1) == (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:1858 [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:741 [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, 5) == (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:1858 [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:741 [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[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.7071067811865475 + 0.0im 0.0 + 0.0im -0.7071067811865476 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 0.7071067811865475 + 0.0im 0.0 + 0.0im -0.7071067811865476 + 0.0im], 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 1.0 + 0.0im 0.0 + 0.0im; 0.0 + 0.0im 0.0 + 0.0im 0.0 + 0.0im 1.0 + 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:1858 [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:741 [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.7071067811865475 + 0.0im 0.0 + 0.0im 0.0 + 0.0im; 0.7071067811865475 + 0.0im -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.7071067811865475 + 0.0im; 0.0 + 0.0im 0.0 + 0.0im 0.7071067811865475 + 0.0im -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:1858 [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:741 [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, 180.0] U3_ϕ : [90.0] U3_θ : [0.0, 90.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_ϕ : [0.0, 90.0] U3_θ : [-90.0, 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.34 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_ϕ : [0.0] RZ : [180.0] GR_θ : [-90.0, 90.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 : 1.05 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.02 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.14 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.15 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.5 sec. ============================================================================= Test Summary: | Pass Fail Total Time QuantumCircuitOpt | 504 13 517 4m29.7s Tests: complex to real matrix function | 1 1 1.6s Tests: real to complex matrix function | 1 1 0.3s Tests: auxiliary variable product bounds | 10 10 8.2s Tests: unique_matrices and unique_idx | 4 4 5.8s Tests: commuting matrices | 4 4 27.9s 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.8s Tests: _get_constraint_slope_intercept | 8 8 0.1s Tests: U_var fixed indices | 245 245 4.2s Tests: empty circuit layer | 1 1 1.4s Tests: convex_hull | 5 5 4.9s Gates tests: elementary universal gates in gates.jl | 62 62 1m09.5s Tests: types | 2 2 3.8s Data tests: building elementary universal gate | 6 6 0.4s Data tests: get_full_sized_gate | 4 4 2.0s Data tests: get_input_circuit_dict | 12 12 0.3s QC_model Tests: Minimize depth for controlled-NOT gate | 8 8 1m07.5s QC_model Tests: Minimum depth T gate decomposition | 6 6 3.7s QC_model Tests: Minimum CNOT swap gate decomposition | 4 4 10.4s QC_model Tests: Minimum depth U3(0,0,π/4) gate | 4 3 7 7.1s QC_model Tests: Minimum depth CU3(0,0,π/4) gate | 4 3 7 0.1s QC_model Tests: Minimum depth Rev CU3(0,0,π/4) gate | 4 3 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.5s QC_model Tests: 3-qubit RX gate decomposition | 3 3 0.8s QC_model Tests: 3-qubit CRX gate decomposition | 3 3 0.6s 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.3s QC_model Tests: constraint_redundant_gate_product_pairs | 4 4 8 0.6s QC_model Tests: constraint_idempotent_gates | 5 5 0.7s QC_model Tests: constraint_convex_hull_complex_gates | 3 3 10.7s QC_model Tests: RGate decomposition | 5 5 0.3s QC_model Tests: GRGate decomposition for Pauli-X gate, and unitary constraints | 4 4 1.1s QC_model Tests: Decomposition using exact_feasible option | 4 4 0.0s QC_model Tests: Approximate decomposition using outer approximation-1 | 3 3 2.2s QC_model Tests: Approximate decomposition using outer approximation-2 | 15 15 3.1s 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(0x2e7e3820d2de4dce, 0x15c4510cb4914f58, 0xf425921100c1a3d6, 0x2f2f0ec14ef6d7ac, 0x7ed06ce51d1a54b8) ERROR: LoadError: Some tests did not pass: 504 passed, 13 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/QuantumCircuitOpt/wxX3B/test/runtests.jl:22 Testing failed after 308.07s 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:2661 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2510 [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] 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 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:309 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:320 [12] _start() @ Base ./client.jl:553 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 392.45s: package has test failures