diff --git a/research/general-gaussian-contact-search/CALIBRATION.json b/research/general-gaussian-contact-search/CALIBRATION.json new file mode 100644 index 0000000000..7b4817a187 --- /dev/null +++ b/research/general-gaussian-contact-search/CALIBRATION.json @@ -0,0 +1,71 @@ +{ + "functionals": [ + 1 + ], + "selected_nodes": [ + 474, + 540, + 562, + 563, + 586, + 604, + 605, + 606, + 607, + 630, + 631, + 632, + 633, + 11056, + 11057, + 11058, + 11059, + 11076, + 11103, + 11104, + 11160, + 11161, + 11162, + 11163, + 11164, + 11165, + 11166, + 11167, + 11168, + 11169, + 11170, + 11171, + 11172, + 11173, + 11174, + 11175, + 11176, + 11177, + 11178, + 11179, + 11260, + 11261, + 11262, + 11263, + 11264, + 11265, + 11266, + 11267, + 11268, + 11269, + 11270, + 11271, + 11272, + 11273, + 11274, + 11275, + 11276, + 11277, + 11278, + 11744, + 11745, + 11746 + ], + "source": "round2-word.json.gz", + "predecessor_pr": 4672 +} diff --git a/research/general-gaussian-contact-search/PAULI-SEARCH.json b/research/general-gaussian-contact-search/PAULI-SEARCH.json new file mode 100644 index 0000000000..00e50c52e7 --- /dev/null +++ b/research/general-gaussian-contact-search/PAULI-SEARCH.json @@ -0,0 +1,2820 @@ +{ + "scope": "BOUNDED_FLOATING_DISCOVERY_ONLY_NO_NEW_KAPPA", + "complete_declared_list": true, + "case_count": 255, + "source_sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "tested_saving": 0.00302177585, + "scipy": "1.18.1", + "per_case_solver_seconds": 5, + "mode": "pauli", + "fixed_helper_side": "none", + "command_template": "python3 research/general-gaussian-contact-search/discover.py --mode pauli --functionals X_MASK,Z_MASK --seconds 5 --output OUTPUT.json", + "limits": "Only these 255 axes. No full Pauli census, arbitrary gauge exclusion or physical supplier admission. No profitable candidate was found.", + "results": [ + { + "axis": [ + 1, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7084847899968736 + }, + { + "axis": [ + 1, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43863325199345127 + }, + { + "axis": [ + 1, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6676092449997668 + }, + { + "axis": [ + 1, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7504846910014749 + }, + { + "axis": [ + 1, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7986180250009056 + }, + { + "axis": [ + 1, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.751858051000454 + }, + { + "axis": [ + 1, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7570993319968693 + }, + { + "axis": [ + 1, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6812481779998052 + }, + { + "axis": [ + 1, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6406205930034048 + }, + { + "axis": [ + 1, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7282412220010883 + }, + { + "axis": [ + 1, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7218322720000288 + }, + { + "axis": [ + 1, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7807190419989638 + }, + { + "axis": [ + 1, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6482961660003639 + }, + { + "axis": [ + 1, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7161969750013668 + }, + { + "axis": [ + 1, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6857574890018441 + }, + { + "axis": [ + 1, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6372361559988349 + }, + { + "axis": [ + 1, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7242344099940965 + }, + { + "axis": [ + 2, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6882389079983113 + }, + { + "axis": [ + 2, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4489635089994408 + }, + { + "axis": [ + 2, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6659463090036297 + }, + { + "axis": [ + 2, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6945920119978837 + }, + { + "axis": [ + 2, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6740411710052285 + }, + { + "axis": [ + 2, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8990952179956366 + }, + { + "axis": [ + 2, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7515035530013847 + }, + { + "axis": [ + 2, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7587859100021888 + }, + { + "axis": [ + 2, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6664186999987578 + }, + { + "axis": [ + 2, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7103503340040334 + }, + { + "axis": [ + 2, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7504820100002689 + }, + { + "axis": [ + 2, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7255359670016333 + }, + { + "axis": [ + 2, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6783158050020575 + }, + { + "axis": [ + 2, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7447702780045802 + }, + { + "axis": [ + 2, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7724915509970742 + }, + { + "axis": [ + 2, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8086133070028154 + }, + { + "axis": [ + 2, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9504866170027526 + }, + { + "axis": [ + 4, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9446301710049738 + }, + { + "axis": [ + 4, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5064147099983529 + }, + { + "axis": [ + 4, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.747135180994519 + }, + { + "axis": [ + 4, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6792967729998054 + }, + { + "axis": [ + 4, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8911027260037372 + }, + { + "axis": [ + 4, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.740376367000863 + }, + { + "axis": [ + 4, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7207283449970419 + }, + { + "axis": [ + 4, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8853812989982544 + }, + { + "axis": [ + 4, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8665001229965128 + }, + { + "axis": [ + 4, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7855762890030746 + }, + { + "axis": [ + 4, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7157972999993945 + }, + { + "axis": [ + 4, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6507440819987096 + }, + { + "axis": [ + 4, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7221016789990244 + }, + { + "axis": [ + 4, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6871709890037891 + }, + { + "axis": [ + 4, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8500197920002392 + }, + { + "axis": [ + 4, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9504466979997233 + }, + { + "axis": [ + 4, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7830660530016758 + }, + { + "axis": [ + 8, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8114404750012909 + }, + { + "axis": [ + 8, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4917792579944944 + }, + { + "axis": [ + 8, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.83310847300163 + }, + { + "axis": [ + 8, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.5640676580005675 + }, + { + "axis": [ + 8, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.4458551379939308 + }, + { + "axis": [ + 8, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.2045691249950323 + }, + { + "axis": [ + 8, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6625353909985279 + }, + { + "axis": [ + 8, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8162002630051575 + }, + { + "axis": [ + 8, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7058670119949966 + }, + { + "axis": [ + 8, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6950656100016204 + }, + { + "axis": [ + 8, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.638029395006015 + }, + { + "axis": [ + 8, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7339125020007486 + }, + { + "axis": [ + 8, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.792341642001702 + }, + { + "axis": [ + 8, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6818522379981005 + }, + { + "axis": [ + 8, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7644176410030923 + }, + { + "axis": [ + 8, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6548367299983511 + }, + { + "axis": [ + 8, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7504355409982963 + }, + { + "axis": [ + 16, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.679401377994509 + }, + { + "axis": [ + 16, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3876596019981662 + }, + { + "axis": [ + 16, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6827678910049144 + }, + { + "axis": [ + 16, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6558452370009036 + }, + { + "axis": [ + 16, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6607023980031954 + }, + { + "axis": [ + 16, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8386925650047488 + }, + { + "axis": [ + 16, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6901998990069842 + }, + { + "axis": [ + 16, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7628594279958634 + }, + { + "axis": [ + 16, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.73167816199566 + }, + { + "axis": [ + 16, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8311468929969124 + }, + { + "axis": [ + 16, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9079483280002023 + }, + { + "axis": [ + 16, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7995970199990552 + }, + { + "axis": [ + 16, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9010608310054522 + }, + { + "axis": [ + 16, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.0034646359999897 + }, + { + "axis": [ + 16, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.3030593009971199 + }, + { + "axis": [ + 16, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.717642818002787 + }, + { + "axis": [ + 16, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8243963799977791 + }, + { + "axis": [ + 32, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8582842879986856 + }, + { + "axis": [ + 32, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47179012099513784 + }, + { + "axis": [ + 32, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9763450350001222 + }, + { + "axis": [ + 32, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9039067270059604 + }, + { + "axis": [ + 32, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7418979379945085 + }, + { + "axis": [ + 32, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8161687750034616 + }, + { + "axis": [ + 32, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7071189940033946 + }, + { + "axis": [ + 32, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6919744979968527 + }, + { + "axis": [ + 32, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.763828230999934 + }, + { + "axis": [ + 32, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.1672931760040228 + }, + { + "axis": [ + 32, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7903869770016172 + }, + { + "axis": [ + 32, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8204917650000425 + }, + { + "axis": [ + 32, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7734387129967217 + }, + { + "axis": [ + 32, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8940779059994384 + }, + { + "axis": [ + 32, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.0362430419991142 + }, + { + "axis": [ + 32, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7707942160050152 + }, + { + "axis": [ + 32, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7359028209975804 + }, + { + "axis": [ + 64, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7140863270033151 + }, + { + "axis": [ + 64, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3939073029978317 + }, + { + "axis": [ + 64, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6615696199951344 + }, + { + "axis": [ + 64, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7195793599967146 + }, + { + "axis": [ + 64, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.727400829004182 + }, + { + "axis": [ + 64, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7123612750001485 + }, + { + "axis": [ + 64, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6815853899970534 + }, + { + "axis": [ + 64, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6453383879998 + }, + { + "axis": [ + 64, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7084282360010548 + }, + { + "axis": [ + 64, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7437638900009915 + }, + { + "axis": [ + 64, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6278275200020289 + }, + { + "axis": [ + 64, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7565555629989831 + }, + { + "axis": [ + 64, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6699500400063698 + }, + { + "axis": [ + 64, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6969899960022303 + }, + { + "axis": [ + 64, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.764182245999109 + }, + { + "axis": [ + 64, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7582502479999675 + }, + { + "axis": [ + 64, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8806125310002244 + }, + { + "axis": [ + 128, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7163817280015792 + }, + { + "axis": [ + 128, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5457843320036773 + }, + { + "axis": [ + 128, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8308161980021396 + }, + { + "axis": [ + 128, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8291677750021336 + }, + { + "axis": [ + 128, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.931329906998144 + }, + { + "axis": [ + 128, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7288627160014585 + }, + { + "axis": [ + 128, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6684326649992727 + }, + { + "axis": [ + 128, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7247681169974385 + }, + { + "axis": [ + 128, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7121919409983093 + }, + { + "axis": [ + 128, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8147931689964025 + }, + { + "axis": [ + 128, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7243531530039036 + }, + { + "axis": [ + 128, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6287634619948221 + }, + { + "axis": [ + 128, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6794571580030606 + }, + { + "axis": [ + 128, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.745903263996297 + }, + { + "axis": [ + 128, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6764443359934376 + }, + { + "axis": [ + 128, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6888291420036694 + }, + { + "axis": [ + 128, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6443845739995595 + }, + { + "axis": [ + 256, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6772958299989114 + }, + { + "axis": [ + 256, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3865307189989835 + }, + { + "axis": [ + 256, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6180741650023265 + }, + { + "axis": [ + 256, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7226640410008258 + }, + { + "axis": [ + 256, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7847532529995078 + }, + { + "axis": [ + 256, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6799494049992063 + }, + { + "axis": [ + 256, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6443479790032143 + }, + { + "axis": [ + 256, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6969139329958125 + }, + { + "axis": [ + 256, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6885168619992328 + }, + { + "axis": [ + 256, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.742562558996724 + }, + { + "axis": [ + 256, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8000719620031305 + }, + { + "axis": [ + 256, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6808252529954189 + }, + { + "axis": [ + 256, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6213867170008598 + }, + { + "axis": [ + 256, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7214975130045786 + }, + { + "axis": [ + 256, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8084968219991424 + }, + { + "axis": [ + 256, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6892747800011421 + }, + { + "axis": [ + 256, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6491548859994509 + }, + { + "axis": [ + 7, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.911204137999448 + }, + { + "axis": [ + 7, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43745530300657265 + }, + { + "axis": [ + 7, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7522541299986187 + }, + { + "axis": [ + 7, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8264301910021459 + }, + { + "axis": [ + 7, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7782819330022903 + }, + { + "axis": [ + 7, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6444652689970098 + }, + { + "axis": [ + 7, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7592302659977577 + }, + { + "axis": [ + 7, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7945314979951945 + }, + { + "axis": [ + 7, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.69022825799766 + }, + { + "axis": [ + 7, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8539940460032085 + }, + { + "axis": [ + 7, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7779684589986573 + }, + { + "axis": [ + 7, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6994257490005111 + }, + { + "axis": [ + 7, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6150336830032757 + }, + { + "axis": [ + 7, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7747240440003225 + }, + { + "axis": [ + 7, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7786129329979303 + }, + { + "axis": [ + 7, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7873210449979524 + }, + { + "axis": [ + 7, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6313544509976055 + }, + { + "axis": [ + 51, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5769211480001104 + }, + { + "axis": [ + 51, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3588015240020468 + }, + { + "axis": [ + 51, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7983218709996436 + }, + { + "axis": [ + 51, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9544664610002656 + }, + { + "axis": [ + 51, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5948740709936828 + }, + { + "axis": [ + 51, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6564239459985401 + }, + { + "axis": [ + 51, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7044019509994541 + }, + { + "axis": [ + 51, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8227086049955687 + }, + { + "axis": [ + 51, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7251317639966146 + }, + { + "axis": [ + 51, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.684031226002844 + }, + { + "axis": [ + 51, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7534873570039053 + }, + { + "axis": [ + 51, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5794883540002047 + }, + { + "axis": [ + 51, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5799067900006776 + }, + { + "axis": [ + 51, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5933366329991259 + }, + { + "axis": [ + 51, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7733821549991262 + }, + { + "axis": [ + 51, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8646516280059586 + }, + { + "axis": [ + 51, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7643909129983513 + }, + { + "axis": [ + 82, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9693160829992848 + }, + { + "axis": [ + 82, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4354711479973048 + }, + { + "axis": [ + 82, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7484102390008047 + }, + { + "axis": [ + 82, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6951251380014583 + }, + { + "axis": [ + 82, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6799516880055307 + }, + { + "axis": [ + 82, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7311032920042635 + }, + { + "axis": [ + 82, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8397238879988436 + }, + { + "axis": [ + 82, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7229521449989988 + }, + { + "axis": [ + 82, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6572714909998467 + }, + { + "axis": [ + 82, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6770887910024612 + }, + { + "axis": [ + 82, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7130703820002964 + }, + { + "axis": [ + 82, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6813155930067296 + }, + { + "axis": [ + 82, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7069644110015361 + }, + { + "axis": [ + 82, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7939093610038981 + }, + { + "axis": [ + 82, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6499820339959115 + }, + { + "axis": [ + 82, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7038671910049743 + }, + { + "axis": [ + 82, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6943172060055076 + }, + { + "axis": [ + 136, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6594217599995318 + }, + { + "axis": [ + 136, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4057400099991355 + }, + { + "axis": [ + 136, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.770341899995401 + }, + { + "axis": [ + 136, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7227049919965793 + }, + { + "axis": [ + 136, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.646373848998337 + }, + { + "axis": [ + 136, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6281754669980728 + }, + { + "axis": [ + 136, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6077504580025561 + }, + { + "axis": [ + 136, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6717398359978688 + }, + { + "axis": [ + 136, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6905662779972772 + }, + { + "axis": [ + 136, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7030004639964318 + }, + { + "axis": [ + 136, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.658500923003885 + }, + { + "axis": [ + 136, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6378661759954412 + }, + { + "axis": [ + 136, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.902660083003866 + }, + { + "axis": [ + 136, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8744946869992418 + }, + { + "axis": [ + 136, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8693657879994134 + }, + { + "axis": [ + 136, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.770487221001531 + }, + { + "axis": [ + 136, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7986442069959594 + }, + { + "axis": [ + 264, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.683293683003285 + }, + { + "axis": [ + 264, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.511704322998412 + }, + { + "axis": [ + 264, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7209800869968603 + }, + { + "axis": [ + 264, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7712196749998839 + }, + { + "axis": [ + 264, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6271474569948623 + }, + { + "axis": [ + 264, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6906866029967205 + }, + { + "axis": [ + 264, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7040742800018052 + }, + { + "axis": [ + 264, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7893825720020686 + }, + { + "axis": [ + 264, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7752372530012508 + }, + { + "axis": [ + 264, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6385702019979362 + }, + { + "axis": [ + 264, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.716950256995915 + }, + { + "axis": [ + 264, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.711614688996633 + }, + { + "axis": [ + 264, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7447682319980231 + }, + { + "axis": [ + 264, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8371410309991916 + }, + { + "axis": [ + 264, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7631696730022668 + }, + { + "axis": [ + 264, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7539276300012716 + }, + { + "axis": [ + 264, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7069095019978704 + }, + { + "axis": [ + 414, + 0 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6203656520010554 + }, + { + "axis": [ + 414, + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37122848800208885 + }, + { + "axis": [ + 414, + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6329640799958725 + }, + { + "axis": [ + 414, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7811323320056545 + }, + { + "axis": [ + 414, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7567456839969964 + }, + { + "axis": [ + 414, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7322566639995784 + }, + { + "axis": [ + 414, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8534070050009177 + }, + { + "axis": [ + 414, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6818481399968732 + }, + { + "axis": [ + 414, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.572726458995021 + }, + { + "axis": [ + 414, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7387052870035404 + }, + { + "axis": [ + 414, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7012635709979804 + }, + { + "axis": [ + 414, + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6159714940004051 + }, + { + "axis": [ + 414, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7194792270020116 + }, + { + "axis": [ + 414, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5929365690026316 + }, + { + "axis": [ + 414, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6935935790024814 + }, + { + "axis": [ + 414, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6961294360007741 + }, + { + "axis": [ + 414, + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5809118640027009 + } + ] +} diff --git a/research/general-gaussian-contact-search/PHASE-SEARCH.json b/research/general-gaussian-contact-search/PHASE-SEARCH.json new file mode 100644 index 0000000000..bf98b7cf3a --- /dev/null +++ b/research/general-gaussian-contact-search/PHASE-SEARCH.json @@ -0,0 +1,5331 @@ +{ + "scope": "BOUNDED_FLOATING_DISCOVERY_ONLY_NO_NEW_KAPPA", + "complete": true, + "planned_rank_one_forms": 511, + "source_sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "tested_saving": 0.00302177585, + "scipy": "1.18.1", + "per_case_solver_seconds": 5, + "fixed_helper_side": "none", + "mode": "phase", + "command_template": "python3 research/general-gaussian-contact-search/discover.py --mode phase --functionals FUNCTIONALS --seconds 5 --output OUTPUT.json", + "completed_rank_one_cases": 511, + "results": [ + { + "functionals": [ + 1 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33242104099917924 + }, + { + "functionals": [ + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3933543219973217 + }, + { + "functionals": [ + 3 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5317215950053651 + }, + { + "functionals": [ + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5672225000016624 + }, + { + "functionals": [ + 5 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4136333589995047 + }, + { + "functionals": [ + 6 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5499939210058074 + }, + { + "functionals": [ + 7 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.409845452006266 + }, + { + "functionals": [ + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3274325630045496 + }, + { + "functionals": [ + 9 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3585728649995872 + }, + { + "functionals": [ + 10 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.38029403900145553 + }, + { + "functionals": [ + 11 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5836763589977636 + }, + { + "functionals": [ + 12 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6076708990003681 + }, + { + "functionals": [ + 13 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2714946560008684 + }, + { + "functionals": [ + 14 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3388128720034729 + }, + { + "functionals": [ + 15 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35685457500221673 + }, + { + "functionals": [ + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.352151701998082 + }, + { + "functionals": [ + 17 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3346055539950612 + }, + { + "functionals": [ + 18 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6222290599980624 + }, + { + "functionals": [ + 19 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.28725342500547413 + }, + { + "functionals": [ + 20 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2879366730048787 + }, + { + "functionals": [ + 21 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5885077489947435 + }, + { + "functionals": [ + 22 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47348332600085996 + }, + { + "functionals": [ + 23 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3406790290027857 + }, + { + "functionals": [ + 24 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2809161260011024 + }, + { + "functionals": [ + 25 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5113058099959744 + }, + { + "functionals": [ + 26 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34720888999436283 + }, + { + "functionals": [ + 27 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3428225610041409 + }, + { + "functionals": [ + 28 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3239707970060408 + }, + { + "functionals": [ + 29 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4448697900006664 + }, + { + "functionals": [ + 30 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5252522360024159 + }, + { + "functionals": [ + 31 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.38802003800083185 + }, + { + "functionals": [ + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4431573979964014 + }, + { + "functionals": [ + 33 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 1.1983078259945614 + }, + { + "functionals": [ + 34 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3957579699999769 + }, + { + "functionals": [ + 35 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.46071330799895804 + }, + { + "functionals": [ + 36 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4728323469971656 + }, + { + "functionals": [ + 37 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4330562139948597 + }, + { + "functionals": [ + 38 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5941092709981604 + }, + { + "functionals": [ + 39 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5975085289974231 + }, + { + "functionals": [ + 40 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9608514200008358 + }, + { + "functionals": [ + 41 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5292335330013884 + }, + { + "functionals": [ + 42 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7210015140008181 + }, + { + "functionals": [ + 43 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4205774619986187 + }, + { + "functionals": [ + 44 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47082711400435073 + }, + { + "functionals": [ + 45 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7926242560060928 + }, + { + "functionals": [ + 46 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43461276499874657 + }, + { + "functionals": [ + 47 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3868052539983182 + }, + { + "functionals": [ + 48 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3335371059947647 + }, + { + "functionals": [ + 49 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3629492960026255 + }, + { + "functionals": [ + 50 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3152707439949154 + }, + { + "functionals": [ + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.22891331600112608 + }, + { + "functionals": [ + 52 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43014303899690276 + }, + { + "functionals": [ + 53 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3834574439970311 + }, + { + "functionals": [ + 54 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37117069600208197 + }, + { + "functionals": [ + 55 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.41196970400051214 + }, + { + "functionals": [ + 56 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7470984429965029 + }, + { + "functionals": [ + 57 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43198904499877244 + }, + { + "functionals": [ + 58 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4281860909977695 + }, + { + "functionals": [ + 59 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4000699730022461 + }, + { + "functionals": [ + 60 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4611756160011282 + }, + { + "functionals": [ + 61 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4375865519978106 + }, + { + "functionals": [ + 62 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35591177100286586 + }, + { + "functionals": [ + 63 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5682487989979563 + }, + { + "functionals": [ + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5963111169985496 + }, + { + "functionals": [ + 65 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6618153890012763 + }, + { + "functionals": [ + 66 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3602924639999401 + }, + { + "functionals": [ + 67 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33662067000113893 + }, + { + "functionals": [ + 68 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3595367200032342 + }, + { + "functionals": [ + 69 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3371721789953881 + }, + { + "functionals": [ + 70 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3360244409996085 + }, + { + "functionals": [ + 71 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5764566020006896 + }, + { + "functionals": [ + 72 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39714892100164434 + }, + { + "functionals": [ + 73 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4008526659963536 + }, + { + "functionals": [ + 74 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47638241299864603 + }, + { + "functionals": [ + 75 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.481508461998601 + }, + { + "functionals": [ + 76 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5005664669952239 + }, + { + "functionals": [ + 77 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35776976300257957 + }, + { + "functionals": [ + 78 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.40870981400075834 + }, + { + "functionals": [ + 79 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3574694740018458 + }, + { + "functionals": [ + 80 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4127878269937355 + }, + { + "functionals": [ + 81 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.36250216900225496 + }, + { + "functionals": [ + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6152798449984402 + }, + { + "functionals": [ + 83 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4778502179979114 + }, + { + "functionals": [ + 84 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.768982273999427 + }, + { + "functionals": [ + 85 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3127494549989933 + }, + { + "functionals": [ + 86 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.485807354998542 + }, + { + "functionals": [ + 87 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.46613199299463304 + }, + { + "functionals": [ + 88 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5355789180030115 + }, + { + "functionals": [ + 89 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8471867059997749 + }, + { + "functionals": [ + 90 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6938194399990607 + }, + { + "functionals": [ + 91 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4764314580024802 + }, + { + "functionals": [ + 92 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5573781550046988 + }, + { + "functionals": [ + 93 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6116177709991462 + }, + { + "functionals": [ + 94 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5948124390051817 + }, + { + "functionals": [ + 95 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4057599090010626 + }, + { + "functionals": [ + 96 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5484490430026199 + }, + { + "functionals": [ + 97 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4766060850015492 + }, + { + "functionals": [ + 98 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3634315189992776 + }, + { + "functionals": [ + 99 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3725919919961598 + }, + { + "functionals": [ + 100 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39115718199900584 + }, + { + "functionals": [ + 101 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35135077900486067 + }, + { + "functionals": [ + 102 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3092153010002221 + }, + { + "functionals": [ + 103 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3638932100002421 + }, + { + "functionals": [ + 104 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3830310359990108 + }, + { + "functionals": [ + 105 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37741995500255143 + }, + { + "functionals": [ + 106 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5513196090032579 + }, + { + "functionals": [ + 107 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33244654999725753 + }, + { + "functionals": [ + 108 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30500378899887437 + }, + { + "functionals": [ + 109 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4713507829947048 + }, + { + "functionals": [ + 110 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30530998299946077 + }, + { + "functionals": [ + 111 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31562150699755875 + }, + { + "functionals": [ + 112 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29751234000286786 + }, + { + "functionals": [ + 113 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.320000933999836 + }, + { + "functionals": [ + 114 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3109194149947143 + }, + { + "functionals": [ + 115 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.49402156499854755 + }, + { + "functionals": [ + 116 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6054472159958095 + }, + { + "functionals": [ + 117 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2753073440035223 + }, + { + "functionals": [ + 118 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3804099539993331 + }, + { + "functionals": [ + 119 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31438128399895504 + }, + { + "functionals": [ + 120 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5215875240028254 + }, + { + "functionals": [ + 121 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35381237600086024 + }, + { + "functionals": [ + 122 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3561267529948964 + }, + { + "functionals": [ + 123 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3174606030006544 + }, + { + "functionals": [ + 124 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3080200269978377 + }, + { + "functionals": [ + 125 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3195703930032323 + }, + { + "functionals": [ + 126 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.27532381800119765 + }, + { + "functionals": [ + 127 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.44812546000321163 + }, + { + "functionals": [ + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.05117814100231 + }, + { + "functionals": [ + 129 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5033686169990688 + }, + { + "functionals": [ + 130 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39498654499766417 + }, + { + "functionals": [ + 131 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4250498699984746 + }, + { + "functionals": [ + 132 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.36767816900101025 + }, + { + "functionals": [ + 133 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3850410160011961 + }, + { + "functionals": [ + 134 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3670774429992889 + }, + { + "functionals": [ + 135 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.7707984860026045 + }, + { + "functionals": [ + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3019106650026515 + }, + { + "functionals": [ + 137 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3405099349984084 + }, + { + "functionals": [ + 138 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3657438930022181 + }, + { + "functionals": [ + 139 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.1859220629994525 + }, + { + "functionals": [ + 140 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.831867382999917 + }, + { + "functionals": [ + 141 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3036061299935682 + }, + { + "functionals": [ + 142 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35914908200356876 + }, + { + "functionals": [ + 143 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.38011993400141364 + }, + { + "functionals": [ + 144 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29142190999846207 + }, + { + "functionals": [ + 145 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3162062999981572 + }, + { + "functionals": [ + 146 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.4727354619972175 + }, + { + "functionals": [ + 147 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3333049669963657 + }, + { + "functionals": [ + 148 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.28289864199905423 + }, + { + "functionals": [ + 149 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.6729722339950968 + }, + { + "functionals": [ + 150 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29110975000367034 + }, + { + "functionals": [ + 151 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4229191689955769 + }, + { + "functionals": [ + 152 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.331278049001412 + }, + { + "functionals": [ + 153 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.599091825002688 + }, + { + "functionals": [ + 154 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3275788669998292 + }, + { + "functionals": [ + 155 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3133519980037818 + }, + { + "functionals": [ + 156 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33302404300047783 + }, + { + "functionals": [ + 157 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2752460190022248 + }, + { + "functionals": [ + 158 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.732666675998189 + }, + { + "functionals": [ + 159 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.25975381799798924 + }, + { + "functionals": [ + 160 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2809171240005526 + }, + { + "functionals": [ + 161 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.509652772998379 + }, + { + "functionals": [ + 162 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3140113970002858 + }, + { + "functionals": [ + 163 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31143084600626025 + }, + { + "functionals": [ + 164 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3653231079952093 + }, + { + "functionals": [ + 165 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29257742399931885 + }, + { + "functionals": [ + 166 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.80047662799916 + }, + { + "functionals": [ + 167 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.25313391399686225 + }, + { + "functionals": [ + 168 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3633622689958429 + }, + { + "functionals": [ + 169 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2784947279942571 + }, + { + "functionals": [ + 170 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.443010635994142 + }, + { + "functionals": [ + 171 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3377895619996707 + }, + { + "functionals": [ + 172 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3603291689942125 + }, + { + "functionals": [ + 173 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.2740814200005843 + }, + { + "functionals": [ + 174 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3025742040044861 + }, + { + "functionals": [ + 175 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3449517749977531 + }, + { + "functionals": [ + 176 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2930283640016569 + }, + { + "functionals": [ + 177 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3282445410004584 + }, + { + "functionals": [ + 178 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.28753947299992433 + }, + { + "functionals": [ + 179 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.6055859949992737 + }, + { + "functionals": [ + 180 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.402806137004518 + }, + { + "functionals": [ + 181 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34055358299519867 + }, + { + "functionals": [ + 182 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4956713290011976 + }, + { + "functionals": [ + 183 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3877626569956192 + }, + { + "functionals": [ + 184 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.2335879579986795 + }, + { + "functionals": [ + 185 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37207153999770526 + }, + { + "functionals": [ + 186 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.344049854997138 + }, + { + "functionals": [ + 187 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2993480320001254 + }, + { + "functionals": [ + 188 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3233812649996253 + }, + { + "functionals": [ + 189 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3011293960007606 + }, + { + "functionals": [ + 190 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29011774500395404 + }, + { + "functionals": [ + 191 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.708114494998881 + }, + { + "functionals": [ + 192 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.46591197700036 + }, + { + "functionals": [ + 193 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3326625280024018 + }, + { + "functionals": [ + 194 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3223696610002662 + }, + { + "functionals": [ + 195 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3675593010048033 + }, + { + "functionals": [ + 196 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3487577279956895 + }, + { + "functionals": [ + 197 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3141838800002006 + }, + { + "functionals": [ + 198 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3761096610032837 + }, + { + "functionals": [ + 199 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.34524439300003 + }, + { + "functionals": [ + 200 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3034660800040001 + }, + { + "functionals": [ + 201 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30712298700382235 + }, + { + "functionals": [ + 202 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3106596180004999 + }, + { + "functionals": [ + 203 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.481411595996178 + }, + { + "functionals": [ + 204 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.4701303359979647 + }, + { + "functionals": [ + 205 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.290142357996956 + }, + { + "functionals": [ + 206 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35922900900186505 + }, + { + "functionals": [ + 207 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3803922809966025 + }, + { + "functionals": [ + 208 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3647017710027285 + }, + { + "functionals": [ + 209 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4327706640033284 + }, + { + "functionals": [ + 210 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.670474263999495 + }, + { + "functionals": [ + 211 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2915342669948586 + }, + { + "functionals": [ + 212 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34162877600465436 + }, + { + "functionals": [ + 213 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.6465299970004708 + }, + { + "functionals": [ + 214 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3109551500019734 + }, + { + "functionals": [ + 215 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33340783300081966 + }, + { + "functionals": [ + 216 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30041421799978707 + }, + { + "functionals": [ + 217 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.40126499300095 + }, + { + "functionals": [ + 218 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2825077569941641 + }, + { + "functionals": [ + 219 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3087380139986635 + }, + { + "functionals": [ + 220 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3299682139986544 + }, + { + "functionals": [ + 221 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.28449027000169735 + }, + { + "functionals": [ + 222 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.547823522996623 + }, + { + "functionals": [ + 223 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.27714019999984885 + }, + { + "functionals": [ + 224 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2879872869962128 + }, + { + "functionals": [ + 225 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.764905907002685 + }, + { + "functionals": [ + 226 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3029212469991762 + }, + { + "functionals": [ + 227 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3198418559986749 + }, + { + "functionals": [ + 228 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.46572566999384435 + }, + { + "functionals": [ + 229 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4149849870009348 + }, + { + "functionals": [ + 230 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.921239111004979 + }, + { + "functionals": [ + 231 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.40913607100083027 + }, + { + "functionals": [ + 232 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.40632780399755575 + }, + { + "functionals": [ + 233 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39104658299766015 + }, + { + "functionals": [ + 234 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.464644189996761 + }, + { + "functionals": [ + 235 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3166850580018945 + }, + { + "functionals": [ + 236 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4178034819997265 + }, + { + "functionals": [ + 237 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.7391220520003117 + }, + { + "functionals": [ + 238 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3022151000041049 + }, + { + "functionals": [ + 239 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3368607449956471 + }, + { + "functionals": [ + 240 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29973424399940995 + }, + { + "functionals": [ + 241 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4057386310014408 + }, + { + "functionals": [ + 242 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3761020629972336 + }, + { + "functionals": [ + 243 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.072922965999169 + }, + { + "functionals": [ + 244 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.749446642003022 + }, + { + "functionals": [ + 245 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34681057799753034 + }, + { + "functionals": [ + 246 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.42103747600049246 + }, + { + "functionals": [ + 247 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32592150299751665 + }, + { + "functionals": [ + 248 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.424066228006268 + }, + { + "functionals": [ + 249 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.333499328000471 + }, + { + "functionals": [ + 250 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3227682470023865 + }, + { + "functionals": [ + 251 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3117372780034202 + }, + { + "functionals": [ + 252 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33939342600206146 + }, + { + "functionals": [ + 253 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39103423000051407 + }, + { + "functionals": [ + 254 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31106675299815834 + }, + { + "functionals": [ + 255 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.9402361060056137 + }, + { + "functionals": [ + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.095228947997384 + }, + { + "functionals": [ + 257 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3828475080008502 + }, + { + "functionals": [ + 258 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3112049350020243 + }, + { + "functionals": [ + 259 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30907064199709566 + }, + { + "functionals": [ + 260 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3382765179994749 + }, + { + "functionals": [ + 261 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3618844029988395 + }, + { + "functionals": [ + 262 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3423496250034077 + }, + { + "functionals": [ + 263 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.768471037998097 + }, + { + "functionals": [ + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3043353459943319 + }, + { + "functionals": [ + 265 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35646873700170545 + }, + { + "functionals": [ + 266 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2943449180020252 + }, + { + "functionals": [ + 267 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.049757955996029 + }, + { + "functionals": [ + 268 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.7590219949997845 + }, + { + "functionals": [ + 269 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34718808800244005 + }, + { + "functionals": [ + 270 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30785417999868514 + }, + { + "functionals": [ + 271 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2924353939961293 + }, + { + "functionals": [ + 272 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4012022069946397 + }, + { + "functionals": [ + 273 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2963190919981571 + }, + { + "functionals": [ + 274 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.8975006459950237 + }, + { + "functionals": [ + 275 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3627717639974435 + }, + { + "functionals": [ + 276 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3370267779973801 + }, + { + "functionals": [ + 277 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.586887456003751 + }, + { + "functionals": [ + 278 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3458566740009701 + }, + { + "functionals": [ + 279 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43224274500244064 + }, + { + "functionals": [ + 280 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3614361690051737 + }, + { + "functionals": [ + 281 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.4081863930041436 + }, + { + "functionals": [ + 282 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31575627900019754 + }, + { + "functionals": [ + 283 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35709714500262635 + }, + { + "functionals": [ + 284 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3006085150045692 + }, + { + "functionals": [ + 285 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29894937399512855 + }, + { + "functionals": [ + 286 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.350200634005887 + }, + { + "functionals": [ + 287 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.28978234300302574 + }, + { + "functionals": [ + 288 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2751732329998049 + }, + { + "functionals": [ + 289 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.6758793129993137 + }, + { + "functionals": [ + 290 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3328594449994853 + }, + { + "functionals": [ + 291 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3258851419959683 + }, + { + "functionals": [ + 292 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3925629889999982 + }, + { + "functionals": [ + 293 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32011543700355105 + }, + { + "functionals": [ + 294 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.769845886003168 + }, + { + "functionals": [ + 295 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.28816487000585767 + }, + { + "functionals": [ + 296 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32509334399946965 + }, + { + "functionals": [ + 297 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3783231179986615 + }, + { + "functionals": [ + 298 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.5372904610048863 + }, + { + "functionals": [ + 299 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29645214400079567 + }, + { + "functionals": [ + 300 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3527893800055608 + }, + { + "functionals": [ + 301 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.9340492590054055 + }, + { + "functionals": [ + 302 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3556284890000825 + }, + { + "functionals": [ + 303 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4102502210007515 + }, + { + "functionals": [ + 304 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3432137290001265 + }, + { + "functionals": [ + 305 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3367625139944721 + }, + { + "functionals": [ + 306 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31547820400010096 + }, + { + "functionals": [ + 307 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.01746353800263 + }, + { + "functionals": [ + 308 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.053860493004322 + }, + { + "functionals": [ + 309 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.26267287499649683 + }, + { + "functionals": [ + 310 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3070607710033073 + }, + { + "functionals": [ + 311 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29507559500052594 + }, + { + "functionals": [ + 312 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.096781242995348 + }, + { + "functionals": [ + 313 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3801784520037472 + }, + { + "functionals": [ + 314 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3261339320015395 + }, + { + "functionals": [ + 315 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3588406010021572 + }, + { + "functionals": [ + 316 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3377285189999384 + }, + { + "functionals": [ + 317 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3053499890011153 + }, + { + "functionals": [ + 318 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3113925960060442 + }, + { + "functionals": [ + 319 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.602579042999423 + }, + { + "functionals": [ + 320 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.7754305520065827 + }, + { + "functionals": [ + 321 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31648996799776796 + }, + { + "functionals": [ + 322 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.42366666899761185 + }, + { + "functionals": [ + 323 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30459967499336926 + }, + { + "functionals": [ + 324 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29316169300000183 + }, + { + "functionals": [ + 325 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3455733570008306 + }, + { + "functionals": [ + 326 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.301356712996494 + }, + { + "functionals": [ + 327 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.4527602669986663 + }, + { + "functionals": [ + 328 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2734332840045681 + }, + { + "functionals": [ + 329 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3263992129941471 + }, + { + "functionals": [ + 330 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.27613841999846045 + }, + { + "functionals": [ + 331 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.439317800999561 + }, + { + "functionals": [ + 332 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.6136375030037016 + }, + { + "functionals": [ + 333 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31166275100258645 + }, + { + "functionals": [ + 334 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3780755960033275 + }, + { + "functionals": [ + 335 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32076455900096335 + }, + { + "functionals": [ + 336 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3415052390046185 + }, + { + "functionals": [ + 337 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.38455034700018587 + }, + { + "functionals": [ + 338 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.651219679006317 + }, + { + "functionals": [ + 339 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3472131009984878 + }, + { + "functionals": [ + 340 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3505512420015293 + }, + { + "functionals": [ + 341 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.879147743995418 + }, + { + "functionals": [ + 342 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4104382549994625 + }, + { + "functionals": [ + 343 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33225043599668425 + }, + { + "functionals": [ + 344 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29440014099964174 + }, + { + "functionals": [ + 345 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.095243682997534 + }, + { + "functionals": [ + 346 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3036691189990961 + }, + { + "functionals": [ + 347 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.30884573300136253 + }, + { + "functionals": [ + 348 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3090750620031031 + }, + { + "functionals": [ + 349 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39127409600041574 + }, + { + "functionals": [ + 350 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.142356415999529 + }, + { + "functionals": [ + 351 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.29727763399569085 + }, + { + "functionals": [ + 352 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35210576499957824 + }, + { + "functionals": [ + 353 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.8127352709998377 + }, + { + "functionals": [ + 354 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34363028700317955 + }, + { + "functionals": [ + 355 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3607753070027684 + }, + { + "functionals": [ + 356 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4251755079967552 + }, + { + "functionals": [ + 357 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.333038819997455 + }, + { + "functionals": [ + 358 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.656531963002635 + }, + { + "functionals": [ + 359 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.36494800799846416 + }, + { + "functionals": [ + 360 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3512104429973988 + }, + { + "functionals": [ + 361 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.43637275700166356 + }, + { + "functionals": [ + 362 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.142758018002496 + }, + { + "functionals": [ + 363 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3406922099966323 + }, + { + "functionals": [ + 364 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3222163950049435 + }, + { + "functionals": [ + 365 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 4.065932128003624 + }, + { + "functionals": [ + 366 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3326880499953404 + }, + { + "functionals": [ + 367 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3519937140008551 + }, + { + "functionals": [ + 368 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.386090988999058 + }, + { + "functionals": [ + 369 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.31690976100071566 + }, + { + "functionals": [ + 370 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2723880979974638 + }, + { + "functionals": [ + 371 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.719138890002796 + }, + { + "functionals": [ + 372 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.804128417999891 + }, + { + "functionals": [ + 373 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.310441276000347 + }, + { + "functionals": [ + 374 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2867383279954083 + }, + { + "functionals": [ + 375 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3518459150000126 + }, + { + "functionals": [ + 376 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.833645945000171 + }, + { + "functionals": [ + 377 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2840215000032913 + }, + { + "functionals": [ + 378 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33790177799528465 + }, + { + "functionals": [ + 379 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32583575200260384 + }, + { + "functionals": [ + 380 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33821690599870635 + }, + { + "functionals": [ + 381 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3312997769971844 + }, + { + "functionals": [ + 382 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3150655610006652 + }, + { + "functionals": [ + 383 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 3.401727436001238 + }, + { + "functionals": [ + 384 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.371130446997995 + }, + { + "functionals": [ + 385 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3774392900013481 + }, + { + "functionals": [ + 386 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3235018819977995 + }, + { + "functionals": [ + 387 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2930026579997502 + }, + { + "functionals": [ + 388 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3747832339940942 + }, + { + "functionals": [ + 389 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.338302857002418 + }, + { + "functionals": [ + 390 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.341316926998843 + }, + { + "functionals": [ + 391 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.36486282799887704 + }, + { + "functionals": [ + 392 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2910475280004903 + }, + { + "functionals": [ + 393 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4894729459992959 + }, + { + "functionals": [ + 394 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3171287509976537 + }, + { + "functionals": [ + 395 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4487984459992731 + }, + { + "functionals": [ + 396 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.586246213002596 + }, + { + "functionals": [ + 397 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32692799600044964 + }, + { + "functionals": [ + 398 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.33169751099921996 + }, + { + "functionals": [ + 399 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4144579400017392 + }, + { + "functionals": [ + 400 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3360359019934549 + }, + { + "functionals": [ + 401 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32848557800025446 + }, + { + "functionals": [ + 402 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6818007339970791 + }, + { + "functionals": [ + 403 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5896313739940524 + }, + { + "functionals": [ + 404 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4364368709939299 + }, + { + "functionals": [ + 405 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7164377069930197 + }, + { + "functionals": [ + 406 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3370217959964066 + }, + { + "functionals": [ + 407 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.41659224800241645 + }, + { + "functionals": [ + 408 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47044565699616214 + }, + { + "functionals": [ + 409 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.45674417199916206 + }, + { + "functionals": [ + 410 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5915933619980933 + }, + { + "functionals": [ + 411 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4145228950001183 + }, + { + "functionals": [ + 412 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35559976500371704 + }, + { + "functionals": [ + 413 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3356626780005172 + }, + { + "functionals": [ + 414 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.32447904300352093 + }, + { + "functionals": [ + 415 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4687734589970205 + }, + { + "functionals": [ + 416 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4209810819957056 + }, + { + "functionals": [ + 417 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5857978009953513 + }, + { + "functionals": [ + 418 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3451825110023492 + }, + { + "functionals": [ + 419 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.540575530998467 + }, + { + "functionals": [ + 420 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35208083600446116 + }, + { + "functionals": [ + 421 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4652863500014064 + }, + { + "functionals": [ + 422 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6709184650026145 + }, + { + "functionals": [ + 423 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.46472528299636906 + }, + { + "functionals": [ + 424 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.36227258200233337 + }, + { + "functionals": [ + 425 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35314768600073876 + }, + { + "functionals": [ + 426 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5675055690007866 + }, + { + "functionals": [ + 427 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3353319340021699 + }, + { + "functionals": [ + 428 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4093709509979817 + }, + { + "functionals": [ + 429 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.24602132300060475 + }, + { + "functionals": [ + 430 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3264727510031662 + }, + { + "functionals": [ + 431 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3543134480059962 + }, + { + "functionals": [ + 432 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35787078700377606 + }, + { + "functionals": [ + 433 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4095556569955079 + }, + { + "functionals": [ + 434 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6565874619991519 + }, + { + "functionals": [ + 435 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8929193889998714 + }, + { + "functionals": [ + 436 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5873500930028968 + }, + { + "functionals": [ + 437 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47778590799862286 + }, + { + "functionals": [ + 438 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4393035280008917 + }, + { + "functionals": [ + 439 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.40130342700285837 + }, + { + "functionals": [ + 440 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7837967460000073 + }, + { + "functionals": [ + 441 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3937508960007108 + }, + { + "functionals": [ + 442 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47586099200270837 + }, + { + "functionals": [ + 443 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3756247679993976 + }, + { + "functionals": [ + 444 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4401882279998972 + }, + { + "functionals": [ + 445 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3937244120024843 + }, + { + "functionals": [ + 446 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34168854300514795 + }, + { + "functionals": [ + 447 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5401707279961556 + }, + { + "functionals": [ + 448 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5877635430006194 + }, + { + "functionals": [ + 449 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.40759579099540133 + }, + { + "functionals": [ + 450 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5528741680027451 + }, + { + "functionals": [ + 451 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3631110299975262 + }, + { + "functionals": [ + 452 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37389851300395094 + }, + { + "functionals": [ + 453 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.38150089499686146 + }, + { + "functionals": [ + 454 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3233958650016575 + }, + { + "functionals": [ + 455 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7082484009952168 + }, + { + "functionals": [ + 456 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.45928721200471045 + }, + { + "functionals": [ + 457 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.42667184000310954 + }, + { + "functionals": [ + 458 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.661322038002254 + }, + { + "functionals": [ + 459 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4320901750033954 + }, + { + "functionals": [ + 460 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8241308899960131 + }, + { + "functionals": [ + 461 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.45573128099931637 + }, + { + "functionals": [ + 462 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.36981619400467025 + }, + { + "functionals": [ + 463 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3856152549997205 + }, + { + "functionals": [ + 464 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5271257010026602 + }, + { + "functionals": [ + 465 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.46158434800599935 + }, + { + "functionals": [ + 466 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3892272890007007 + }, + { + "functionals": [ + 467 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3545339839984081 + }, + { + "functionals": [ + 468 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5088581849995535 + }, + { + "functionals": [ + 469 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.44658352300029946 + }, + { + "functionals": [ + 470 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3414603720011655 + }, + { + "functionals": [ + 471 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3722418179968372 + }, + { + "functionals": [ + 472 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4769314069999382 + }, + { + "functionals": [ + 473 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.522425729999668 + }, + { + "functionals": [ + 474 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37966667100408813 + }, + { + "functionals": [ + 475 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.44141678800224327 + }, + { + "functionals": [ + 476 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3489388899979531 + }, + { + "functionals": [ + 477 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.39484461600659415 + }, + { + "functionals": [ + 478 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6383453960006591 + }, + { + "functionals": [ + 479 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.38791758799925447 + }, + { + "functionals": [ + 480 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.422632378002163 + }, + { + "functionals": [ + 481 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3987253029990825 + }, + { + "functionals": [ + 482 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.536519600005704 + }, + { + "functionals": [ + 483 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37495181299891556 + }, + { + "functionals": [ + 484 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34243563000200083 + }, + { + "functionals": [ + 485 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3316949520012713 + }, + { + "functionals": [ + 486 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5231957340001827 + }, + { + "functionals": [ + 487 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.333316044001549 + }, + { + "functionals": [ + 488 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.35462637599994196 + }, + { + "functionals": [ + 489 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4174821709966636 + }, + { + "functionals": [ + 490 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5556460060033714 + }, + { + "functionals": [ + 491 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4578540820002672 + }, + { + "functionals": [ + 492 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.47363728200434707 + }, + { + "functionals": [ + 493 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5672726970005897 + }, + { + "functionals": [ + 494 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3782386079983553 + }, + { + "functionals": [ + 495 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3578499949944671 + }, + { + "functionals": [ + 496 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34292368499882286 + }, + { + "functionals": [ + 497 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5045688659956795 + }, + { + "functionals": [ + 498 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.37513471000420395 + }, + { + "functionals": [ + 499 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6835750890022609 + }, + { + "functionals": [ + 500 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6052410319971386 + }, + { + "functionals": [ + 501 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.34626289299922064 + }, + { + "functionals": [ + 502 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4027158910030266 + }, + { + "functionals": [ + 503 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3406619019951904 + }, + { + "functionals": [ + 504 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.2755053099972429 + }, + { + "functionals": [ + 505 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3582338459964376 + }, + { + "functionals": [ + 506 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5128047059988603 + }, + { + "functionals": [ + 507 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.356273612997029 + }, + { + "functionals": [ + 508 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3509870920024696 + }, + { + "functionals": [ + 509 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.3711777799981064 + }, + { + "functionals": [ + 510 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.40701329100556904 + }, + { + "functionals": [ + 511 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.67998617500416 + } + ], + "compound_cases": [ + { + "functionals": [ + 1, + 2 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8243341010020231 + }, + { + "functionals": [ + 1, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7038169919978827 + }, + { + "functionals": [ + 1, + 8 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.7943404830002692 + }, + { + "functionals": [ + 1, + 16 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.9005616950016702 + }, + { + "functionals": [ + 1, + 32 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5891764539992437 + }, + { + "functionals": [ + 1, + 64 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6867056969931582 + }, + { + "functionals": [ + 1, + 128 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6695236890009255 + }, + { + "functionals": [ + 1, + 256 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.631993335999141 + }, + { + "functionals": [ + 7, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.4881046850059647 + }, + { + "functionals": [ + 7, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5758405559972744 + }, + { + "functionals": [ + 7, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5634690420047264 + }, + { + "functionals": [ + 7, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5470387719979044 + }, + { + "functionals": [ + 51, + 82 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5347684750013286 + }, + { + "functionals": [ + 51, + 136 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5824711790046422 + }, + { + "functionals": [ + 51, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.5503027150043636 + }, + { + "functionals": [ + 1, + 7, + 51 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6237124859981122 + }, + { + "functionals": [ + 1, + 2, + 4 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.8035371120058699 + }, + { + "functionals": [ + 7, + 51, + 82, + 136, + 264 + ], + "status": 0, + "actual_local_energy": 0.0, + "solver_objective": 0.0, + "floating_dual_bound": 0.0, + "seconds": 0.6792292739992263 + } + ], + "limits": "Floating discovery, not exact exclusion. No profitable candidate was found in these 511 rank-one and 18 compound common-form switch cases. General independent node forms are outside this finite search." +} diff --git a/research/general-gaussian-contact-search/README.md b/research/general-gaussian-contact-search/README.md new file mode 100644 index 0000000000..6e57a7ae51 --- /dev/null +++ b/research/general-gaussian-contact-search/README.md @@ -0,0 +1,201 @@ +# Costed non-nested Gaussian contact search + +**Exact rank/invoice model and optional constructive search; no new kappa.** +This extends contact retiming beyond monotone climbs. Every former zero edge is +represented, every changed native warp is charged at its actual Gaussian rank, +and a helper's target rank is its whole relative Clifford rank. Both helper +boundaries may move. The unchanged main, adapter and owned interfaces are frozen. + +The positive calibration independently rediscovers #4672's 49-contact / 13-helper +change on its older #4610 word and reproduces its entire paid/helper invoice. +That result and its kappa belong to the predecessor. Bounded searches on the +stronger round-three word have not found a profitable candidate. No exponent, +new physical supplier or universal negative result is claimed here. + +## Changed search model + +At a node with old subspace U choose either U or U intersect M, where M is the +common kernel of the supplied nonzero nine-bit functionals. A scalar contact +uses one common actual gauge for all operands. Main endpoints, explicit adapter +boundaries and all contacts involving owned C stay at their original gauges. + +For canonical gauges C_U and C_V, the actual child C_V C_U^-1 has Fourier rank + + r(U,V) = dim U + dim V - 2 dim(U intersect V). + +This applies to downward and non-nested edges. Dimension difference alone is +wrong outside ascending chains. An old zero edge U->U may become a positive +rank child when only one endpoint moves. For a native map K_G transporting the +source chart U to G(U), the changed physical warp is charged at r(G(U),V), +rather than being declared monomial. Whole helper jobs use r(U_start,U_final). +Every helper must remain strictly productive in the searched switch model. + +`model.py` derives these ranks from explicit nine-bit subspace sets. It retains +all chronological contacts and previously zero transitions. Its baseline must +reproduce the source paid list exactly. Changed shared G matrices are outside +scope: the maps remain the same, while their changed physical implementations +may require Gaussian children of positive rank. + +The subspace formulas are the canonical zero-form case of Dugongue's #4654 Lagrangian +chart grammar. If U subset V and intersecting with M removes alpha and beta +dimensions respectively, the paid four-state table is + + (r, r+alpha, r+2alpha-beta, r+alpha-beta), r=dim V-dim U, + +ordered (00,10,01,11). Thus the mixed state 01 must not silently be assigned +r-beta. Native warp tables are computed from their actual mapped subspaces. +The verifier compares the general rank formula with the exact Clifford B-block +on all 285 ordered subspace pairs in dimensions one through three. + +## Explicitly paid symmetric phases + +The `--mode phase` variant keeps each subspace U fixed and chooses the zero +form or Q restricted to U, where Q is the binary symmetric matrix +`sum(lambda * lambda^T)` for the supplied functionals. This includes compound +forms; the ambient common-Q switch family is a strict restriction of arbitrary +independent symmetric forms at every node. It changes the unchanged-paid-rank +premise of #4665 and uses #4654's full charged phase-rank grammar. + +For a nested paid edge U subset V with old rank r, put +`t = rank(Q restricted to U)`. Its exact four-state rank table is +`(r,r+t,r+t,r)`. On a native warp G:U->V, the four ranks are the ranks of +`0`, `Q|U`, `(G^T Q G)|U` and `(Q+G^T Q G)|U`. A helper's table uses its +whole old rank plus the rank of the phase difference on its entrance space. +Both helper boundaries remain variable. Owned centers stay fixed and fully paid. + +The verifier compares every symmetric form on every ordered pair of subspaces +in dimensions one through three against actual Clifford B-blocks: 66,368 +transition checks. It also performs 50,128 native-warp checks on the first 12 +invertible maps in product order per dimension (all maps in dimensions one and +two). These finite controls check the implementation; the rank identities and +complete source invoice are stated explicitly rather than inferred from samples. + +```sh +python3 research/general-gaussian-contact-search/discover.py \ + --mode phase --functionals 1,2 --seconds 30 --output /tmp/phase-candidate.json +``` + +A synthetic moment sign control confirms that charging a paid rank increase +2->3 can cost less than a helper increase 1->2 earns. It is not a supplier. +Actual current-word phase search receipts are retained separately in +`PHASE-SEARCH.json`: all 511 rank-one forms and 18 named compound forms +returned zero best candidate energy in their bounded floating runs. This is +not an exact exclusion or a search of independently chosen node forms. No +profitable new current-word witness is claimed. + +## Coupled subspace/phase moves from Pauli quarter turns + +`--mode pauli --functionals X_MASK,Z_MASK` chooses a common Hermitian Pauli P +with those nine-bit masks, and at each contact chooses C_U or C_U S_P, where +`S_P = ((1+i) I + (1-i) P)/2`. This can change both subspace and phase form. +It is a broader neighborhood than the pure symmetric-phase switch family. +The pure-Z case agrees with the rank-one phase model on every edge and helper +of the complete nine-bit source; replay checks that equality. + +In binary symplectic coordinates w=(x,z), S_P induces the transvection +`v -> v + w`. The inverse zero-chart L_U has basis `(u,u)` for the +basis vectors u of U, together with `(0,z)` for z in U-perp. For Lagrangians +A and B the actual Fourier rank is `rank(stack(A,B))-9`. These definitions +price all four states of every chronological edge. On an ordinary edge the +table is `(r,s,s,r)`; s can be smaller than r. A native G sends the Pauli axis +to `(Gx, G^-T(x+z)+Gx)`, and all four warped costs are explicitly recomputed. +The helpers use the same full relative-rank calculation. No changed warp is +silently declared monomial, and every original zero edge remains represented. + +The verifier constructs literal Clifford circuits for the Pauli quarter turns +and checks all nonzero axes on all ordered subspace pairs in dimensions one +through three: 66,060 transition checks and 50,208 native-warp checks (the +same first-12-map scope). This validates the implementation's rank convention; +it does not perform new source-word absolute-phase or supplier admission. + +```sh +python3 research/general-gaussian-contact-search/discover.py \ + --mode pauli --functionals 1,0 --seconds 30 --output /tmp/pauli-candidate.json +``` + +`PAULI-SEARCH.json` names all 255 tested axes and bounded floating receipts. +They returned no profitable candidate. This is a sample of the 262,143 nonzero +nine-bit Pauli axes, with only a zero/common-quarter-turn switch at each node. +It is not an exclusion of all axes or of arbitrary independent Clifford gauges. + +## Discovery and acceptance + +`discover.py` converts each exact rank table into its rank-power energy at the +recorded test saving. Full paid energy minus full productive helper energy is +retained. In two-state coordinates any table is + + E00 + A*x + B*y + W*abs(x-y). + +Physical edge costs are submodular; moving both helper endpoints can add +negative cut weights. A signed-cut mixed-integer model handles those terms. +The contact switches are binary; auxiliary cut variables can be continuous, +using the lower XOR envelope for positive weights and upper envelope for +negative weights. These envelopes give the exact table for binary endpoints. +The emitted switch list is repriced from the complete exact rank invoice and +must agree with the floating objective. + +This is discovery only. Floating solver optimality is not an exact ceiling; +a timeout is not a rejection certificate. A useful candidate still needs exact +moment inequalities, an emitted physical word, all-column and absolute-phase +checks, complete compiler/ordinary/outer admission and the inherited analytic, +precision and execution contracts. No such new candidate is supplied here. + +Optional discovery requires installed NumPy/SciPy; it is not installed by the +package and is not needed for the registered replay. For example: + +```sh +python3 research/general-gaussian-contact-search/discover.py \ + --functionals 1,2 --seconds 30 --output /tmp/contact-candidate.json +``` + +Use `--source .../inputs/round2-word.json.gz --functionals 1 +--fixed-helper-side exit` to rediscover the known positive calibration. It +finds the predecessor profile on the tested environment; no claim of a fixed +solver path or platform-independent discovery output is made. + +## Exact replay and results + +```sh +python3.12 -B scripts/research_package.py --package research/general-gaussian-contact-search +python3.12 -I -O -B research/general-gaussian-contact-search/verify.py +``` + +The standard-library replay verifies the 285 canonical ranks plus the charged +phase and native-warp cases above, the complete +source invoices, frozen-boundary rejection, new charges at previously zero +edges and the non-nested-rank counterexample. The fixed 62-node positive +calibration gives paid `{1:2183,2:416,3:507,4:135,5:40,8:8}` and helpers +`{4:28,7:5,8:38,9:337}`, matching #4672. Its strict local gain is certified +with rational logarithm and alternating-exponential bounds, independently of +the optimizer. This is a positive calibration of the model, not a new saving. + +The current source has paid `{1:2201,2:412,3:510,4:127,5:40,8:8}` and helpers +`{4:28,7:7,8:47,9:326}`. `SEARCH.json` retains bounded floating experiments, +including uncompleted older product-linearized models explicitly labelled as +timeouts. They establish no theorem. The selected conditional kappa stays +0.00302015 at canonical base b58ad9ef4d4e861b0eaa5dba41742bdc072dca51. + +## Open next questions + +Change the scalar word or owned-center protocol before expanding these local +sweeps solely because a search implementation is available. Arbitrary +independent Clifford gauges also remain outside the tested finite families. +For any changed model, reprice every old and new edge before further native implementation. A +negative verified energy is the first stopping/expansion gate; solver status +alone is insufficient. The actual physical witness and its complete supplier +admission remain the blocker. This package supplies the search and invoice +mechanism, not an assertion that broader search will yield a breakthrough. + +## Sources and credit + +Both exact #4610 input words are retained with original commit/path/blob +provenance. The round-two payload is the input used by #4672; round three is +its stronger published successor at 1eb8da6cfb35512c0cc2533413e5ca42f48e13c6. +The optional solver is separate from the independent registered verifier. + +Credit Cao Yifan/#4610 for the native words; Cinna Davis/#4672 for coordinated +contact cuts and the positive calibration; Dugongue/#4654 for the exact chart +rank grammar; Cinna Davis/#4470 and its controller lineage; zxv, Jacob Alan +Sussman and all retained E8/scalar/Clifford/native/compiler contributors. Prepared +by Cinna Davis with substantial OpenAI Codex assistance; Apache-2.0. Classical +signed-cut and linearization formulas are not claimed as new mathematics. diff --git a/research/general-gaussian-contact-search/RESULT.json b/research/general-gaussian-contact-search/RESULT.json new file mode 100644 index 0000000000..024abc726a --- /dev/null +++ b/research/general-gaussian-contact-search/RESULT.json @@ -0,0 +1,60 @@ +{ + "calibration_helpers": { + "4": 28, + "7": 5, + "8": 38, + "9": 337 + }, + "calibration_local_gain_decimal": [ + 0.001658501326787096, + 0.001658501327031043 + ], + "calibration_paid": { + "1": 2183, + "2": 416, + "3": 507, + "4": 135, + "5": 40, + "8": 8 + }, + "calibration_positive_local_gain_interval": [ + "2242085186479621014787278237352542497228820842252128359676369533323594520182968044897792411725415708386235638835042567807236726981499396198595800455240786975972463466920454230575831327637669401348474766363765351220778701865111943568409202053260325629651735115553173634806599902407360471481092210553147596621573214400343873429636809020648361221172850698079468983760818176912441595760612050120414548995098494149752617296238349389340681326063084626609415532382960658948279476438455884943342479914370434980089545499703142961269315321963292744345549835352376572901895533511901975909990553906632073581904646543856452295115094393348778867188249943563143196543203422906531379715453225860033007041985147556949042549788780965546078038047711386043288081995325871237427576277682268733578169402012633526135403686241490402955683107745821038087157012317789932413980297138985704220710822127818805401024611165369825414936022415523401406977747913245134641270064633385735203614800463674793631848230553732872688973707313982438714733288538210731971576252120611168378550594334624126049342823657464172534664739561876535691159373776914166071104030062600274864462659612441446851526236303047735237935282412133784527698107851046748396811198319036257976623251566026550953467185639150169329838353641131491063016235876999633787688152029084214766919694897211888840337463355390746883285369489041002241253557101496031978096502810782982918168344090168797187670616954429764831122904323618370529847396296276089619995495441902259158775696807228696505849400440484677035388051263234557550951919079915346442215748641064129335251692462519921287872688909980008021916012943557830771550201402661947601874468676682634795769759446654003228993225094408610855721775470197005959666029679899682689772460496586918232556738398608431738439584579969118033790291298436484291983347342888525724400674073449491176062900862275755383400278768150660226334513872577830999151478996635231279811886021007685346050804585728309183412965822490149641635421737572540958360462843391746110121709581663893446962623465274110930683960774579181201874205838235053635645133974914615467017304796315671628115169398445564675612015190759709511487718598269138995570998257031364503424226169846472353935258547319311175429148463297585452990112231600813212873024616852913268744624956320579067606912502324046975322154400017849967563866768814536326744192023804225961652051054052904480075027815138636788594455254482210133939497789380685426006481972031189437658856559144486674339726039036135866627923684916299188280925691430571160611913374257426351941021293335186804207700819229917723344549030042220803588328080992941113692207069998473613088542231568695334094065030784426736347248294643738130494314190911575916363073202736264847960708799991907529241931854336172732995568951537718810657081414588797463152042485988278601615419299306655800287047912006012381003025138662774776002657875339428906247382096500856116679366543723593453971619734166468457789284971794207145893028660406834503539529245910969988783423012472096737188848637325062801649090219093057622580017986708137958530817535985771760209543557392035768864251675030942559785803643074106351044500300886801803114024087250273520641120994785681267782090408947113898157197098379154003371293422560229723650538650513761315385433855376298459583733773733930110701821217828841484715497682663879323614071387629826198431378529556507655592376925969962480138961297670154010559814841025066495626474081445964495963204903580869433759735812414925061562325265487524787065006706152107357325201312397388136610490784885735757028903756584386186878181429999689058426028777391390389683029618203609762448493351180755402094567693598618664814901212126486322591751606941870832492772851984643160738747882477371275146012539711238319632505558745860531361200991260353/1351874219373139102916397910463973908882392494862038405464215841611102027744455058485549426114861407052895351144855616986211521214781624118613817357897623188025596280183178531985246319217653391120386606599722390752231426504552572140302514875446438571421698063589755706577182349327310409417238093835325517535488520402061988441779022304118860458037007025274261834871076600941958082512229533471303970290414273581029840807308503339227484572349410137041182972048424094466638781115274785666665301989093072871439591092799582118692873312418561307750480681064800060414592147362943243120878186909967622445576946733023061021276563737235733592676256410617821281094726087479389394477433868168660914334428410715889100430971244014503739767482902739777275519741247218916056117673742145870684307535388322531582530134921991806949972160827358643934590305596522821169481362674836842567559107019853936561178619077469589793911245725313058947543129769207588863058481489177358809675016992157563233623694387199377888771177774032090190678920794192972880155419628456570435448118443681093134229235684439250314229457874006632649494193023929304403894415711365820171971206209186604116909305332629433694306159112986808085291002081772332325265199419618488919037949170237870664247264252885257589377346440416694035002139268863365056426320319414661910426491567172012602192812708528616358634206619145882286217028524710240621638436201762848061653916610984814375507663994509596060125471851892016774960339273882264245758410057267402496403084153852967981374059883180982338250489103874513445674516167464450867350245971596766061146777295797546050770761437888743718383409342362603704187126698888999246036039827532578953223915244428995683452425439635812165532788773181312931887571418078638765394367385257626639287263344329608746864737618607251380886369866871506929244077728729575909756928243340520986923687971300524183841142935241227472434719336406824242531762010122459953786152926415086009638365617313795500205013539977851118589870724341676530620894314649648037890910724757679339687230173758645379365250232445365494242088478698403509301636075238623125167971886252200217447394452157601144644423705112946940423467410139284899738460524175322233493906405098526124746014079994006489271860523720168757284247418459638395376448307200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "43830236734619981091049334069063189871974619628647333558534854176845983306079210423133597883309424663057311062384916540183841898871895404517329857687766750698745972371720874845764525761630884043299212005411311713935542994401656128047506125601886885232446419840160390549791752947468420094287156875961850137522983164974652711487254376540070539150795631863483527191795295189555901002939976728989659192721404778396529982845531271796563894888600394505963869209724063715458357557231626780269735677157082336888428673496275735430530351223201676666013706173517021711796546599978714589845662101163210420821066318453517586421844283956946324073188402121980135861768581854117945937551655169632932977684321009161633139527662304449321477642205466394246220860852631441387440448104912142178216545054454320733567289077454667628910075335345588580353735862469162291601225884848824374241793538858344912725536210420580744428614184231113440882500112167254408702461397764717026764717532328408433451994347869385260216291954716064954372933351173589506180631909077823076517301048005856811445368836050890403652709420757216386005830625470547517597520958394294387688055449479159715459250633199969384428692461595360771212035189396250846479225028730643969220819865044126017497234132358563309402548327476555813697862770439121073343693397172857287705742396652983653053968993063921367719336586475914291495174430359163913080783144173097426939011896731684303336778190395148253227366192000636797914986194737023284350072817220402315487722303337791409666880965357499583241063167519982723988367499618824913668211277326614258246480729204093440157078431094495706139273231682141684808962237226778058300413754331843627215176740332860295381561256960903987436425387677390216079886457992227853153820609537184195560796866220252173386814884748661472869758600648286865290241502119204010683908370507279110188903380441685018260646870211017068436966018144525263857916680060155766824188776730822573167076878833570693609965973813772105772889797382321155150176595623348970256499847831507066774394488793888347950422574233223037886578158192931509282950520927329232053555626873632401094654703047452248571604296219561600679059957566736598257917563029296706535101352813646518458067465804849433589581283665616784895236747938288640886534879487210264917455024915849845439958640471869552786204747264952672759771667837790634996292217221217262243942223698032404644513395905702396103474864728290720216070902604888073513433854629354075417820740132552119907383436813069260827268279825363209792412708462658029761343901190417294828472518444709848289487472593104410763028530752259159106986332124733250515937353473889452850088947752109935887814481152699687938140650985485933173449751929938705600457559603107946562904966205166833926857402595808197411951725172015598114710728309808113833670449308146131207094651076502252345279437111656255395001659623314389116850328321099594799167251719282175806369516775436157506820882312246360295151754019920353793899313023029073908259994562350212697225977656474882812107458711352793596256962428256779831049955237997371394677679299582805202675702488336587039363343467438950885712863837876931715460974792278079378301998558966062328454026263925931492955195641635256466863204369803234417417017475450999476790597582698018791589614736292224692970782643345788372267226411231360293943442788113990469353509536854560185615337460818333142561342296833957212766458941894376367823055678365309184894032697287665032598286527641870739778426332580001839586376253940039001913598426287017219272288998363076096121796051322047833728608502557416870813699666741198460040435175853241429870726872221596959687740726962004688870167516329433354898682220506800118799810068297014162317756594164171365792618481614598692057910271170729064816628030918790807484365252233/26427616318572644117162665918844602730031732982265412437646324723224550918312655278664875999237892167951337691553568452362029738033324982769894173913788122472680829537415520174147672405758637721150414865859234706434599315126591635825462696813238648764634698987468908549629128633466218529961045443397340944302783105604219322921995924742173211961625701245963013313269166634955571537833058549063085133496820385794568316533850441217980901414349371100053200957337613876791434818794845434085186354673999920795059675498337695553394515881866612031212404291492332008104808895816935579806641247864028709462406477487668862070068163284307573992167418553431092713129983665010619741664120731116679528342209532791817000906204770208343784928237196416698619182911599768283803804148342701231422553323380741218906604141332170662179906903391973490450637553014731842410913856801321734403411114673836353827551951890382958377212322449728971906858175939396474014677081743316788760564241951952363965575980501641973765451595582582214253873639585727289386496925067572053625301563560683023676661750222120682834560830619678532997630841069294672557334442477828063512219068751016321082437547855913741392451230780193240765087258741414015381124199180511813454877201824198975391299902687982479190835343947995522488763624804847737945176186695324217797811113343212276433844458963717312274052159472024766497475745595839290347819053568296277896993858560605393806916739742292855310723509886610854247344978286420203300540346984174785643970066165546742493026734558425218642490764436644623750028135604568212444440898692869110969786623827621200992511125853464162915765896918366688954034055767754872478900026703644400589339696507634502082528617616940688950265043686251230247426208172965870601694400012555107234187102971857013096603893296081605942139561307262541473944376651856371168180552125453793729335253574295961488623846854339785175415565974870248350244971626454104359729305328415215226013162443728333086714550405582051942358375062318488568528761038263796229446375070450874309675176329116375837215418077879325451349098079818414467550780418198647559674638377862560641828763726389195308838358145065128158654250123023614581353363630495021105895914686136600934884485774318923850427348584003299014579272842068119007359139840000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "calibration_selected_nodes": 62, + "controls": [ + "newly_paid_old_zero_edge", + "nonnested_rank_not_dimension_difference", + "frozen_boundary_rejected" + ], + "current_edge_count": 34638, + "current_helpers": { + "4": 28, + "7": 7, + "8": 47, + "9": 326 + }, + "current_nodes": 19199, + "current_paid": { + "1": 2201, + "2": 412, + "3": 510, + "4": 127, + "5": 40, + "8": 8 + }, + "exact_clifford_pair_checks": 285, + "new_rank_mass_deficit": 1856, + "old_rank_mass_deficit": 1856, + "paid_phase_physical_checks": { + "native_warps": 50128, + "paid_pairs": 66368, + "scope": "All symmetric forms and all subspaces in dimensions 1..3; first 12 invertible maps in product order per dimension." + }, + "pauli_physical_checks": { + "native_warps": 50208, + "paid_pairs": 66060, + "scope": "All nonzero Pauli axes and all subspaces in dimensions 1..3; first 12 invertible maps in product order per dimension." + }, + "status": "PASS_GENERAL_GAUSSIAN_CONTACT_MODEL_NO_NEW_KAPPA" +} diff --git a/research/general-gaussian-contact-search/SEARCH.json b/research/general-gaussian-contact-search/SEARCH.json new file mode 100644 index 0000000000..a840dcd7a8 --- /dev/null +++ b/research/general-gaussian-contact-search/SEARCH.json @@ -0,0 +1,331 @@ +{ + "status": "BOUNDED_FLOATING_DISCOVERY_ONLY", + "source": "PR4610 round-three ACTUAL-WORD.json.gz at 1eb8da6cfb35512c0cc2533413e5ca42f48e13c6", + "tested_saving": "0.00302177585", + "two_functional_models": [ + { + "functional": [ + 1, + 2 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4860718950003502, + "nodes": 9828, + "pairs": 15518, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 4 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.6834822960008751, + "nodes": 9812, + "pairs": 15502, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 8 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.6505352749954909, + "nodes": 9832, + "pairs": 15522, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 16 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.7260882339978707, + "nodes": 9816, + "pairs": 15506, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 32 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.5200799520025612, + "nodes": 9685, + "pairs": 15247, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 64 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.6387053599974024, + "nodes": 9685, + "pairs": 15246, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 128 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.5445207360025961, + "nodes": 9669, + "pairs": 15226, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 1, + 256 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.47925655400467804, + "nodes": 9669, + "pairs": 15225, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 2, + 4 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4949693329981528, + "nodes": 9814, + "pairs": 15505, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 2, + 8 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.5031651579993195, + "nodes": 9828, + "pairs": 15518, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 2, + 16 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.5419657659949735, + "nodes": 9735, + "pairs": 15356, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 2, + 32 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4941718689951813, + "nodes": 9814, + "pairs": 15505, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 3, + 7 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.5988934769993648, + "nodes": 9574, + "pairs": 15086, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 15, + 51 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4929090579971671, + "nodes": 9789, + "pairs": 15422, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 51, + 85 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.3895707659976324, + "nodes": 9287, + "pairs": 14552, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 114, + 115 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.5091844490016229, + "nodes": 9719, + "pairs": 15296, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 127, + 153 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4214392109934124, + "nodes": 9483, + "pairs": 14892, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 153, + 255 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4440664639987517, + "nodes": 9513, + "pairs": 14941, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": [ + 255, + 511 + ], + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4540520700029447, + "nodes": 9721, + "pairs": 15249, + "true_energy": 0.0, + "switched": 0 + } + ], + "one_functional_time_limited_models": [ + { + "functional": 1, + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 1.0496405579979182, + "nodes": 9356, + "pairs": 14721, + "true_energy": 0.0, + "switched": 0 + }, + { + "functional": 7, + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.4962295860023005, + "nodes": 8334, + "pairs": 13021, + "true_energy": 0.0, + "switched": 1 + }, + { + "functional": 51, + "status": 0, + "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", + "energy": 0.0, + "dual_bound": 0.0, + "seconds": 0.37884828799724346, + "nodes": 8309, + "pairs": 12970, + "true_energy": 0.0, + "switched": 0 + } + ], + "scope": "No higher kappa or universal obstruction; old product-linearized one-functional timeouts are not negative certificates." +} diff --git a/research/general-gaussian-contact-search/SOURCES.json b/research/general-gaussian-contact-search/SOURCES.json new file mode 100644 index 0000000000..ff25093e81 --- /dev/null +++ b/research/general-gaussian-contact-search/SOURCES.json @@ -0,0 +1,58 @@ +{ + "schema_version": 1, + "base_commit": "ff306a3ba3fcad1895af03753c056cdcb72d1ee0", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "c35482cd9035843b15a634cc8276a7e1e40e8395", + "sha256": "6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72" + }, + { + "path": "research/t74-native-fast/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py", + "usage": "input", + "git_blob": "166841a037f069249f6f7f6dedb89248812f59e2", + "sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962" + }, + { + "path": "research/general-gaussian-contact-search/inputs/round2-word.json.gz", + "usage": "input", + "git_blob": "79dad65b9c9bd05956183492090d5439a269fc08", + "sha256": "d578875344095047c383ef513e69b9deb9d99d2b75abe14f7359d06365a924ac", + "origin": { + "commit": "1eb8da6cfb35512c0cc2533413e5ca42f48e13c6", + "path": "research/warp-interface-20261022/ACTUAL-WORD.json.gz", + "git_blob": "79dad65b9c9bd05956183492090d5439a269fc08" + } + }, + { + "path": "research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "usage": "input", + "git_blob": "46d929df83817b85a5387bcdb9745e0627d6366e", + "sha256": "7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05", + "origin": { + "commit": "1eb8da6cfb35512c0cc2533413e5ca42f48e13c6", + "path": "research/kappa-round3-warp-20261022/ACTUAL-WORD.json.gz", + "git_blob": "46d929df83817b85a5387bcdb9745e0627d6366e" + } + }, + { + "path": "research/general-gaussian-contact-search/CALIBRATION.json", + "usage": "input", + "git_blob": "7b4817a187cb029b9c7273f0a80adea80656252d", + "sha256": "37c3168998dada8c9388aef9accf29007996dc3dd5c348817bc098b6964cedb7" + }, + { + "path": "research/t74-native-fast/vendor/native/new/code/borrow/bw_adapters.py", + "usage": "provenance", + "git_blob": "82beaa9c1d13bcd5f79d0a5e10e8a10733eac347", + "sha256": "c5907050a9a7fa36d4fcba3ad4fe440d1bec2063360c095013891785ba65c3ce" + } + ] +} diff --git a/research/general-gaussian-contact-search/TASK.json b/research/general-gaussian-contact-search/TASK.json new file mode 100644 index 0000000000..b44b6ae8e3 --- /dev/null +++ b/research/general-gaussian-contact-search/TASK.json @@ -0,0 +1,126 @@ +{ + "schema_version": 1, + "task_id": "complex-new-helper-inventory", + "priority_revision": 7, + "base_commit": "ff306a3ba3fcad1895af03753c056cdcb72d1ee0", + "original_card": { + "id": "complex-new-helper-inventory", + "question": "Can a new local cost interface change the deficit-to-recursive-cost ratio beyond current packing?", + "starting_points": [ + "docs/research/research-family-status.md", + "research/complex-local-word-ceiling/README.md", + "research/heterogeneous-owner-assembly/README.md", + "certificates/selected-result.json", + "research/selected-k8-unrestricted-ends/README.md" + ], + "methods": [ + "Propose a changed helper inventory and derive an optimistic exact moment.", + "Design a small completed instance and independently verify its endpoint and rank bill." + ], + "acceptance_gate": "A new physically realizable contract outside the frozen catalogue whose per-call profile, screened with ceiling.ceiling(), beats the selected word's packing ceiling; a lower cap does not establish identical circuitry or order attainable optima, and is insufficient to pass the stronger-budget target under this model. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "research/complex-local-word-ceiling/verify.py" + ], + "expected": "PASS_COMPLEX_LOCAL_WORD_CEILING", + "inspect": "Read the selected word's per-call local profile, its packing ceiling and the lever table; run levers.py for the ideal budget of the lever you target.", + "scope": "Positive control and planning budget only; this is not a new construction or full cold replay." + }, + "first_experiment": "Before any synthesis, write the candidate per-call local profile (and centre charge / unpaid coordinates if changed) and screen it with ceiling.ceiling(); reject it if even the ideal ceiling does not beat the selected word's by your stated margin.", + "bottleneck_link": "Packing of the selected word is capped at +0.87% (ceiling model); only a lower local excess spend or a changed coverage law raises the cap.", + "allowed_variations": [ + "Narrow to one changed boundary or helper type with explicit counts.", + "If the coverage law, template or guard changes, derive an applicable fully charged replacement bound instead of applying the incumbent ceiling outside its scope." + ], + "scope_change_triggers": [ + "Mixing only providers already inside the pinned catalogue.", + "Only changing helper terminal subspaces and monotone frames within the fixed scalar word, entrances and cleanup contract already covered by #1995/#2013.", + "Continuing a partial cost improvement while leaving the same unpriced consumer, restoration or central-readout obligation unresolved; refresh the family expansion decision first. Local product-retiming evidence has a narrow scope and is not a ban on changed graphs or contracts." + ], + "overlap_terms": [ + "helper inventory", + "heterogeneous-owner", + "mutable leaver" + ] + }, + "scope_status": "changed", + "actual_scope": "Implement and exactly calibrate costed common-kernel, paid symmetric-form and coupled Pauli-quarter-turn contact searches, with all native warp charges and both helper endpoints.", + "scope_change_reason": "User requests continued aggressive higher-K research after phase rigidity. This changes the monotone frame-retiming model rather than repeating its fixed paid profile. Continued user instruction also authorizes testing paid phase changes outside the unchanged-paid-rank rigidity premise.", + "bottleneck_link": "Prices actual Clifford rank on all changed transitions, allowing new source-compatible candidates outside monotone climbs without retaining invalid free-warp or helper-width credits.", + "budget_minutes": 60, + "stop_rule": "Retain exact physical rank and complete invoice checks; accept no exponent claim without a profitable exact moment and full native/compiler/outer replay.", + "outcome": "completed", + "evidence": "model.py, discover.py, verify.py, RESULT.json, CALIBRATION.json and bounded SEARCH.json, PHASE-SEARCH.json, PAULI-SEARCH.json", + "author": "Cinna Davis, with substantial OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance in model derivation, implementation, bounded discovery, verification and writing; no subagents.", + "open_questions": [ + { + "question": "Can compound or changed-word contact moves produce a strictly profitable exact full invoice?", + "why_it_matters": "The stronger round-three word did not improve in the bounded searches, while the known positive predecessor calibrates the model.", + "first_step": "Run a named bounded search, reprice its full Gaussian rank list and prove the actual moment gain before native implementation.", + "blocked_by": "No new positive complete supplier has been established." + } + ], + "canonical_base": "b58ad9ef4d4e861b0eaa5dba41742bdc072dca51", + "overlap_check": { + "searched_at": "2026-10-22T16:01:43.982068+00:00", + "terms": [ + "non-nested contact", + "Gaussian contact search", + "signed-cut" + ], + "coverage": "5862 local note records; 453 open PRs; 3614 discussions; complete reported pagination", + "result": "Only this package matched those terms; narrow overlap check is not a novelty certificate. Explicitly retains PR4610, PR4654 and PR4672 predecessors." + }, + "phase_expansion_decision": { + "decision": "bounded design exploration", + "source_head": "1eb8da6cfb35512c0cc2533413e5ca42f48e13c6", + "boundary": "Same subspaces and chronological scalar word; main, explicit adapter and owned gauges fixed; both helper forms variable.", + "proved_costs": "Exact Gaussian rank tables and full old paid/helper census; owned centers unchanged and included.", + "unknown_obligations": "Any new positive candidate still needs emitted physical word, absolute phases, all-column native, compiler/ordinary/outer admission and inherited analytic/precision/execution premises.", + "reason": "Fixed-rank phase rigidity leaves explicitly paid rank changes open. Compare complete changed paid energy with actual helper-rank reward before native implementation.", + "bounded_next_test": "511 ambient rank-one phase forms plus a declared finite compound-form list; floating discovery only.", + "stop_rule": "No supplier or kappa claim without an exact profitable full invoice and admission; retain bounded failures without a universal exclusion claim.", + "outcome": "511 rank-one and 18 compound common-form floating searches found no profitable candidate; not an exact exclusion." + }, + "paid_phase_overlap": { + "searched_at": "2026-10-22T16:11:21.265286+00:00", + "local_records": 5862, + "open_prs": 461, + "discussions": 3620, + "result": "Broad phrase matches concern other mechanisms; exact unchanged-rank predecessor #4665 and chart grammar #4654 explicitly retained." + }, + "pauli_expansion_decision": { + "decision": "bounded design exploration completed; no new candidate", + "changed_premise": "Allow subspace and symmetric form to change together via a common Pauli quarter turn.", + "boundary_and_costs": "Same logical scalar word and G maps; main/adapter/owned interfaces fixed; all changed transition and warp ranks paid; helpers priced at their full relative rank.", + "scope": "255 named axes, all floating solver status 0 and no profitable candidate; no universal exclusion.", + "next_decision": "Prefer a changed scalar word or owned-center protocol over more local frozen-word sweeps. No native implementation expansion without an exact profitable complete invoice.", + "remaining_obligations": "Changed-word absolute phases, all-column native, compiler/ordinary/outer and inherited analytic/precision/execution contracts are unrun." + }, + "pauli_overlap": { + "searched_at": "2026-10-22T16:34:06.249925+00:00", + "coverage": { + "local": { + "head": "bbb589aeb0cca889e1ace5468c45633d8e14fbda", + "records": 5862, + "head_records": 5862, + "complete_head_inventory": true, + "unsearched_head_paths": [] + }, + "open_prs": { + "fetched_at": "2026-10-22T16:33:19.405410+00:00", + "complete_pagination": true, + "records": 466 + }, + "discussions": { + "fetched_at": "2026-10-22T16:34:06.032606+00:00", + "complete_pagination": true, + "records": 3622 + } + }, + "result": "Narrow phrase search is not a novelty certificate; exact rank grammar and fixed-word predecessors remain credited." + } +} diff --git a/research/general-gaussian-contact-search/VERIFY.json b/research/general-gaussian-contact-search/VERIFY.json new file mode 100644 index 0000000000..6d782874d9 --- /dev/null +++ b/research/general-gaussian-contact-search/VERIFY.json @@ -0,0 +1,23 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/t74-native-fast/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py", + "research/general-gaussian-contact-search/inputs/round2-word.json.gz", + "research/general-gaussian-contact-search/inputs/round3-word.json.gz", + "research/general-gaussian-contact-search/CALIBRATION.json" + ], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "285 canonical, 66368 symmetric-phase transition, 50128 phase native-warp, 66060 Pauli transition and 50208 Pauli native-warp exact Clifford rank checks; complete source invoices and pure-Z phase/Pauli agreement; rational positive calibration and sign/frozen/old-zero/nonnested controls." + } + ] +} diff --git a/research/general-gaussian-contact-search/discover.py b/research/general-gaussian-contact-search/discover.py new file mode 100644 index 0000000000..7c0fdc00f3 --- /dev/null +++ b/research/general-gaussian-contact-search/discover.py @@ -0,0 +1,82 @@ +#!/usr/bin/env python3 +"""Optional floating discovery; solver output is not scientific acceptance. + +Requires NumPy/SciPy. The registered verifier uses the standard library only. +Apache-2.0; substantial OpenAI Codex assistance and credited sources in README. +""" +import argparse +from collections import defaultdict +import hashlib,json,sys,time +from pathlib import Path +sys.path.insert(0,str(Path(__file__).resolve().parent)) +import model as M + +def solve(source,forms,seconds,fixed_helper_side,mode="kernel"): + import numpy as np + import scipy + from scipy.optimize import milp,Bounds,LinearConstraint + from scipy.sparse import coo_array + payload=M.load(source);builder={'kernel':M.build,'phase':M.build_phase,'pauli':M.build_pauli}[mode] + model=builder(payload,forms);frozen=set(model['fixed']) + for _,a,b,_ in model['helpers']: + if fixed_helper_side=='entrance':frozen.add(a) + if fixed_helper_side=='exit':frozen.add(b) + variables={n:i for i,n in enumerate(n for n in range(2,len(model['nodes'])) + if n not in frozen and model['old_spaces'][model['nodes'][n]]!=model['new_spaces'][model['nodes'][n]])} + C=.00302177585;powers=[r**(1-C) for r in range(10)] + unary=defaultdict(float);pairs=defaultdict(float) + def table(a,b,ranks,sign): + z10,z01,z11=[sign*(powers[r]-powers[ranks[0]]) for r in ranks[1:]] + if a==b: + if a in variables:unary[variables[a]]+=z11 + return + x,y=variables.get(a),variables.get(b) + if x is not None:unary[x]+=z10 + if y is not None:unary[y]+=z01 + if x is not None and y is not None:pairs[min(x,y),max(x,y)]+=z11-z10-z01 + for _,a,b,ranks in model['edges']:table(a,b,ranks,1) + for _,a,b,ranks in model['helpers']: + M.need(min(ranks)>0,'discovery keeps every helper productive') + table(a,b,ranks,-1) + pairs={k:v for k,v in pairs.items() if abs(v)>1e-12};n=len(variables);total=n+len(pairs);cost=np.zeros(total) + for i,v in unary.items():cost[i]=v + rows=[];cols=[];values=[];lower=[];upper=[] + def constraint(items,lo,hi): + j=len(lower);lower.append(lo);upper.append(hi) + for i,v in items:rows.append(j);cols.append(i);values.append(v) + # Signed-cut formulation: positive edges use the lower XOR envelope; + # negative helper rewards use the upper envelope. Both are exact when + # the two contact switches are binary. Cut variables remain continuous. + for j,((a,b),v) in enumerate(pairs.items(),n): + weight=-v/2;cost[j]=weight;cost[a]+=v/2;cost[b]+=v/2 + if weight>=0: + constraint([(j,1),(a,-1),(b,1)],0,np.inf) + constraint([(j,1),(a,1),(b,-1)],0,np.inf) + else: + constraint([(j,1),(a,-1),(b,-1)],-np.inf,0) + constraint([(j,1),(a,1),(b,1)],-np.inf,2) + matrix=coo_array((np.array(values),(np.array(rows,dtype=np.int32),np.array(cols,dtype=np.int32))),shape=(len(lower),total)).tocsc();started=time.monotonic() + result=milp(cost,integrality=np.r_[np.ones(n),np.zeros(total-n)],bounds=Bounds(np.zeros(total),np.ones(total)),constraints=LinearConstraint(matrix,np.array(lower),np.array(upper)),options=dict(time_limit=seconds,mip_rel_gap=0.0)) + out=dict(scope='BOUNDED_FLOATING_DISCOVERY_ONLY_NO_NEW_KAPPA',source_sha256=hashlib.sha256(Path(source).read_bytes()).hexdigest(),functionals=forms, + mode=mode,tested_saving=C,scipy=scipy.__version__,status=int(result.status),message=result.message, + seconds=time.monotonic()-started,variable_contacts=n,pair_terms=len(pairs),fixed_helper_side=fixed_helper_side) + if result.x is not None: + selected=[node for node,i in variables.items() if round(result.x[i])] + p,h=M.invoice(model,selected);p0,h0=M.invoice(model,[]) + moment=lambda profile:sum(count*powers[r] for r,count in profile.items()) + true=moment(p)-moment(h)-moment(p0)+moment(h0) + M.need(abs(true-result.fun)<1e-6,'actual full invoice agrees with binary objective') + out.update(selected_nodes=selected,paid=dict(p),helpers=dict(h),actual_local_energy=true,solver_objective=float(result.fun)) + if getattr(result,'mip_dual_bound',None) is not None:out['floating_dual_bound']=float(result.mip_dual_bound) + return out + +def main(): + ap=argparse.ArgumentParser();ap.add_argument('--source',type=Path,default=Path(__file__).parent/'inputs/round3-word.json.gz') + ap.add_argument('--functionals',default='1',help='Binary functionals, or X,Z masks in pauli mode');ap.add_argument('--mode',choices=['kernel','phase','pauli'],default='kernel') + ap.add_argument('--seconds',type=float,default=30);ap.add_argument('--fixed-helper-side',choices=['none','entrance','exit'],default='none');ap.add_argument('--output',type=Path,required=True);args=ap.parse_args() + forms=[int(x) for x in args.functionals.split(',')] + if args.mode=='pauli':M.need(len(forms)==2 and all(0<=x<512 for x in forms) and any(forms),'nonzero Pauli X,Z masks') + else:M.need(forms and all(00,'positive bounded solver time') + result=solve(args.source,forms,args.seconds,args.fixed_helper_side,args.mode);args.output.write_text(json.dumps(result,indent=2,sort_keys=True)+'\n');print(json.dumps({k:v for k,v in result.items() if k!='selected_nodes'},sort_keys=True)) +if __name__=='__main__':main() diff --git a/research/general-gaussian-contact-search/inputs/round2-word.json.gz b/research/general-gaussian-contact-search/inputs/round2-word.json.gz new file mode 100644 index 0000000000..79dad65b9c Binary files /dev/null and b/research/general-gaussian-contact-search/inputs/round2-word.json.gz differ diff --git a/research/general-gaussian-contact-search/inputs/round3-word.json.gz b/research/general-gaussian-contact-search/inputs/round3-word.json.gz new file mode 100644 index 0000000000..46d929df83 Binary files /dev/null and b/research/general-gaussian-contact-search/inputs/round3-word.json.gz differ diff --git a/research/general-gaussian-contact-search/model.py b/research/general-gaussian-contact-search/model.py new file mode 100644 index 0000000000..a69138e401 --- /dev/null +++ b/research/general-gaussian-contact-search/model.py @@ -0,0 +1,279 @@ +#!/usr/bin/env python3 +"""Exact contact graph and Gaussian rank invoices; Apache-2.0. + +Substantial OpenAI Codex assistance. Credit PR4672 contact cuts, PR4654 +Clifford chart grammar, PR4610 native words and the retained PR4470 lineage. +""" +from collections import Counter +from pathlib import Path +import gzip,json +def need(x,s): + if not x:raise ValueError(s) + +def span(b): + s={0} + for x in b:s|={y^x for y in tuple(s)} + return s + +def mv(cols,x): + y=0 + for i,a in enumerate(cols): + if x>>i&1:y^=a + return y + +def inv(cols): + values={mv(cols,x):x for x in range(512)} + need(len(values)==512,'invertible G') + return [values[1<{f}') + b=new(f) if dst is None else dst + edges.append(('paid',a,b,len(frames[f])-len(frames[old]),tuple(frames[old]))) + cur[r]=b + maps={x['op']:x['G_columns'] for x in c['warps']} + maps.update({-op:inv(cols) for op,cols in list(maps.items())}) + for e in payload['programs']['forward']: + if e[0]=='climb': + _,_,r,a,b,width=e + need(sp[a]=224: + a,b=c['start'][r],f;need(sp[a]<=sp[b],'nested helper boundary') + rewards.append((entry[r] if mode=='entrances' else dst, + len(frames[b])-len(frames[a]),tuple(frames[a]))) + return nodes,edges,fixed,rewards + +def mask(space): + return sum(1 << x for x in space) + +def dimension(bits): + n = bits.bit_count() + need(n > 0 and n & (n-1) == 0, 'binary subspace size') + return n.bit_length()-1 + +def fourier_rank(a, b): + return dimension(a)+dimension(b)-2*dimension(a & b) + +def load(path): + raw = Path(path).read_bytes() + return json.loads(gzip.decompress(raw) if str(path).endswith('.gz') else raw) + +def build(payload, functionals): + """All paid edges, including old zero edges, and both helper endpoints.""" + nodes, edges, fixed, _ = graph(payload, 'free') + frames = payload['canonical']['frames'] + old = [mask(span(b)) for b in frames] + kernel = mask(x for x in range(512) + if all((l & x).bit_count() % 2 == 0 for l in functionals)) + new = [s & kernel for s in old] + tables = [] + for kind, a, b, x, y in edges: + left = (old[nodes[a]], new[nodes[a]]) + right = (old[nodes[b]], new[nodes[b]]) + if kind == 'warp': + image = {0: 0} + for u, v in zip(x, y): + image.update({z ^ u: w ^ v for z, w in list(image.items())}) + left = tuple(mask(image[z] for z in image if s >> z & 1) for s in left) + ranks = [fourier_rank(left[i], right[j]) for i,j in ((0,0),(1,0),(0,1),(1,1))] + if kind == 'warp': need(ranks[0] == 0, 'original native warp is monomial') + tables.append((kind, a, b, ranks)) + helpers = [] + for r in range(224, 632): + a, b = 2+r, len(nodes)-632+r + left = (old[nodes[a]], new[nodes[a]]) + right = (old[nodes[b]], new[nodes[b]]) + ranks = [fourier_rank(left[i], right[j]) for i,j in ((0,0),(1,0),(0,1),(1,1))] + helpers.append((r, a, b, ranks)) + centers = Counter(e[4] for e in payload['programs']['forward'] if e[0] == 'center') + source_paid = Counter(e[5] for e in payload['programs']['forward'] if e[0] == 'climb') + centers + result = dict(nodes=nodes, fixed=sorted(fixed), edges=tables, helpers=helpers, + centers=dict(centers), old_spaces=old, new_spaces=new) + p,h = invoice(result, []) + need(p == source_paid, 'reconstructed baseline invoice') + return result + +def invoice(model, selected): + chosen = set(selected) + need(not chosen.intersection(model['fixed']), 'main, adapter and owned boundaries frozen') + need(all(2 <= n < len(model['nodes']) for n in chosen), 'valid selected contact') + paid = Counter(model['centers']) + helper = Counter() + def rank_at(a, b, ranks): + return ranks[(a in chosen)+2*(b in chosen)] + for _,a,b,ranks in model['edges']: + r=rank_at(a,b,ranks) + if r: paid[r] += 1 + for _,a,b,ranks in model['helpers']: + r=rank_at(a,b,ranks) + need(r > 0, 'strict productive helper') + helper[r] += 1 + return paid, helper + + +def binary_rank(rows): + pivots = {} + for x in rows: + while x: + i = x.bit_length()-1 + if i not in pivots: + pivots[i] = x + break + x ^= pivots[i] + return len(pivots) + +def phase_matrix(functionals): + rows = [0]*9 + for functional in functionals: + for i in range(9): + if functional >> i & 1: + rows[i] ^= functional + return rows + +def restrict_form(rows, basis): + def value(x, y): + return sum((x >> i & 1)*((rows[i] & y).bit_count() % 2) + for i in range(9)) % 2 + return [sum(value(x,y) << j for j,y in enumerate(basis)) for x in basis] + +def build_phase(payload, functionals): + """Binary gauges b_U=0 or Q|U, Q=sum lambda*lambda^T over F2. + + Subspaces and logical G maps stay fixed. All changed paid and warp + Gaussian ranks are charged. Both helper boundaries can change. + """ + nodes, edges, fixed, _ = graph(payload, 'free') + frames = payload['canonical']['frames'] + q = phase_matrix(functionals) + matrices = [restrict_form(q, b) for b in frames] + active = [bool(binary_rank(s)) for s in matrices] + tables = [] + for kind,a,b,x,y in edges: + if kind == 'paid': + extra = binary_rank(matrices[nodes[a]]) + ranks = [x, x+extra, x+extra, x] + else: + source, target = restrict_form(q,x), restrict_form(q,y) + ranks = [0, binary_rank(source), binary_rank(target), + binary_rank([u^v for u,v in zip(source,target)])] + need(max(ranks) <= 9, 'valid physical phase rank') + tables.append((kind,a,b,ranks)) + helpers = [] + for r in range(224,632): + a,b = 2+r,len(nodes)-632+r + h = len(frames[nodes[b]])-len(frames[nodes[a]]) + extra = binary_rank(matrices[nodes[a]]) + helpers.append((r,a,b,[h,h+extra,h+extra,h])) + centers = Counter(e[4] for e in payload['programs']['forward'] if e[0]=='center') + expected = Counter(e[5] for e in payload['programs']['forward'] if e[0]=='climb')+centers + # Discovery only compares these tokens for whether a node has an alternative. + m = dict(nodes=nodes, fixed=sorted(fixed), edges=tables, helpers=helpers, + centers=dict(centers), old_spaces=list(range(len(frames))), + new_spaces=[i+len(frames) if active[i] else i for i in range(len(frames))]) + paid,_ = invoice(m, []) + need(paid == expected, 'reconstructed paid-phase baseline') + return m + +def nullspace(rows, width): + rows=list(rows);pivots=[];k=0 + for j in range(width): + found=next((i for i in range(k,len(rows)) if rows[i]>>j&1),None) + if found is None:continue + rows[k],rows[found]=rows[found],rows[k] + for i in range(len(rows)): + if i!=k and rows[i]>>j&1:rows[i]^=rows[k] + pivots.append(j);k+=1 + return [(1<>j)&1)<>width)).bit_count()+ + ((x>>width)&(axis&low)).bit_count())%2 + return [x^(axis if pairing(x) else 0) for x in basis] + +def lagrangian_distance(a,b,width): + return binary_rank(a+b)-width + +def build_pauli(payload, coordinates): + """Gauge C_U or C_U S_P for one common Hermitian Pauli quarter turn. + + The chosen axis is (X mask, Z mask); this can change both the chart + subspace and its symmetric form. All changed physical edges are paid. + """ + x,z=coordinates;axis=x|(z<<9) + need(0<=x<512 and 0<=z<512 and axis,'nonzero nine-bit Pauli axis') + nodes,edges,fixed,_=graph(payload,'free');c=payload['canonical'];frames=c['frames'] + old=[lagrangian(b,9) for b in frames] + new=[transvection(b,axis,9) for b in old] + active=[bool(lagrangian_distance(a,b,9)) for a,b in zip(old,new)] + maps={w['op']:w['G_columns'] for w in c['warps']} + maps.update({-op:inv(g) for op,g in list(maps.items())}) + warp_ops=iter(e[2] for e in payload['programs']['forward'] if e[0]=='warp') + cache={};tables=[] + for kind,a,b,r,image in edges: + fa,fb=nodes[a],nodes[b] + if kind=='paid': + if (fa,fb) not in cache: + need(lagrangian_distance(old[fa],old[fb],9)==r,'old chart rank') + changed=lagrangian_distance(new[fa],old[fb],9) + cache[fa,fb]=[r,changed,changed,r] + ranks=cache[fa,fb] + else: + g=maps[next(warp_ops)];gi=inv(g) + git=[sum(((gi[j]>>i)&1)<>k&1:q[i]|=1<>i&1 else 0 for i in range(n))) + j=(x&-x).bit_length()-1;q=[0]*n + for i in range(n): + if i!=j and z>>i&1:q[i]^=1<>j)&1)^(((z&~(1<>n;rotation=pauli_rotation(ce,n,x,z) + new={a:M.transvection(b,axis,n) for a,b in old.items()} + charts={a:[ce.canonical_frame(n,b),rotation.then(ce.canonical_frame(n,b))] + for a,b in spaces.items()} + for a in spaces: + for b in spaces: + expected=[M.lagrangian_distance(old[a],old[b],n), + M.lagrangian_distance(new[a],old[b],n), + M.lagrangian_distance(old[a],new[b],n), + M.lagrangian_distance(new[a],new[b],n)] + for i,j in itertools.product(range(2),repeat=2): + op=charts[a][i].adjoint().then(charts[b][j]) + M.need(ce.rank([u for u,v,p in op.tab[n:]])==expected[i+2*j],'literal Pauli-gauge transition rank') + paid_checks+=1 + for cols in maps: + G=ce.transpose(cols,n);gi=ce.inv(G,n);git=ce.transpose(gi,n) + correction=tuple((1<0,'strict positive calibration with rational power intervals') + rejected=False + try:M.invoice(m,[m['fixed'][0]]) + except ValueError:rejected=True + M.need(rejected,'frozen boundary mutation rejected') + current=M.load(HERE/'inputs/round3-word.json.gz');mc=M.build(current,[1,2]);pc,hc=M.invoice(mc,[]) + M.need(pc=={1:2201,2:412,3:510,4:127,5:40,8:8},'current complete baseline') + M.need(hc=={4:28,7:7,8:47,9:326},'current arbitrary-helper census') + phase=M.build_phase(current,[1]);pp,hp=M.invoice(phase,[]) + M.need(pp==pc and hp==hc,'paid-phase baseline invoice') + # Rank-two Q is represented by the sum of its rank-one constituents. + M.need(M.phase_matrix([1,2])==[1,2,0,0,0,0,0,0,0],'phase matrix XOR construction') + M.need(M.phase_matrix([1,2,3])==[2,1,0,0,0,0,0,0,0],'off-diagonal phase construction') + # Synthetic moment sign control only, not a supplier: paid 2->3, helper 1->2. + two=power(2,C);three=power(3,C) + M.need(2*two[0]-three[1]-1>0,'paid-phase synthetic concavity gain control') + phase_checks=phase_geometry() + pauli=M.build_pauli(current,[0,1]) + M.need(pauli['edges']==phase['edges'] and pauli['helpers']==phase['helpers'],'pure-Z Pauli agrees with full source phase model') + pauli_checks=pauli_geometry() + mass=lambda p:sum(r*n for r,n in p.items()) + return dict(status='PASS_GENERAL_GAUSSIAN_CONTACT_MODEL_NO_NEW_KAPPA', + exact_clifford_pair_checks=geometry(),paid_phase_physical_checks=phase_checks,pauli_physical_checks=pauli_checks,calibration_selected_nodes=len(fixture['selected_nodes']), + calibration_paid=dict(p1),calibration_helpers=dict(h1), + calibration_positive_local_gain_interval=[str(x) for x in gain], + calibration_local_gain_decimal=[float(x) for x in gain], + old_rank_mass_deficit=mass(p0)-mass(h0),new_rank_mass_deficit=mass(p1)-mass(h1), + current_nodes=len(mc['nodes']),current_edge_count=len(mc['edges']), + current_paid=dict(pc),current_helpers=dict(hc), + controls=['newly_paid_old_zero_edge','nonnested_rank_not_dimension_difference','frozen_boundary_rejected']) + +def main(): + pins=M.load(HERE/'SOURCES.json') + for row in pins['files']: + if row['usage']=='input':M.need(hashlib.sha256((ROOT/row['path']).read_bytes()).hexdigest()==row['sha256'],'input source bytes') + result=json.loads(json.dumps(run()));path=HERE/'RESULT.json' + if '--write' in sys.argv:path.write_text(json.dumps(result,indent=2,sort_keys=True)+'\n') + else:M.need(result==M.load(path),'stored exact receipt') + print('PASS_GENERAL_GAUSSIAN_CONTACT_MODEL: physical transition/phase/warp ranks, known positive calibration; no new kappa') +if __name__=='__main__':main()