Package evaluation to test ToQUBO on Julia 1.14.0-DEV.2435 (e1b2c72e96*) started at 2026-06-25T22:33:38.160 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.58s ################################################################################ # Installation # Installing ToQUBO... Resolving package versions... Installed QUBOTools ─ v0.15.1 Installed ToQUBO ──── v0.5.1 Updating `~/.julia/environments/v1.14/Project.toml` [9a412ddf] + ToQUBO v0.5.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [ec485272] + ArnoldiMethod v0.4.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 [864edb3b] + DataStructures v0.19.5 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.4.1 [5c1252a2] + GeometryBasics v0.5.11 [86223c79] + Graphs v1.14.0 [f67ccb44] + HDF5 v0.17.3 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 [7d188eb4] + JSONSchema v1.5.0 [2ab3a3ac] + LogExpFunctions v1.0.1 [3da0fdf6] + MPIPreferences v0.1.12 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.51.1 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 [46757867] + NetworkLayout v0.4.10 ⌅ [bac558e1] + OrderedCollections v1.8.2 [69de0a69] + Parsers v2.8.6 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [c8fa9a04] + PseudoBooleanOptimization v0.3.0 [60eb5b62] + QUBOTools v0.15.1 [3cdcf5f2] + RecipesBase v1.3.4 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.6 [276daf66] + SpecialFunctions v2.8.0 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [ec057cc2] + StructUtils v2.8.2 [9a412ddf] + ToQUBO v0.5.1 [3bb67fe8] + TranscodingStreams v0.11.3 [5c2747f8] + URIs v1.6.1 [6e34b625] + Bzip2_jll v1.0.9+0 [5ae413db] + EarCut_jll v2.2.4+0 [0234f1f7] + HDF5_jll v2.1.2+0 [e33a78d0] + Hwloc_jll v2.14.0+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [b5ada748] + MPIABI_jll v0.1.5+0 [7cb0a576] + MPICH_jll v5.0.1+0 [f1f71cc9] + MPItrampoline_jll v5.5.6+0 [9237b28f] + MicrosoftMPI_jll v10.1.4+3 [fe0851c0] + OpenMPI_jll v5.0.11+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.19.0+0 ⌅ [2b3700d1] + aws_c_auth_jll v0.9.6+0 [70f11efc] + aws_c_cal_jll v0.9.13+0 [73048d1d] + aws_c_common_jll v0.12.6+0 [73a04cd5] + aws_c_compression_jll v0.3.2+0 [3254fc65] + aws_c_http_jll v0.10.13+0 [13c41daa] + aws_c_io_jll v0.26.3+0 ⌅ [bd1f34fb] + aws_c_s3_jll v0.11.5+0 [1282aa60] + aws_c_sdkutils_jll v0.2.4+1 [b2a88e68] + aws_checksums_jll v0.2.10+0 [c4b69c83] + dlfcn_win32_jll v1.4.2+0 [477f73a3] + libaec_jll v1.1.7+0 [9aeb927a] + mpif_jll v0.1.7+0 [cddc5d3d] + s2n_tls_jll v1.7.3+0 [0dad84c5] + ArgTools v1.2.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.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.5.5+0 [deac9b47] + LibCURL_jll v8.20.0+1 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.7+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.0+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 12.72s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 22.9 s ✓ ToQUBO 21.4 s ✓ QUBODrivers 20.9 s ✓ ToQUBO → ToQUBOJuMPExt 21.3 s ✓ QUBODrivers → QUBODrivers_Test_Ext 4 dependencies successfully precompiled in 89 seconds. 112 already precompiled. Precompilation completed after 124.9s ################################################################################ # Testing # Testing ToQUBO Status `/tmp/jl_LFLBTK/Project.toml` [0d27d021] DisjunctiveProgramming v0.6.1 [4076af6c] JuMP v1.30.1 [b8f27783] MathOptInterface v1.51.1 [c8fa9a04] PseudoBooleanOptimization v0.3.0 [a3f166f7] QUBODrivers v0.6.4 [60eb5b62] QUBOTools v0.15.1 [9a412ddf] ToQUBO v0.5.1 [37e2e46d] LinearAlgebra v1.14.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 Status `/tmp/jl_LFLBTK/Manifest.toml` [ec485272] ArnoldiMethod v0.4.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [864edb3b] DataStructures v0.19.5 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [0d27d021] DisjunctiveProgramming v0.6.1 [ffbed154] DocStringExtensions v0.9.5 [f6369f11] ForwardDiff v1.4.1 [5c1252a2] GeometryBasics v0.5.11 [86223c79] Graphs v1.14.0 [f67ccb44] HDF5 v0.17.3 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [7d188eb4] JSONSchema v1.5.0 [4076af6c] JuMP v1.30.1 [2ab3a3ac] LogExpFunctions v1.0.1 [3da0fdf6] MPIPreferences v0.1.12 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.51.1 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.4 [46757867] NetworkLayout v0.4.10 ⌅ [bac558e1] OrderedCollections v1.8.2 [69de0a69] Parsers v2.8.6 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [c8fa9a04] PseudoBooleanOptimization v0.3.0 [a3f166f7] QUBODrivers v0.6.4 [60eb5b62] QUBOTools v0.15.1 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [699a6c99] SimpleTraits v0.9.6 [276daf66] SpecialFunctions v2.8.0 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.8.2 [9a412ddf] ToQUBO v0.5.1 [3bb67fe8] TranscodingStreams v0.11.3 [5c2747f8] URIs v1.6.1 [6e34b625] Bzip2_jll v1.0.9+0 [5ae413db] EarCut_jll v2.2.4+0 [0234f1f7] HDF5_jll v2.1.2+0 [e33a78d0] Hwloc_jll v2.14.0+0 [94ce4f54] Libiconv_jll v1.18.0+0 [b5ada748] MPIABI_jll v0.1.5+0 [7cb0a576] MPICH_jll v5.0.1+0 [f1f71cc9] MPItrampoline_jll v5.5.6+0 [9237b28f] MicrosoftMPI_jll v10.1.4+3 [fe0851c0] OpenMPI_jll v5.0.11+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [a65dc6b1] Xorg_libpciaccess_jll v0.19.0+0 ⌅ [2b3700d1] aws_c_auth_jll v0.9.6+0 [70f11efc] aws_c_cal_jll v0.9.13+0 [73048d1d] aws_c_common_jll v0.12.6+0 [73a04cd5] aws_c_compression_jll v0.3.2+0 [3254fc65] aws_c_http_jll v0.10.13+0 [13c41daa] aws_c_io_jll v0.26.3+0 ⌅ [bd1f34fb] aws_c_s3_jll v0.11.5+0 [1282aa60] aws_c_sdkutils_jll v0.2.4+1 [b2a88e68] aws_checksums_jll v0.2.10+0 [c4b69c83] dlfcn_win32_jll v1.4.2+0 [477f73a3] libaec_jll v1.1.7+0 [9aeb927a] mpif_jll v0.1.7+0 [cddc5d3d] s2n_tls_jll v1.7.3+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.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.5.5+0 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.7+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2) >= -1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2)*MOI.VariableIndex(3) >= -1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2) >= -1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2)*MOI.VariableIndex(3) >= -1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2) >= -1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(606) <= 1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(520) <= 1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(539) <= 1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(148) <= 1.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:317 Expression: target["num_variables"] == 3661 Evaluated: 3747 == 3661 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:317 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:318 Expression: target["num_terms"] == 350272 Evaluated: 354517 == 350272 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:318 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:319 Expression: target["num_quadratic_terms"] == 346611 Evaluated: 350770 == 346611 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:319 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:320 Expression: isapprox(target["density"], 0.05225373626178544; rtol = 1.0e-14) Evaluated: isapprox(0.050487490668450805, 0.05225373626178544; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:320 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:321 Expression: isapprox(target["min_coeff"], -1.418426307690889e24; rtol = 1.0e-14) Evaluated: isapprox(-1.1948175749491926e29, -1.418426307690889e24; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:321 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:322 Expression: isapprox(target["max_coeff"], 1.821469821468e24; rtol = 1.0e-14) Evaluated: isapprox(1.255817662096406e29, 1.821469821468e24; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:322 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:323 Expression: isapprox(target["objective_offset"], 6.113365033359323e20; rtol = 1.0e-14) Evaluated: isapprox(1.211601215600004e16, 6.113365033359323e20; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:323 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:328 Expression: metadata["auxiliary_variable_count"] == 2021 Evaluated: 2107 == 2021 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:328 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:384 Expression: isapprox(scaling_diagnostics["qoblib_symmetric_to_canonical_abs_ratio"], 402440.34324785223; rtol = 1.0e-14) Evaluated: isapprox(2.7746366425301315e10, 402440.34324785223; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:384 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:389 Expression: isapprox(scaling_diagnostics["qoblib_symmetric_min_to_canonical_min_abs_ratio"], 1.4908409999999998e6; rtol = 1.0e-14) Evaluated: isapprox(1.25581640625e11, 1.4908409999999998e6; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:389 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:401 Expression: comparison["target_variable_delta_vs_qoblib_qs"] == 21 Evaluated: 107 == 21 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:401 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:406 Expression: isapprox(comparison["density_delta_vs_qoblib_qs"], -0.0004563934876192291; rtol = 1.0e-14) Evaluated: isapprox(-0.002222639080953867, -0.0004563934876192291; rtol = 1.0e-14) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:406 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 QOBLib benchmark pilot: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:455 Expression: markdown == _normalized_file(report_path) Evaluated: "# QOBLib Network Reformulation Pilot\n\nThis report is a ToQUBO-generated reformulation benchmark. It is not a canonical QOBLIB artifact.\n\n## Provenance\n\n- QOBLIB repository: https://github.com/ZIB-AOPT/QOBLIB\n- QOBLIB commit: `a686aaa09fe14651294f744f34d453d5dce9cf57`\n- QOBLIB class: `08-network`\n- Source model: `08-network/models/integer_lp/d3ver0int.zpl`\n- Source instance: `08-network/instances/demand.txt`\n- Source LP: `08-network/models/integer_lp/lp_files/network05.lp.xz`\n- Source solution: `08-network/solutions/network05.opt.sol`\n- Source metrics: `08-network/models/integer_lp/lp_files/metrics.csv`\n- Source metrics CSV row: `network05.lp,0,101,0,101,130,0,130,0.03351104341203351,-1000000.0,1.0`\n- Canonical QUBO metrics: `08-network/models/integer_lp/metrics_qs_files.csv`\n- Canonical QUBO metrics CSV row: `network05.qs,3640,0.05271012974940467,-4.75713475713e+17,4.5260616934376417e+18`\n- Canonical QUBO artifact available at pinned commit: false\n- Canonical QUBO artifact note: The pinned QOBLIB tree contains the network05.qs metrics row but no stored network05.qs or network05.qs.xz artifact, so this pilot compares against the metrics table row.\n- Model license: Apache License, Version 2.0\n- Data license: Creative Commons Attribution 4.0 International\n- Generated collection label: ToQUBO-generated reformulation benchmark\n\n## Upstream Verification\n\n- Manual verification: true against QOBLIB commit `a686aaa09fe14651294f744f34d453d5dce9cf57`.\n- Class refs: 08-network/README.md:19-28.\n- Model refs: 08-network/models/integer_lp/d3ver0int.zpl:21-23, 08-network/models/integer_lp/d3ver0int.zpl:53-64, 08-network/models/integer_lp/d3ver0int.zpl:66-84.\n- Instance refs: 08-network/instances/README.md:5-6, 08-network/models/integer_lp/d3ver0int.zpl:25-32.\n- Solution refs: 08-network/solutions/network05.opt.sol:2-3, 08-network/solutions/network05.opt.sol:4-23, 08-network/solutions/network05.opt.sol:24-103.\n- Metrics refs: 08-network/models/integer_lp/lp_files/metrics.csv:2, 08-network/models/integer_lp/metrics_qs_files.csv:2.\n- network05 is generated by passing num_nodes=5 to the shared ZIMPL model.\n- the first five rows and columns of the hardcoded demand matrix are transcribed.\n- x[i,j] marks selected directed arcs and f[k,i,j] routes traffic for source k over arc i -> j.\n- the source objective z minimizes the maximum aggregate scaled flow on any selected edge.\n\n## QOBLIB Converter Evidence\n\n- Converter source: `misc/convert_lp2qubo.py`; refs misc/convert_lp2qubo.py:55-65, misc/convert_lp2qubo.py:82-89.\n- Converter convention: QOBLIB reads the LP with Gurobi, converts continuous variables to integer, builds a Qiskit QuadraticProgram with from_gurobipy, converts it with QuadraticProgramToQubo() using the converter default penalty, writes linear coefficients on the diagonal, symmetrizes Q as (Q + Q') / 2, and writes the objective offset separately.\n- Network QS metrics ref: 08-network/models/integer_lp/metrics_qs_files.csv:2.\n- Reproduction environment: Python 3.12, Qiskit 2.4.2, qiskit-optimization 0.7.0, gurobipy 13.0.2.\n- Local reproduction: Reproduced the network05 QS metrics from the local QOBLIB LP with Qiskit's default converter; the reproduced variable count, density, minimum coefficient, and maximum coefficient match the pinned metrics row exactly.\n- Reproduced converter penalty: 1.000001e6\n- Reproduced metrics: variables 3640, nonzero entries 349290, density 0.05271013, minimum coefficient -4.7571348e17, maximum coefficient 4.5260617e18, objective offset 1.2116012e16.\n- ToQUBO follow-up hint: A useful compiler follow-up is a verified benchmark-compatible penalty policy comparable to Qiskit's default QuadraticProgramToQubo behavior.\n\n## Instance\n\n- QOBLIB id: `network05`\n- Source LP file: `network05.lp`\n- Canonical QUBO file: `network05.qs`\n- Nodes: 5\n- Required indegree: 2\n- Required outdegree: 2\n- Big-M: 1000\n- Integer scale: 1000\n- Nonzero demand entries: 13\n\n## Modeling Assumptions\n\n- the source model follows QOBLIB's integer network design formulation\n- the pilot uses num_nodes=5 and the first five rows and columns of the fixed demand matrix\n- each node has exactly two selected outgoing arcs and exactly two selected incoming arcs\n- flow variables are source-indexed and scaled by intscale = 1000\n- arc-linking constraints use M * intscale = 1000000 as the selected-arc capacity\n- edge-capacity constraints force z to dominate aggregate scaled flow on every directed arc\n\n## Bounds and Naming\n\n- 0 <= z <= 1000000, integer\n- 0 <= x[i,j] <= 1, integer\n- 0 <= f[k,i,j] <= 1000000, integer\n- z follows the QOBLIB max-load objective variable\n- x[i,j] follows the QOBLIB selected directed arc variable\n- f[k,i,j] follows the QOBLIB source-k flow variable over arc i -> j\n\n## Metrics\n\n| Metric | QOBLIB source LP | QOBLIB canonical QUBO metrics | ToQUBO generated QUBO |\n|:--|--:|--:|--:|\n| variables | 101 | 3640 | 3747 |\n| density | 0.033511043 | 0.05271013 | 0.050487491 |\n| minimum coefficient | -1.0e6 | -4.7571348e17 | -1.1948176e29 |\n| maximum coefficient | 1.0 | 4.5260617e18 | 1.2558177e29 |\n| QOBLIB-style minimum coefficient | n/a | -4.7571348e17 | -5.9740879e28 |\n| QOBLIB-style maximum coefficient | n/a | 4.5260617e18 | 1.2558177e29 |\n| objective offset | n/a | n/a | 1.2116012e16 |\n| QUBO terms | n/a | n/a | 354517 |\n| quadratic terms | n/a | n/a | 350770 |\n\n## Source Model Counts\n\n- Generated source variables: 101\n- Generated source constraints: 130\n- Out-degree constraints: 5\n- In-degree constraints: 5\n- Flow-balance constraints: 20\n- Arc-linking constraints: 80\n- Edge-capacity constraints: 20\n\n## Reformulation Metadata\n\n- Metadata schema version: 1\n- Source variables: 101\n- Target variables: 3747\n- Auxiliary variables: 2107\n- Slack variables: 100\n- Constraint penalties: 130\n- Variable penalties: 0\n- Slack penalties: 0\n- Distinct constraint penalties: 1.000001e6\n- Encoding types: `Binary`\n\n## Source Variable Encoding\n\n- z variables: 1\n- z target binary variables: 20\n- Selected-arc variables: 20\n- Selected-arc target binary variables: 20\n- Flow variables: 80\n- Flow target binary variables: 1600\n- z and flow target binary variables: 1620\n- Encoded source target binary variables: 1640\n\n## Penalty Scaling Diagnostics\n\n- Automatic penalty heuristic: `objective-range exact penalty with legacy fallback`\n- Automatic penalty policy: `ObjectiveRangePenalty`\n- Objective range used for automatic penalties: 1.0e6\n- Penalty policy fallback count: 0\n- Default penalty scale: 1.0\n- Default penalty offset: 1.0\n- Largest applied penalty family: out-degree\n- Largest applied penalty: 1.000001e6\n- Largest expanded residual scale family: arc-linking\n- Expanded residual coefficient at largest scale: 1.0e6\n- Largest applied penalty times expanded residual coefficient squared: 1.000001e18\n- Native absolute coefficient bound divided by canonical bound: 2.7746366e10\n- QOBLIB-style absolute coefficient bound divided by canonical bound: 2.7746366e10\n- QOBLIB-style minimum-coefficient absolute ratio: 1.2558164e11\n- QOBLIB-style maximum-coefficient absolute ratio: 2.7746366e10\n- Objective offset divided by incumbent source objective: 1.8497728e11\n- Assessment: The source transcription and incumbent checks pass. QOBLIB's network05 QS metrics are reproduced by Qiskit's default converter with a uniform penalty of 1000001.0. ToQUBO's objective-range exact-penalty policy now infers the same uniform applied penalty for all network constraints. The remaining coefficient gap is driven by residual expansion and encoding differences, with arc-linking dominating after the 1000000 source coefficient is expanded into the QUBO.\n\n| Constraint family | Constraints | Distinct penalties | Min penalty | Max penalty | Max source coefficient | Max expanded coefficient | Max expanded scale |\n|:--|--:|--:|--:|--:|--:|--:|--:|\n| out-degree | 5 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 1.0 | 1.000001e6 |\n| in-degree | 5 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 1.0 | 1.000001e6 |\n| flow-balance | 20 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 475713.0 | 2.2630308e17 |\n| arc-linking | 80 | 1 | 1.000001e6 | 1.000001e6 | 1.0e6 | 1.0e6 | 1.000001e18 |\n| edge-capacity | 20 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 475713.0 | 2.2630308e17 |\n\n## Known Incumbent\n\n- Source objective: 65500\n- QOBLIB solution artifact objective: 65500\n- Source feasible: true\n- Out-degree feasible: true\n- In-degree feasible: true\n- Flow-balance feasible: true\n- Arc-linking feasible: true\n- Edge-capacity feasible: true\n- Positive flow entries: 17\n- Max aggregate edge load: 65500\n- Selected arcs: (1, 2), (1, 3), (2, 3), (2, 5), (3, 4), (3, 5), (4, 1), (4, 2), (5, 1), (5, 4)\n- QOBLIB solution artifact consistency check: pass\n\n## Comparison Notes\n\n- Canonical QUBO metrics available for this instance: true\n- Target variable delta vs QOBLIB QS metrics: 107\n- Target variable delta note: ToQUBO generates 21 more binary variables than the pinned QOBLIB QS metrics row. Reformulation metadata attributes 20 bits to the explicit bounded integer max-load variable z and reports one additional auxiliary variable under ToQUBO's current constraint encodings.\n- Target density delta vs QOBLIB QS metrics: -0.0022226391\n- Native min-coefficient delta vs QOBLIB QS metrics: -1.1948176e29\n- Native max-coefficient delta vs QOBLIB QS metrics: 1.2558177e29\n- QOBLIB-style min-coefficient delta vs QOBLIB QS metrics: -5.9740879e28\n- QOBLIB-style max-coefficient delta vs QOBLIB QS metrics: 1.2558177e29\n\n## Follow-Up\n\nThe objective-range exact-penalty policy tightens ToQUBO's applied network penalties from many family-dependent values up to about 5.23e14 down to the Qiskit/QOBLib-compatible uniform value 1000001.0. The source transcription and incumbent feasibility checks pass, and the local QOBLIB converter reproduces the pinned QS metrics row. The remaining coefficient-range gap is no longer caused by oversized applied penalties; it should be interpreted alongside ToQUBO's variable/slack encodings, residual expansion coefficients, and the target-variable delta before expanding the network benchmark class.\n" == "# QOBLib Network Reformulation Pilot\n\nThis report is a ToQUBO-generated reformulation benchmark. It is not a canonical QOBLIB artifact.\n\n## Provenance\n\n- QOBLIB repository: https://github.com/ZIB-AOPT/QOBLIB\n- QOBLIB commit: `a686aaa09fe14651294f744f34d453d5dce9cf57`\n- QOBLIB class: `08-network`\n- Source model: `08-network/models/integer_lp/d3ver0int.zpl`\n- Source instance: `08-network/instances/demand.txt`\n- Source LP: `08-network/models/integer_lp/lp_files/network05.lp.xz`\n- Source solution: `08-network/solutions/network05.opt.sol`\n- Source metrics: `08-network/models/integer_lp/lp_files/metrics.csv`\n- Source metrics CSV row: `network05.lp,0,101,0,101,130,0,130,0.03351104341203351,-1000000.0,1.0`\n- Canonical QUBO metrics: `08-network/models/integer_lp/metrics_qs_files.csv`\n- Canonical QUBO metrics CSV row: `network05.qs,3640,0.05271012974940467,-4.75713475713e+17,4.5260616934376417e+18`\n- Canonical QUBO artifact available at pinned commit: false\n- Canonical QUBO artifact note: The pinned QOBLIB tree contains the network05.qs metrics row but no stored network05.qs or network05.qs.xz artifact, so this pilot compares against the metrics table row.\n- Model license: Apache License, Version 2.0\n- Data license: Creative Commons Attribution 4.0 International\n- Generated collection label: ToQUBO-generated reformulation benchmark\n\n## Upstream Verification\n\n- Manual verification: true against QOBLIB commit `a686aaa09fe14651294f744f34d453d5dce9cf57`.\n- Class refs: 08-network/README.md:19-28.\n- Model refs: 08-network/models/integer_lp/d3ver0int.zpl:21-23, 08-network/models/integer_lp/d3ver0int.zpl:53-64, 08-network/models/integer_lp/d3ver0int.zpl:66-84.\n- Instance refs: 08-network/instances/README.md:5-6, 08-network/models/integer_lp/d3ver0int.zpl:25-32.\n- Solution refs: 08-network/solutions/network05.opt.sol:2-3, 08-network/solutions/network05.opt.sol:4-23, 08-network/solutions/network05.opt.sol:24-103.\n- Metrics refs: 08-network/models/integer_lp/lp_files/metrics.csv:2, 08-network/models/integer_lp/metrics_qs_files.csv:2.\n- network05 is generated by passing num_nodes=5 to the shared ZIMPL model.\n- the first five rows and columns of the hardcoded demand matrix are transcribed.\n- x[i,j] marks selected directed arcs and f[k,i,j] routes traffic for source k over arc i -> j.\n- the source objective z minimizes the maximum aggregate scaled flow on any selected edge.\n\n## QOBLIB Converter Evidence\n\n- Converter source: `misc/convert_lp2qubo.py`; refs misc/convert_lp2qubo.py:55-65, misc/convert_lp2qubo.py:82-89.\n- Converter convention: QOBLIB reads the LP with Gurobi, converts continuous variables to integer, builds a Qiskit QuadraticProgram with from_gurobipy, converts it with QuadraticProgramToQubo() using the converter default penalty, writes linear coefficients on the diagonal, symmetrizes Q as (Q + Q') / 2, and writes the objective offset separately.\n- Network QS metrics ref: 08-network/models/integer_lp/metrics_qs_files.csv:2.\n- Reproduction environment: Python 3.12, Qiskit 2.4.2, qiskit-optimization 0.7.0, gurobipy 13.0.2.\n- Local reproduction: Reproduced the network05 QS metrics from the local QOBLIB LP with Qiskit's default converter; the reproduced variable count, density, minimum coefficient, and maximum coefficient match the pinned metrics row exactly.\n- Reproduced converter penalty: 1.000001e6\n- Reproduced metrics: variables 3640, nonzero entries 349290, density 0.05271013, minimum coefficient -4.7571348e17, maximum coefficient 4.5260617e18, objective offset 1.2116012e16.\n- ToQUBO follow-up hint: A useful compiler follow-up is a verified benchmark-compatible penalty policy comparable to Qiskit's default QuadraticProgramToQubo behavior.\n\n## Instance\n\n- QOBLIB id: `network05`\n- Source LP file: `network05.lp`\n- Canonical QUBO file: `network05.qs`\n- Nodes: 5\n- Required indegree: 2\n- Required outdegree: 2\n- Big-M: 1000\n- Integer scale: 1000\n- Nonzero demand entries: 13\n\n## Modeling Assumptions\n\n- the source model follows QOBLIB's integer network design formulation\n- the pilot uses num_nodes=5 and the first five rows and columns of the fixed demand matrix\n- each node has exactly two selected outgoing arcs and exactly two selected incoming arcs\n- flow variables are source-indexed and scaled by intscale = 1000\n- arc-linking constraints use M * intscale = 1000000 as the selected-arc capacity\n- edge-capacity constraints force z to dominate aggregate scaled flow on every directed arc\n\n## Bounds and Naming\n\n- 0 <= z <= 1000000, integer\n- 0 <= x[i,j] <= 1, integer\n- 0 <= f[k,i,j] <= 1000000, integer\n- z follows the QOBLIB max-load objective variable\n- x[i,j] follows the QOBLIB selected directed arc variable\n- f[k,i,j] follows the QOBLIB source-k flow variable over arc i -> j\n\n## Metrics\n\n| Metric | QOBLIB source LP | QOBLIB canonical QUBO metrics | ToQUBO generated QUBO |\n|:--|--:|--:|--:|\n| variables | 101 | 3640 | 3661 |\n| density | 0.033511043 | 0.05271013 | 0.052253736 |\n| minimum coefficient | -1.0e6 | -4.7571348e17 | -1.4184263e24 |\n| maximum coefficient | 1.0 | 4.5260617e18 | 1.8214698e24 |\n| QOBLIB-style minimum coefficient | n/a | -4.7571348e17 | -7.0921315e23 |\n| QOBLIB-style maximum coefficient | n/a | 4.5260617e18 | 1.8214698e24 |\n| objective offset | n/a | n/a | 6.113365e20 |\n| QUBO terms | n/a | n/a | 350272 |\n| quadratic terms | n/a | n/a | 346611 |\n\n## Source Model Counts\n\n- Generated source variables: 101\n- Generated source constraints: 130\n- Out-degree constraints: 5\n- In-degree constraints: 5\n- Flow-balance constraints: 20\n- Arc-linking constraints: 80\n- Edge-capacity constraints: 20\n\n## Reformulation Metadata\n\n- Metadata schema version: 1\n- Source variables: 101\n- Target variables: 3661\n- Auxiliary variables: 2021\n- Slack variables: 100\n- Constraint penalties: 130\n- Variable penalties: 0\n- Slack penalties: 0\n- Distinct constraint penalties: 1.000001e6\n- Encoding types: `Binary`\n\n## Source Variable Encoding\n\n- z variables: 1\n- z target binary variables: 20\n- Selected-arc variables: 20\n- Selected-arc target binary variables: 20\n- Flow variables: 80\n- Flow target binary variables: 1600\n- z and flow target binary variables: 1620\n- Encoded source target binary variables: 1640\n\n## Penalty Scaling Diagnostics\n\n- Automatic penalty heuristic: `objective-range exact penalty with legacy fallback`\n- Automatic penalty policy: `ObjectiveRangePenalty`\n- Objective range used for automatic penalties: 1.0e6\n- Penalty policy fallback count: 0\n- Default penalty scale: 1.0\n- Default penalty offset: 1.0\n- Largest applied penalty family: out-degree\n- Largest applied penalty: 1.000001e6\n- Largest expanded residual scale family: arc-linking\n- Expanded residual coefficient at largest scale: 1.0e6\n- Largest applied penalty times expanded residual coefficient squared: 1.000001e18\n- Native absolute coefficient bound divided by canonical bound: 402440.34\n- QOBLIB-style absolute coefficient bound divided by canonical bound: 402440.34\n- QOBLIB-style minimum-coefficient absolute ratio: 1.490841e6\n- QOBLIB-style maximum-coefficient absolute ratio: 402440.34\n- Objective offset divided by incumbent source objective: 9.3333817e15\n- Assessment: The source transcription and incumbent checks pass. QOBLIB's network05 QS metrics are reproduced by Qiskit's default converter with a uniform penalty of 1000001.0. ToQUBO's objective-range exact-penalty policy now infers the same uniform applied penalty for all network constraints. The remaining coefficient gap is driven by residual expansion and encoding differences, with arc-linking dominating after the 1000000 source coefficient is expanded into the QUBO.\n\n| Constraint family | Constraints | Distinct penalties | Min penalty | Max penalty | Max source coefficient | Max expanded coefficient | Max expanded scale |\n|:--|--:|--:|--:|--:|--:|--:|--:|\n| out-degree | 5 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 1.0 | 1.000001e6 |\n| in-degree | 5 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 1.0 | 1.000001e6 |\n| flow-balance | 20 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 475713.0 | 2.2630308e17 |\n| arc-linking | 80 | 1 | 1.000001e6 | 1.000001e6 | 1.0e6 | 1.0e6 | 1.000001e18 |\n| edge-capacity | 20 | 1 | 1.000001e6 | 1.000001e6 | 1.0 | 475713.0 | 2.2630308e17 |\n\n## Known Incumbent\n\n- Source objective: 65500\n- QOBLIB solution artifact objective: 65500\n- Source feasible: true\n- Out-degree feasible: true\n- In-degree feasible: true\n- Flow-balance feasible: true\n- Arc-linking feasible: true\n- Edge-capacity feasible: true\n- Positive flow entries: 17\n- Max aggregate edge load: 65500\n- Selected arcs: (1, 2), (1, 3), (2, 3), (2, 5), (3, 4), (3, 5), (4, 1), (4, 2), (5, 1), (5, 4)\n- QOBLIB solution artifact consistency check: pass\n\n## Comparison Notes\n\n- Canonical QUBO metrics available for this instance: true\n- Target variable delta vs QOBLIB QS metrics: 21\n- Target variable delta note: ToQUBO generates 21 more binary variables than the pinned QOBLIB QS metrics row. Reformulation metadata attributes 20 bits to the explicit bounded integer max-load variable z and reports one additional auxiliary variable under ToQUBO's current constraint encodings.\n- Target density delta vs QOBLIB QS metrics: -0.00045639349\n- Native min-coefficient delta vs QOBLIB QS metrics: -1.4184258e24\n- Native max-coefficient delta vs QOBLIB QS metrics: 1.8214653e24\n- QOBLIB-style min-coefficient delta vs QOBLIB QS metrics: -7.0921268e23\n- QOBLIB-style max-coefficient delta vs QOBLIB QS metrics: 1.8214653e24\n\n## Follow-Up\n\nThe objective-range exact-penalty policy tightens ToQUBO's applied network penalties from many family-dependent values up to about 5.23e14 down to the Qiskit/QOBLib-compatible uniform value 1000001.0. The source transcription and incumbent feasibility checks pass, and the local QOBLIB converter reproduces the pinned QS metrics row. The remaining coefficient-range gap is no longer caused by oversized applied penalties; it should be interpreted alongside ToQUBO's variable/slack encodings, residual expansion coefficients, and the target-variable delta before expanding the network benchmark class.\n" Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:455 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_qoblib_benchmark_pilot() @ Main ~/.julia/packages/ToQUBO/24zWY/test/unit/qoblib_benchmark.jl:14 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(421) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(422) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(423) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(424) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(425) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(426) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(427) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(428) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(429) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(430) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(431) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(432) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(433) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(434) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(435) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(436) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(437) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(438) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(439) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(440) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(441) <= 231.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(421) >= 0.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 TSP: 16 variables: Test Failed at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/integration/examples/logical/logical_tsp.jl:133 Expression: x̂ ∈ x̄ Evaluated: [0 0 0 1; 1 0 0 0; 0 1 0 0; 0 0 1 0] ∈ Set([[1 0 0 0; 0 0 0 1; 0 0 1 0; 0 1 0 0], [0 0 1 0; 0 1 0 0; 1 0 0 0; 0 0 0 1], [0 1 0 0; 1 0 0 0; 0 0 0 1; 0 0 1 0], [0 0 0 1; 0 0 1 0; 0 1 0 0; 1 0 0 0]]) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/ToQUBO/24zWY/test/integration/examples/logical/logical_tsp.jl:133 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] test_logical_tsp() @ Main ~/.julia/packages/ToQUBO/24zWY/test/integration/examples/logical/logical_tsp.jl:57 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(1) >= -2.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2) >= -2.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(1) <= 2.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 ┌ Warning: Always-feasible constraint detected: │ 0.0 + 1.0 MOI.VariableIndex(2) <= 2.0 └ @ ToQUBO.Compiler ~/.julia/packages/ToQUBO/24zWY/src/compiler/constraints.jl:80 Test Summary: | Pass Fail Total Time ♡ ToQUBO.jl 0.5.1 Test Suite ♡ | 1644 14 1658 5m32.9s ⊚ Unit Tests | 1320 13 1333 3m40.1s □ Encoding | 147 147 8.2s → Variables | 130 130 6.1s → Constraints | 11 11 2.1s → Extras | 6 6 0.0s □ Compiler | 282 282 34.3s → Constraints | 75 75 23.3s affine ACTIVATE_ON_ONE | 4 4 4.4s affine ACTIVATE_ON_ZERO | 4 4 1.5s quadratic ACTIVATE_ON_ONE | 4 4 1.0s quadratic ACTIVATE_ON_ZERO | 4 4 1.3s → Copy | 78 78 9.3s → Quadratization | 20 20 0.4s Compilation Error | 4 4 0.0s → Analysis | 11 11 0.0s → Variables | 12 12 0.1s Penalty inference | 82 82 1.2s Compatibility and CI | 30 30 0.0s Docs | 4 4 0.0s Penalty settings docs | 5 5 0.0s □ Virtual Module | 43 43 0.5s → Virtual.Model | 13 13 0.2s → Virtual.Variable | 14 14 0.1s → Virtual.Encoding | 16 16 0.2s □ Model Module | 86 86 1.9s → QUBOModel | 48 48 1.0s → PreQUBOModel | 38 38 0.9s □ Wrapper Module | 73 73 50.3s → Optimizer Wrapper | 60 60 50.0s → Wrapper Attributes | 13 13 0.3s □ Attributes Module | 200 200 2.2s → Compiler Attributes | 134 134 1.4s → Encoding Attributes | 33 33 0.4s → Constraint Attributes | 33 33 0.4s → Reformulation Metadata | 30 30 2.2s → Feasibility Analysis | 38 38 17.2s QOBLib benchmark pilot | 382 13 395 1m43.3s ⊚ Integration Tests | 324 1 325 1m52.8s □ Interface | 223 223 29.2s MathOptInterface | 132 132 18.4s JuMP | 91 91 10.8s □ Examples | 101 1 102 1m23.6s Quantum Bridge Analytics I | 16 16 6.6s 2: Illustrative Example | 6 6 6.3s 3.1: Number Partitioning | 5 5 0.3s 3.2: Max-Cut | 5 5 0.0s Linear Programs | 12 12 4.4s 3 variables, 1 constraint | 6 6 0.3s 11 variables, 3 constraints | 6 6 4.1s Quadratic Programs | 26 26 15.9s 2 variables, 1 constraint | 9 9 5.3s Prime Factoring: 15 = 3 × 5 | 9 9 7.2s Logical Programs | 34 1 35 52.0s SOS1: 3 variables | 6 6 4.8s TSP: 16 variables | 6 1 7 2.6s → Indicator Constraint | 0 4.6s → Indicator Constraint | 0 12.1s → DisjunctiveProgramming Indicator Reformulation | 22 22 27.9s Continuous Variables | 13 13 4.8s 9 variables ∈ [0, 1] | 6 6 1.4s Greater than constraint penalty hint | 7 7 3.3s RNG of the outermost testset: Random.Xoshiro(0x8d478fa80b579354, 0x7518b8aaa95cf307, 0x83c888524f7fab9b, 0xa82ce453752ad685, 0x18b6a18bc918a413) ERROR: LoadError: Some tests did not pass: 1644 passed, 14 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/ToQUBO/24zWY/test/runtests.jl:38 Testing failed after 1111.23s ERROR: LoadError: Package ToQUBO errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/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.14/Pkg/src/Operations.jl:3247 [3] 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.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [8] include(mod::Module, _path::String) @ Base Base.jl:325 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1285.81s: package has test failures