{"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":1,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":950300,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1500,"outcome":"optimal","prepare_ns":101500,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":0,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":839300,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-0","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":true} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":2,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":217200,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1100,"outcome":"optimal","prepare_ns":17400,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":0,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":195000,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-0","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":true} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":3,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":516600,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1100,"outcome":"optimal","prepare_ns":36800,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":0,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":472900,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-0","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":true} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":4,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":400800,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":2100,"outcome":"optimal","prepare_ns":17800,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":0,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":377500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-0","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":true} {"assumptions":[],"attempt_index":5,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":398800,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1100,"outcome":"undetermined","prepare_ns":15200,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":0,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":375500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-0","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":true} {"assumptions":[],"attempt_index":6,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":528900,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1200,"outcome":"undetermined","prepare_ns":19200,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":1,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":502800,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-1","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":7,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":403400,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":17900,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":1,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":379700,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-1","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":8,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":385300,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":18300,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":1,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":362200,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-1","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":9,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":205100,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":14300,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":1,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":177300,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-1","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":10,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":258600,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":15500,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":1,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":236100,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-1","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":11,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":233400,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1200,"outcome":"optimal","prepare_ns":13400,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":2,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":214000,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-2","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":12,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":178900,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":700,"outcome":"optimal","prepare_ns":13300,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":2,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":162000,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-2","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":13,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":396500,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":19300,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":2,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":370600,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-2","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":14,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":366900,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":16100,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":2,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":345100,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-2","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":[],"attempt_index":15,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":376100,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"undetermined","prepare_ns":17400,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":2,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":352000,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-2","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":[],"attempt_index":16,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":355900,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1100,"outcome":"undetermined","prepare_ns":14700,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":3,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":335100,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-3","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":17,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":361200,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":15400,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":3,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":339700,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-3","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":18,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":363400,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":15100,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":3,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":335200,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-3","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":19,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":191500,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":16500,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":3,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":170100,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-3","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":20,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":253300,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1200,"outcome":"optimal","prepare_ns":12100,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":3,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":234000,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-3","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":21,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":253800,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":800,"outcome":"optimal","prepare_ns":23800,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":4,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":224700,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-4","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":22,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":187200,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":800,"outcome":"optimal","prepare_ns":14600,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":4,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":168600,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-4","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":23,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":397600,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":800,"outcome":"optimal","prepare_ns":17100,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":4,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":373700,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-4","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":24,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":381400,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":17600,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":4,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":359500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-4","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":[],"attempt_index":25,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":365700,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1100,"outcome":"undetermined","prepare_ns":15400,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":4,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":336600,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-4","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":[],"attempt_index":26,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":374700,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1400,"outcome":"undetermined","prepare_ns":13900,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":5,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":342800,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-5","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":27,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":383700,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":18200,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":5,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":350500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-5","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":28,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":386700,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":19000,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":5,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":362100,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-5","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":29,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":208400,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":20000,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":5,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":184300,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-5","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":30,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":240400,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":12800,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":5,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":216900,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-5","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":31,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":244100,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":800,"outcome":"optimal","prepare_ns":14700,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":6,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":225500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-6","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":32,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":190400,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":800,"outcome":"optimal","prepare_ns":12500,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":6,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":173300,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-6","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":33,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":383900,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":16800,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":6,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":361600,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-6","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":34,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":365800,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":18600,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":6,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":342000,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-6","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":[],"attempt_index":35,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":349700,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1100,"outcome":"undetermined","prepare_ns":14300,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":6,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":329300,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-6","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":[],"attempt_index":36,"characterization":"","diagnostic":"","equalities":[],"equality_values":[],"execute_ns":356700,"expected_outcome":"undetermined","expected_provider":"csl.convex.highs","expected_termination":"numerical_failure","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"undetermined","prepare_ns":13700,"primal_value":0.5,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0.5\nobjective.solver=0.25\noptimality.withheld=original-space checks unavailable or failing\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=1\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0.25 2 0.00s\n 0 0.25 2 0.00s\nModel status : Optimal\nObjective value : 2.5000000000e-01\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":false,"relation_support":"unestablished","repetition":7,"scenario":"shifted-residual-degenerate","scenario_hash":"2c1a410ce0b66e2b0eb3e5471e1d614b7f5807c92b243237f4b0ee9248dabf6d","schema":"csl.syn02-terminal-trial/1","solve_ns":334700,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":1,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0.5,"objective.solver":0.25,"optimality.withheld":"original-space checks unavailable or failing","options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"numerical_failure","trial_id":"c234a1a0-ad08e2c3-shifted-residual-degenerate-7","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":37,"characterization":"C intersect {x: Lx=La}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":367400,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":15900,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box:squared\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\nnorm.subgradient=checked-componentwise-zero\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":7,"scenario":"rectangular-residual","scenario_hash":"c4cddce6474bf9bef2eda23da2064c1ec737b6dc4cb8d8c7ce061ccad21b10ef","schema":"csl.syn02-terminal-trial/1","solve_ns":337100,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","norm.subgradient":"checked-componentwise-zero","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box:squared","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-rectangular-residual-7","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":38,"characterization":"C intersect {x: Hx=Ha, q'x=q'a}, H=(Q+Q')/2","diagnostic":"","equalities":[[2,0],[0,0],[0,0]],"equality_values":[0,0,0],"execute_ns":371500,"expected_outcome":"optimal","expected_provider":"csl.convex.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":900,"outcome":"optimal","prepare_ns":16800,"primal_value":0,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.convex.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.original=syn02-terminal:syn02-report-unit-box\nprogram.solver=syn02-terminal:syn02-report-unit-box\nprofile.maximum_variables=4096\nprofile.highs_int_bits=32\noptions.qp_nullspace_limit=4096\noptions.qp_regularization_value=0\noptions.use_warm_start=true\noptions.presolve=off\noptions.threads=1\noptions.parallel=off\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.native_tolerance=1e-08\noptions.feasibility_iteration_limit=2147483647\noptions.qp_iteration_limit=2147483647\nmodel.private_free_row=false\nmodel.original_rows=4\nmodel.native_rows=4\nphase.feasibility.time_limit=inf\nphase.feasibility.api_status=0\nphase.feasibility.model_status=7\nphase.feasibility.iterations=0\nstart.valid=true\nstart.default_fallback=false\nphase.qp.time_limit=inf\nphase.qp.api_status=0\nphase.qp.model_status=7\nphase.qp.iterations=0\nobjective.original=0\nobjective.solver=0\ncheck.rows.violation=0\ncheck.rows.scale=1\ncheck.variables.violation=0\ncheck.variables.scale=1\ncheck.stationarity.violation=0\ncheck.stationarity.scale=1\ncheck.signs.violation=0\ncheck.signs.scale=1\ncheck.complementarity.violation=0\ncheck.complementarity.scale=1\ncertificates=unavailable\nbounds=unavailable\nbasis=unavailable\nfamilies=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nQP has 4 rows; 2 cols; 4 matrix nonzeros; 2 Hessian nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\n Iteration Objective NullspaceDim\n 0 0 2 0.00s\n 0 0 2 0.00s\nModel status : Optimal\nObjective value : 0.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":7,"scenario":"psd-null-direction","scenario_hash":"198dbb15e03c318b93a94ed28059d1d14ab200bb493026c9bcd7ef3d7a29fae9","schema":"csl.syn02-terminal-trial/1","solve_ns":348500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","bounds":"unavailable","certificates":"unavailable","check.complementarity.scale":1,"check.complementarity.violation":0,"check.rows.scale":1,"check.rows.violation":0,"check.signs.scale":1,"check.signs.violation":0,"check.stationarity.scale":1,"check.stationarity.violation":0,"check.variables.scale":1,"check.variables.violation":0,"families":"unavailable","model.native_rows":4,"model.original_rows":4,"model.private_free_row":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.version":"1.11.0","objective.original":0,"objective.solver":0,"options.feasibility_iteration_limit":2147483647,"options.infinite_bound":"inf","options.infinite_cost":"inf","options.large_matrix_value":"inf","options.native_tolerance":1e-08,"options.parallel":"off","options.presolve":"off","options.qp_iteration_limit":2147483647,"options.qp_nullspace_limit":4096,"options.qp_regularization_value":0,"options.small_matrix_value":1e-12,"options.threads":1,"options.use_warm_start":"true","phase.feasibility.api_status":0,"phase.feasibility.iterations":0,"phase.feasibility.model_status":7,"phase.feasibility.time_limit":"inf","phase.qp.api_status":0,"phase.qp.iterations":0,"phase.qp.model_status":7,"phase.qp.time_limit":"inf","profile.highs_int_bits":32,"profile.maximum_variables":4096,"program.original":"syn02-terminal:syn02-report-unit-box","program.solver":"syn02-terminal:syn02-report-unit-box","start.default_fallback":"false","start.valid":"true"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-psd-null-direction-7","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":39,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[0,0]],"equality_values":[0],"execute_ns":196200,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1000,"outcome":"optimal","prepare_ns":14900,"primal_value":3,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=3\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=3\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nModel status : Optimal\nObjective value : 3.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":7,"scenario":"constant-linear","scenario_hash":"c345585d90483c9d9c8c3e15337831563a01b9a8712dd89056be7e460ffb6e31","schema":"csl.syn02-terminal-trial/1","solve_ns":171500,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":3,"native.primal_infeasibility":0,"native.simplex_iterations":0,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":3,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:d4062142f3d5481d5c21f3865f626ea70332df7950c98fb28729994204b49876","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-constant-linear-7","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false} {"assumptions":["convex feasible slice","finite attained optimum with a true global optimizer anchor","symmetric part of quadratic objective is PSD","binary64 construction has no established coverage procedure"],"attempt_index":40,"characterization":"C intersect {x: c'x=c'a}","diagnostic":"","equalities":[[1,0]],"equality_values":[0],"execute_ns":260600,"expected_outcome":"optimal","expected_provider":"csl.lp.highs","expected_termination":"completed","harness_commit":"ad08e2c3e5d4abc5fa5ee93876c6cbb7510ec0aa","inequalities":[[1,0],[-1,0],[0,1],[0,-1]],"lower_bound":null,"lower_bound_support":"unavailable","optimization_present":true,"optimum_present":true,"optimum_support":"unestablished","oracle_ns":1200,"outcome":"optimal","prepare_ns":12100,"primal_value":7,"program_lower_bound_support":"unavailable","program_outcome_support":"unestablished","program_upper_bound_support":"unavailable","provider":"csl.lp.highs","raw_diagnostics":"adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75\nprogram.id=syn02-terminal:syn02-report-unit-box\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=7\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=2\noriginal.objective=7\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 4 rows; 2 cols; 4 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -1.0000000000e+03 Ph1: 4(3998); Du: 1(1) 0s\n 2 7.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 2\nObjective value : 7.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n","relation":true,"relation_support":"unestablished","repetition":7,"scenario":"linear-face","scenario_hash":"bd6d678f42b44a186e7b82ab8bfb6d4c06220c16990faa1770b1f5ccec0e48cf","schema":"csl.syn02-terminal-trial/1","solve_ns":242600,"solver_observations":{"adapter.version":"1.0.0+highs.1.11.0","basis":"unavailable","certificates":"unavailable","complementarity":"unavailable","logging.destination":"callback","model.reused":"false","native.archive_sha256":"2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275","native.call_status":0,"native.call_status_name":"OK","native.dual_infeasibility":0,"native.githash":"n/a","native.info":"available","native.load_status":0,"native.model_status":7,"native.model_status_name":"Optimal","native.objective":7,"native.primal_infeasibility":0,"native.simplex_iterations":2,"native.version":"1.11.0","native_run":"true","options.absolute_tolerance":1e-08,"options.allow_unbounded_or_infeasible":"false","options.infinite_bound":"inf","options.infinite_cost":"inf","options.iteration_limit":2147483647,"options.large_matrix_value":"inf","options.log_to_console":"true","options.parallel":"off","options.presolve":"off","options.random_seed":0,"options.small_matrix_value":1e-12,"options.solver":"simplex","options.threads":1,"options.time_limit":"inf","original.objective":7,"program.id":"syn02-terminal:syn02-report-unit-box","program.problem":"csl.problem.v1.sha256:219acdff44225e1440bdc065ab8d76b7bfb1c7de521f1bbdace25e1de68add75","residual.relative_tolerance":1e-08,"stop":"none"},"source_commit":"c234a1a04b2f90e34776a2bfa349a91a1d30257d","status":"passed","termination":"completed","trial_id":"c234a1a0-ad08e2c3-linear-face-7","upper_bound":null,"upper_bound_support":"unavailable","upper_bounds":[1,0,1,0],"validation_errors":[],"warmup":false}