Source identity
| Field | Recorded value |
|---|---|
| Source type | archive member |
| Original record | unnormalized_diagnostic.json |
| Date | Not specified in source |
| Path or archive member | archives/libsrc-ef5e6c3ea329/quantum_mip_benchmark/validation/unnormalized_diagnostic.json |
| Original SHA-256 | 1fd3f8baa88bda6866f2beb1e47262f23c009ea7c0a1bb01ff632e1169968718 |
| Reading-copy SHA-256 | 1fd3f8baa88bda6866f2beb1e47262f23c009ea7c0a1bb01ff632e1169968718 |
| Archive source | {"sourceId": "libsrc-ef5e6c3ea329", "member": "quantum_mip_benchmark/validation/unnormalized_diagnostic.json"} |
Recovered source transcript
Download complete source text ↓548 lines · 18.7 KB
{
"status": "post-run diagnostic, not part of frozen primary protocol",
"results": [
{
"instance": "n08_dense_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.6808648281923065,
"unnormalized_exact_phi": 0.6808648281923065,
"unnormalized_Queyranne_z": 123,
"unnormalized_exact_z": 123,
"normalization_changes_MIP": true
},
{
"instance": "n08_dense_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.43789003212548894,
"unnormalized_exact_phi": 0.43789003212548894,
"unnormalized_Queyranne_z": 123,
"unnormalized_exact_z": 123,
"normalization_changes_MIP": true
},
{
"instance": "n08_dense_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.45100843152236647,
"unnormalized_exact_phi": 0.45100843152236647,
"unnormalized_Queyranne_z": 63,
"unnormalized_exact_z": 63,
"normalization_changes_MIP": true
},
{
"instance": "n08_dense_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.6608248168034969,
"unnormalized_exact_phi": 0.6608248168034969,
"unnormalized_Queyranne_z": 111,
"unnormalized_exact_z": 111,
"normalization_changes_MIP": true
},
{
"instance": "n08_dense_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.6340403544133383,
"unnormalized_exact_phi": 0.6340403544133383,
"unnormalized_Queyranne_z": 95,
"unnormalized_exact_z": 95,
"normalization_changes_MIP": true
},
{
"instance": "n08_modular_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.22911515234199162,
"unnormalized_exact_phi": 0.22911515234199162,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n08_modular_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.17742723857329007,
"unnormalized_exact_phi": 0.17742723857329007,
"unnormalized_Queyranne_z": 88,
"unnormalized_exact_z": 88,
"normalization_changes_MIP": false
},
{
"instance": "n08_modular_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.039169863475988255,
"unnormalized_exact_phi": 0.039169863475988255,
"unnormalized_Queyranne_z": 22,
"unnormalized_exact_z": 22,
"normalization_changes_MIP": false
},
{
"instance": "n08_modular_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1932843221497212,
"unnormalized_exact_phi": 0.1932843221497212,
"unnormalized_Queyranne_z": 100,
"unnormalized_exact_z": 100,
"normalization_changes_MIP": false
},
{
"instance": "n08_modular_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.0701924971824877,
"unnormalized_exact_phi": 0.0701924971824877,
"unnormalized_Queyranne_z": 74,
"unnormalized_exact_z": 74,
"normalization_changes_MIP": false
},
{
"instance": "n08_sparse_ring_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.6954160556258184,
"unnormalized_exact_phi": 0.6954160556258184,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n08_sparse_ring_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.4230760630325109,
"unnormalized_exact_phi": 0.4230760630325109,
"unnormalized_Queyranne_z": 123,
"unnormalized_exact_z": 123,
"normalization_changes_MIP": false
},
{
"instance": "n08_sparse_ring_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.10813870346785574,
"unnormalized_exact_phi": 0.10813870346785574,
"unnormalized_Queyranne_z": 95,
"unnormalized_exact_z": 95,
"normalization_changes_MIP": true
},
{
"instance": "n08_sparse_ring_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.23715777359781126,
"unnormalized_exact_phi": 0.23715777359781126,
"unnormalized_Queyranne_z": 125,
"unnormalized_exact_z": 125,
"normalization_changes_MIP": true
},
{
"instance": "n08_sparse_ring_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1718197555192828,
"unnormalized_exact_phi": 0.1718197555192828,
"unnormalized_Queyranne_z": 46,
"unnormalized_exact_z": 46,
"normalization_changes_MIP": false
},
{
"instance": "n10_dense_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.25285032624448855,
"unnormalized_exact_phi": 0.25285032624448855,
"unnormalized_Queyranne_z": 255,
"unnormalized_exact_z": 255,
"normalization_changes_MIP": true
},
{
"instance": "n10_dense_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.8231829683644444,
"unnormalized_exact_phi": 0.8231829683644444,
"unnormalized_Queyranne_z": 495,
"unnormalized_exact_z": 495,
"normalization_changes_MIP": true
},
{
"instance": "n10_dense_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.31339465153000773,
"unnormalized_exact_phi": 0.31339465153000773,
"unnormalized_Queyranne_z": 495,
"unnormalized_exact_z": 495,
"normalization_changes_MIP": true
},
{
"instance": "n10_dense_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.3579065257271705,
"unnormalized_exact_phi": 0.3579065257271705,
"unnormalized_Queyranne_z": 509,
"unnormalized_exact_z": 509,
"normalization_changes_MIP": true
},
{
"instance": "n10_dense_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.4335340525885196,
"unnormalized_exact_phi": 0.4335340525885196,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n10_modular_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1405041928412159,
"unnormalized_exact_phi": 0.1405041928412159,
"unnormalized_Queyranne_z": 404,
"unnormalized_exact_z": 404,
"normalization_changes_MIP": false
},
{
"instance": "n10_modular_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.12672041070325193,
"unnormalized_exact_phi": 0.12672041070325193,
"unnormalized_Queyranne_z": 46,
"unnormalized_exact_z": 46,
"normalization_changes_MIP": false
},
{
"instance": "n10_modular_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.06748963998267349,
"unnormalized_exact_phi": 0.06748963998267349,
"unnormalized_Queyranne_z": 75,
"unnormalized_exact_z": 75,
"normalization_changes_MIP": false
},
{
"instance": "n10_modular_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1650777719245098,
"unnormalized_exact_phi": 0.1650777719245098,
"unnormalized_Queyranne_z": 353,
"unnormalized_exact_z": 353,
"normalization_changes_MIP": false
},
{
"instance": "n10_modular_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.0621408237262918,
"unnormalized_exact_phi": 0.0621408237262918,
"unnormalized_Queyranne_z": 226,
"unnormalized_exact_z": 226,
"normalization_changes_MIP": false
},
{
"instance": "n10_sparse_ring_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.20738488318435555,
"unnormalized_exact_phi": 0.20738488318435555,
"unnormalized_Queyranne_z": 495,
"unnormalized_exact_z": 495,
"normalization_changes_MIP": true
},
{
"instance": "n10_sparse_ring_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.11124327739681969,
"unnormalized_exact_phi": 0.11124327739681969,
"unnormalized_Queyranne_z": 510,
"unnormalized_exact_z": 510,
"normalization_changes_MIP": true
},
{
"instance": "n10_sparse_ring_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.0787374034721873,
"unnormalized_exact_phi": 0.0787374034721873,
"unnormalized_Queyranne_z": 509,
"unnormalized_exact_z": 509,
"normalization_changes_MIP": false
},
{
"instance": "n10_sparse_ring_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.17273655733055437,
"unnormalized_exact_phi": 0.17273655733055437,
"unnormalized_Queyranne_z": 383,
"unnormalized_exact_z": 383,
"normalization_changes_MIP": true
},
{
"instance": "n10_sparse_ring_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.07265107756934862,
"unnormalized_exact_phi": 0.07265107756934862,
"unnormalized_Queyranne_z": 255,
"unnormalized_exact_z": 255,
"normalization_changes_MIP": false
},
{
"instance": "n12_dense_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.8266419986672169,
"unnormalized_exact_phi": 0.8266419986672169,
"unnormalized_Queyranne_z": 1023,
"unnormalized_exact_z": 1023,
"normalization_changes_MIP": true
},
{
"instance": "n12_dense_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.7220516621202835,
"unnormalized_exact_phi": 0.7220516621202835,
"unnormalized_Queyranne_z": 2046,
"unnormalized_exact_z": 2046,
"normalization_changes_MIP": true
},
{
"instance": "n12_dense_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.5418833132214274,
"unnormalized_exact_phi": 0.5418833132214274,
"unnormalized_Queyranne_z": 2046,
"unnormalized_exact_z": 2046,
"normalization_changes_MIP": true
},
{
"instance": "n12_dense_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.9892271311241855,
"unnormalized_exact_phi": 0.9892271311241855,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n12_dense_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.9207092798858376,
"unnormalized_exact_phi": 0.9207092798858376,
"unnormalized_Queyranne_z": 2045,
"unnormalized_exact_z": 2045,
"normalization_changes_MIP": true
},
{
"instance": "n12_modular_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.37471684563601126,
"unnormalized_exact_phi": 0.37471684563601126,
"unnormalized_Queyranne_z": 968,
"unnormalized_exact_z": 968,
"normalization_changes_MIP": false
},
{
"instance": "n12_modular_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.2601685181301482,
"unnormalized_exact_phi": 0.2601685181301482,
"unnormalized_Queyranne_z": 647,
"unnormalized_exact_z": 647,
"normalization_changes_MIP": false
},
{
"instance": "n12_modular_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1703478545610646,
"unnormalized_exact_phi": 0.1703478545610646,
"unnormalized_Queyranne_z": 1305,
"unnormalized_exact_z": 1305,
"normalization_changes_MIP": false
},
{
"instance": "n12_modular_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.06981776045810255,
"unnormalized_exact_phi": 0.06981776045810255,
"unnormalized_Queyranne_z": 852,
"unnormalized_exact_z": 852,
"normalization_changes_MIP": false
},
{
"instance": "n12_modular_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.18106084346988202,
"unnormalized_exact_phi": 0.18106084346988202,
"unnormalized_Queyranne_z": 1760,
"unnormalized_exact_z": 1760,
"normalization_changes_MIP": false
},
{
"instance": "n12_sparse_ring_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.35290487556388167,
"unnormalized_exact_phi": 0.35290487556388167,
"unnormalized_Queyranne_z": 2045,
"unnormalized_exact_z": 2045,
"normalization_changes_MIP": true
},
{
"instance": "n12_sparse_ring_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.467600242197048,
"unnormalized_exact_phi": 0.467600242197048,
"unnormalized_Queyranne_z": 2015,
"unnormalized_exact_z": 2015,
"normalization_changes_MIP": true
},
{
"instance": "n12_sparse_ring_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.40459411799108935,
"unnormalized_exact_phi": 0.40459411799108935,
"unnormalized_Queyranne_z": 1535,
"unnormalized_exact_z": 1535,
"normalization_changes_MIP": true
},
{
"instance": "n12_sparse_ring_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.22542279479653118,
"unnormalized_exact_phi": 0.22542279479653118,
"unnormalized_Queyranne_z": 1983,
"unnormalized_exact_z": 1983,
"normalization_changes_MIP": false
},
{
"instance": "n12_sparse_ring_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.17171539584406958,
"unnormalized_exact_phi": 0.17171539584406958,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n14_dense_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.7275862717310989,
"unnormalized_exact_phi": 0.7275862717310989,
"unnormalized_Queyranne_z": 7935,
"unnormalized_exact_z": 7935,
"normalization_changes_MIP": true
},
{
"instance": "n14_dense_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.5454512752845462,
"unnormalized_exact_phi": 0.5454512752845462,
"unnormalized_Queyranne_z": 8159,
"unnormalized_exact_z": 8159,
"normalization_changes_MIP": true
},
{
"instance": "n14_dense_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.9933815745820065,
"unnormalized_exact_phi": 0.9933815745820065,
"unnormalized_Queyranne_z": 8175,
"unnormalized_exact_z": 8175,
"normalization_changes_MIP": true
},
{
"instance": "n14_dense_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.3951280564041698,
"unnormalized_exact_phi": 0.3951280564041698,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n14_dense_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.7562458316141261,
"unnormalized_exact_phi": 0.7562458316141261,
"unnormalized_Queyranne_z": 0,
"unnormalized_exact_z": 0,
"normalization_changes_MIP": true
},
{
"instance": "n14_modular_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.08450887320452626,
"unnormalized_exact_phi": 0.08450887320452626,
"unnormalized_Queyranne_z": 1475,
"unnormalized_exact_z": 1475,
"normalization_changes_MIP": false
},
{
"instance": "n14_modular_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.7022570668317756,
"unnormalized_exact_phi": 0.7022570668317756,
"unnormalized_Queyranne_z": 7935,
"unnormalized_exact_z": 7935,
"normalization_changes_MIP": true
},
{
"instance": "n14_modular_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.13599018899140006,
"unnormalized_exact_phi": 0.13599018899140006,
"unnormalized_Queyranne_z": 6428,
"unnormalized_exact_z": 6428,
"normalization_changes_MIP": false
},
{
"instance": "n14_modular_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.3353175430385349,
"unnormalized_exact_phi": 0.3353175430385349,
"unnormalized_Queyranne_z": 8063,
"unnormalized_exact_z": 8063,
"normalization_changes_MIP": true
},
{
"instance": "n14_modular_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.7997643467672594,
"unnormalized_exact_phi": 0.7997643467672594,
"unnormalized_Queyranne_z": 5796,
"unnormalized_exact_z": 5796,
"normalization_changes_MIP": false
},
{
"instance": "n14_sparse_ring_r00",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.06628815886979247,
"unnormalized_exact_phi": 0.06628815886979247,
"unnormalized_Queyranne_z": 8127,
"unnormalized_exact_z": 8127,
"normalization_changes_MIP": true
},
{
"instance": "n14_sparse_ring_r01",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1443810626717556,
"unnormalized_exact_phi": 0.1443810626717556,
"unnormalized_Queyranne_z": 7679,
"unnormalized_exact_z": 7679,
"normalization_changes_MIP": true
},
{
"instance": "n14_sparse_ring_r02",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.19079918174668437,
"unnormalized_exact_phi": 0.19079918174668437,
"unnormalized_Queyranne_z": 8063,
"unnormalized_exact_z": 8063,
"normalization_changes_MIP": true
},
{
"instance": "n14_sparse_ring_r03",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.4342129850091013,
"unnormalized_exact_phi": 0.4342129850091013,
"unnormalized_Queyranne_z": 8189,
"unnormalized_exact_z": 8189,
"normalization_changes_MIP": true
},
{
"instance": "n14_sparse_ring_r04",
"unnormalized_Queyranne_hit": true,
"unnormalized_Queyranne_phi": 0.1489488602225752,
"unnormalized_exact_phi": 0.1489488602225752,
"unnormalized_Queyranne_z": 8063,
"unnormalized_exact_z": 8063,
"normalization_changes_MIP": false
}
],
"unnormalized_Queyranne_hits": 60,
"normalization_changes_MIP_count": 37
}