{ "records": [ { "id": "c0-q0-s0-native", "case": 0, "sequence": 0, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 64, "centroid_error": [ 7.6322887522347855, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s1-native", "case": 0, "sequence": 0, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 64, "centroid_error": [ 13.614219025206921, 3.398116503993947 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s2-native", "case": 0, "sequence": 0, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 112, "centroid_error": [ 27.325379553115113, -10.742490381733887 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s3-native", "case": 0, "sequence": 0, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 19.411218123514345, -10.742490381733887 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s0-cassowary", "case": 0, "sequence": 0, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 409.75743056515427, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0003328750026412308, "status": "solved", "collateral_layers": 1, "l1": 39 }, "collateral_layers": 1, "l1": 39, "centroid_error": [ -0.10793145635426526, 0.0 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s1-cassowary", "case": 0, "sequence": 0, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 454.70301154837284, 397.649019659804, 454.70301154837284, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0003480829909676686, "status": "solved", "collateral_layers": 2, "l1": 24 }, "collateral_layers": 2, "l1": 24, "centroid_error": [ -0.06278550783611081, -0.16781519407527412 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s2-cassowary", "case": 0, "sequence": 0, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "continuous_positions": [ 120.0, 140.00000000000006, 371.2864231116644, 140.00000000000006, 679.9999999999999, 140.0, 88.0, 479.04634276358297, 440.0, 479.04634276358297, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.00032791600096970797, "status": "rounding_failed" }, "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s3-cassowary", "case": 0, "sequence": 0, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "continuous_positions": [ 120.0, 140.00000000000006, 371.2864231116645, 140.00000000000006, 680.0, 140.0, 88.0, 479.04634276358297, 440.0, 479.04634276358297, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.00020733398559968919, "status": "rounding_failed" }, "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s0-minimum_disturbance", "case": 0, "sequence": 0, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.008007708005607128, "minimum_collateral_layers": 1, "l1": 39, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 39, "centroid_error": [ -0.10793145635426526, 0.0 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s1-minimum_disturbance", "case": 0, "sequence": 0, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 711, 121 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.003379667003173381, "minimum_collateral_layers": 1, "l1": 52, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 52, "centroid_error": [ 0.08799694761472665, 0.15519559609401767 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 711, 121 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q0-s2-minimum_disturbance", "case": 0, "sequence": 0, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 711, 121 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.00562200001149904, "minimum_collateral_layers": 2, "l1": 168, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 2, "l1": 168, "centroid_error": [ 0.22304261781744117, -0.009368522094007403 ], "committed": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q0-s3-minimum_disturbance", "case": 0, "sequence": 0, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0025251659972127527, "minimum_collateral_layers": 0, "l1": 0, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.22304261781744117, -0.009368522094007403 ], "committed": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q1-s0-native", "case": 0, "sequence": 1, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 64, "centroid_error": [ -7.632288752234842, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s1-native", "case": 0, "sequence": 1, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 64, "centroid_error": [ 6.723986100295235, 7.028048621451148 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s2-native", "case": 0, "sequence": 1, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 112, "centroid_error": [ 19.9957829472379, -7.040118527068728 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s3-native", "case": 0, "sequence": 1, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 27.35621299664183, -7.040118527068728 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s0-cassowary", "case": 0, "sequence": 1, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 422.24256943484585, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00031279200629796833, "status": "solved", "collateral_layers": 1, "l1": 39 }, "collateral_layers": 1, "l1": 39, "centroid_error": [ 0.10793145635420842, 0.0 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s1-cassowary", "case": 0, "sequence": 1, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": null, "accepted": false, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 448.8268407100505, 393.4600530057689, 448.8268407100505, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.0003726249997271225, "status": "rounding_failed" }, "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s2-cassowary", "case": 0, "sequence": 1, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "continuous_positions": [ 56.0, 140.00000000000003, 356.9946926760812, 140.00000000000003, 679.9999999999999, 140.0, 88.0, 472.0486674843748, 440.0, 472.0486674843748, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.00023883300309535116, "status": "rounding_failed" }, "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s3-cassowary", "case": 0, "sequence": 1, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "continuous_positions": [ 56.0, 140.00000000000003, 356.9946926760812, 140.00000000000003, 679.9999999999998, 140.0, 88.0, 472.0486674843748, 439.99999999999994, 472.0486674843748, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.000204333002329804, "status": "rounding_failed" }, "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s0-minimum_disturbance", "case": 0, "sequence": 1, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.008008916993276216, "minimum_collateral_layers": 1, "l1": 39, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 39, "centroid_error": [ 0.10793145635420842, 0.0 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s1-minimum_disturbance", "case": 0, "sequence": 1, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 393, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.01216604100773111, "minimum_collateral_layers": 3, "l1": 53, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 3, "l1": 53, "centroid_error": [ 0.023690094939354367, 0.18082812567661222 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 393, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q1-s2-minimum_disturbance", "case": 0, "sequence": 1, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 393, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0030996249988675117, "minimum_collateral_layers": 2, "l1": 240, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 2, "l1": 240, "centroid_error": [ 0.1241959172056113, -0.09512793539425957 ], "committed": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q1-s3-minimum_disturbance", "case": 0, "sequence": 1, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.002842332993168384, "minimum_collateral_layers": 0, "l1": 0, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.1241959172056113, -0.09512793539425957 ], "committed": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q2-s0-native", "case": 0, "sequence": 2, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 128, "centroid_error": [ 15.264577504469571, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s1-native", "case": 0, "sequence": 2, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 128, "centroid_error": [ 32.7642584394024, 10.839760790203002 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s2-native", "case": 0, "sequence": 2, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 176, "centroid_error": [ 49.2691101058233, -3.1337550320933474 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s3-native", "case": 0, "sequence": 2, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 35.71351260338213, -3.1337550320933474 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s0-cassowary", "case": 0, "sequence": 2, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 152.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 402.98582788126885, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0003177500038873404, "status": "solved", "collateral_layers": 1, "l1": 78 }, "collateral_layers": 1, "l1": 78, "centroid_error": [ -0.21586291270853053, 0.0 ], "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s1-cassowary", "case": 0, "sequence": 2, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": null, "accepted": false, "solver": { "continuous_positions": [ 152.0, 139.99999999999997, 416.00000000000006, 139.99999999999997, 744.0, 140.0, 88.0, 442.90693051237054, 370.03833508024934, 442.90693051237054, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.0003238749923184514, "status": "rounding_failed" }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s2-cassowary", "case": 0, "sequence": 2, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.0002807079872582108 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s3-cassowary", "case": 0, "sequence": 2, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 119, 140 ], [ 344, 140 ], [ 680, 140 ], [ 16, 465 ], [ 440, 465 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 119.17926561562511, 140.0, 344.0, 140.0, 680.0, 139.99999999999997, 15.999999999999996, 464.9988507007864, 440.0, 464.9988507007864, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0001972919999388978, "status": "solved", "collateral_layers": 5, "l1": 289 }, "collateral_layers": 5, "l1": 289, "centroid_error": [ 0.24138648568856524, -0.24933698812213834 ], "committed": { "positions": [ [ 119, 140 ], [ 344, 140 ], [ 680, 140 ], [ 16, 465 ], [ 440, 465 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q2-s0-minimum_disturbance", "case": 0, "sequence": 2, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.008359667001059279, "minimum_collateral_layers": 1, "l1": 78, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 78, "centroid_error": [ -0.21586291270853053, 0.0 ], "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s1-minimum_disturbance", "case": 0, "sequence": 2, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 443 ], [ 370, 443 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.025351667005452327, "minimum_collateral_layers": 3, "l1": 67, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 3, "l1": 67, "centroid_error": [ 0.230741189096193, 0.12973889219131252 ], "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 443 ], [ 370, 443 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s2-minimum_disturbance", "case": 0, "sequence": 2, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 443 ], [ 370, 443 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0009818750113481656 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 443 ], [ 370, 443 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q2-s3-minimum_disturbance", "case": 0, "sequence": 2, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 443 ], [ 370, 443 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 119, 140 ], [ 344, 140 ], [ 680, 140 ], [ 16, 465 ], [ 440, 465 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.006844000003184192, "minimum_collateral_layers": 5, "l1": 356, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 5, "l1": 356, "centroid_error": [ 0.24138648568856524, -0.24933698812213834 ], "committed": { "positions": [ [ 119, 140 ], [ 344, 140 ], [ 680, 140 ], [ 16, 465 ], [ 440, 465 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q3-s0-native", "case": 0, "sequence": 3, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 128, "centroid_error": [ -15.264577504469685, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s1-native", "case": 0, "sequence": 3, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 128, "centroid_error": [ 0.09006790430021283, 7.028048621451148 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s2-native", "case": 0, "sequence": 3, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 176, "centroid_error": [ 12.635352897833968, -7.040118527068728 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s3-native", "case": 0, "sequence": 3, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 27.35621299664183, -7.040118527068728 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s0-cassowary", "case": 0, "sequence": 3, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 429.01417211873127, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00030654200236313045, "status": "solved", "collateral_layers": 1, "l1": 78 }, "collateral_layers": 1, "l1": 78, "centroid_error": [ 0.2158629127084737, 0.0 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s1-cassowary", "case": 0, "sequence": 3, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": null, "accepted": false, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 448.8268407100505, 397.56644643231493, 448.8268407100505, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.0004200420080451295, "status": "rounding_failed" }, "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s2-cassowary", "case": 0, "sequence": 3, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "continuous_positions": [ 24.0, 140.00000000000003, 371.004703440458, 140.00000000000003, 680.0, 139.99999999999997, 88.0, 472.0486674843748, 439.99999999999994, 472.0486674843748, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.00028920899785589427, "status": "rounding_failed" }, "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s3-cassowary", "case": 0, "sequence": 3, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "continuous_positions": [ 24.0, 140.00000000000003, 371.004703440458, 140.00000000000003, 680.0, 139.99999999999997, 88.0, 472.0486674843748, 440.0, 472.0486674843748, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.00020854099420830607, "status": "rounding_failed" }, "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s0-minimum_disturbance", "case": 0, "sequence": 3, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.007789750001393259, "minimum_collateral_layers": 1, "l1": 78, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 78, "centroid_error": [ 0.2158629127084737, 0.0 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s1-minimum_disturbance", "case": 0, "sequence": 3, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 397, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.012419791004504077, "minimum_collateral_layers": 3, "l1": 56, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 3, "l1": 56, "centroid_error": [ -0.028647105250172444, 0.18082812567661222 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 397, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] } }, { "id": "c0-q3-s2-minimum_disturbance", "case": 0, "sequence": 3, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 397, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.00468979099241551, "minimum_collateral_layers": 2, "l1": 212, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 2, "l1": 212, "centroid_error": [ 0.19323489341695677, -0.08413098297637589 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c0-q3-s3-minimum_disturbance", "case": 0, "sequence": 3, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0023708749940851703, "minimum_collateral_layers": 0, "l1": 0, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.19323489341695677, -0.08413098297637589 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q0-s0-native", "case": 1, "sequence": 0, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 64, "centroid_error": [ 5.719294714582361, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s1-native", "case": 1, "sequence": 0, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 64, "centroid_error": [ 11.25684108356171, 8.086737774694143 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s2-native", "case": 1, "sequence": 0, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 112, "centroid_error": [ 23.033930409256072, 5.781364930399263 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s3-native", "case": 1, "sequence": 0, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 18.118020729217847, 5.781364930399263 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s0-cassowary", "case": 1, "sequence": 0, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 77.19605738942492, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00030354199407156557, "status": "solved", "collateral_layers": 1, "l1": 43 }, "collateral_layers": 1, "l1": 43, "centroid_error": [ 0.15735110232634497, 0.0 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s1-cassowary", "case": 1, "sequence": 0, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 66.25101386641583, 446.76712960135467, 416.0, 446.76712960135467, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.000305499997921288, "status": "solved", "collateral_layers": 2, "l1": 39 }, "collateral_layers": 2, "l1": 39, "centroid_error": [ 0.12730829718969972, -0.20430759494462336 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s2-cassowary", "case": 1, "sequence": 0, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 66.09192796856772, 449.6695600961732, 440.0, 449.6695600961732, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0003436660044826567, "status": "solved", "collateral_layers": 1, "l1": 33 }, "collateral_layers": 1, "l1": 33, "centroid_error": [ 0.20296581547557935, -0.05707465837855352 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q0-s3-cassowary", "case": 1, "sequence": 0, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 67.0, 450.0, 440.0, 450.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.0002606250054668635, "status": "solved", "collateral_layers": 0, "l1": 0 }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.20296581547557935, -0.05707465837855352 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q0-s0-minimum_disturbance", "case": 1, "sequence": 0, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.00537116700434126, "minimum_collateral_layers": 1, "l1": 43, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 43, "centroid_error": [ 0.15735110232634497, 0.0 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s1-minimum_disturbance", "case": 1, "sequence": 0, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.004979541990906, "minimum_collateral_layers": 2, "l1": 39, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 2, "l1": 39, "centroid_error": [ 0.12730829718969972, -0.20430759494462336 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q0-s2-minimum_disturbance", "case": 1, "sequence": 0, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.003131040997686796, "minimum_collateral_layers": 1, "l1": 33, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 33, "centroid_error": [ 0.20296581547557935, -0.05707465837855352 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q0-s3-minimum_disturbance", "case": 1, "sequence": 0, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.00247424999543, "minimum_collateral_layers": 0, "l1": 0, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.20296581547557935, -0.05707465837855352 ], "committed": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q1-s0-native", "case": 1, "sequence": 1, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 64, "centroid_error": [ -5.719294714582361, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s1-native", "case": 1, "sequence": 1, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 64, "centroid_error": [ 9.589952802515256, 16.830788051890522 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s2-native", "case": 1, "sequence": 1, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 112, "centroid_error": [ 21.764385684415856, 14.626841187480863 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s3-native", "case": 1, "sequence": 1, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 25.6849043737825, 14.626841187480863 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s0-cassowary", "case": 1, "sequence": 1, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 55.99999999999999, 140.0, 416.0, 140.0, 744.0, 140.0, 98.80394261057509, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0003300829994259402, "status": "solved", "collateral_layers": 1, "l1": 43 }, "collateral_layers": 1, "l1": 43, "centroid_error": [ -0.15735110232634497, 0.0 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s1-cassowary", "case": 1, "sequence": 1, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 68, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 110.95943768410943, 68.78541046836976, 440.00000000000006, 416.0, 440.00000000000006, 744.0, 460.0 ], "roundings_checked": 4, "valid_roundings": 1, "seconds": 0.00030929199419915676, "status": "solved", "collateral_layers": 3, "l1": 101 }, "collateral_layers": 3, "l1": 101, "centroid_error": [ -0.1477113224567006, 0.10759995417140544 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 68, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s2-cassowary", "case": 1, "sequence": 1, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 68, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 110.0, 68.66185737618063, 442.93504501951895, 440.0, 442.93504501951895, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.00034625000262167305, "status": "solved", "collateral_layers": 1, "l1": 31 }, "collateral_layers": 1, "l1": 31, "centroid_error": [ -0.07512816222583751, -0.21068266479016984 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q1-s3-cassowary", "case": 1, "sequence": 1, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 110.0, 69.0, 443.0, 440.0, 443.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.0002670840040082112, "status": "solved", "collateral_layers": 0, "l1": 0 }, "collateral_layers": 0, "l1": 0, "centroid_error": [ -0.07512816222583751, -0.21068266479016984 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q1-s0-minimum_disturbance", "case": 1, "sequence": 1, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.004759292001836002, "minimum_collateral_layers": 1, "l1": 43, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 43, "centroid_error": [ -0.15735110232634497, 0.0 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s1-minimum_disturbance", "case": 1, "sequence": 1, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.005816290999064222, "minimum_collateral_layers": 3, "l1": 101, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 3, "l1": 101, "centroid_error": [ 0.21024220959799322, 0.10759995417140544 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q1-s2-minimum_disturbance", "case": 1, "sequence": 1, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.003173042001435533, "minimum_collateral_layers": 1, "l1": 30, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 30, "centroid_error": [ -0.22670821118538242, -0.21068266479016984 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q1-s3-minimum_disturbance", "case": 1, "sequence": 1, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0025575409963494167, "minimum_collateral_layers": 0, "l1": 0, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 0, "l1": 0, "centroid_error": [ -0.22670821118538242, -0.21068266479016984 ], "committed": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q2-s0-native", "case": 1, "sequence": 2, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 128, "centroid_error": [ 11.438589429164722, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s1-native", "case": 1, "sequence": 2, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 128, "centroid_error": [ 26.504306335654974, 26.207760281678134 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s2-native", "case": 1, "sequence": 2, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 176, "centroid_error": [ 39.51594971006216, 24.12714718824361 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s3-native", "case": 1, "sequence": 2, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 33.812571417389165, 24.12714718824361 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s0-cassowary", "case": 1, "sequence": 2, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 152.0, 140.0, 416.0, 140.0, 744.0, 140.0, 65.86308152981032, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0002754159941105172, "status": "solved", "collateral_layers": 1, "l1": 87 }, "collateral_layers": 1, "l1": 87, "centroid_error": [ -0.15785788576482673, 0.0 ], "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s1-cassowary", "case": 1, "sequence": 2, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00026666600024327636 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s2-cassowary", "case": 1, "sequence": 2, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00016291599604301155 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s3-cassowary", "case": 1, "sequence": 2, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.0001509160065324977 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s0-minimum_disturbance", "case": 1, "sequence": 2, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0029812499997206032, "minimum_collateral_layers": 1, "l1": 87, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 87, "centroid_error": [ -0.15785788576482673, 0.0 ], "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s1-minimum_disturbance", "case": 1, "sequence": 2, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.00101479199656751 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s2-minimum_disturbance", "case": 1, "sequence": 2, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006497919966932386 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q2-s3-minimum_disturbance", "case": 1, "sequence": 2, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.000608833011938259 }, "committed": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s0-native", "case": 1, "sequence": 3, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 128, "centroid_error": [ -11.438589429164722, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s1-native", "case": 1, "sequence": 3, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 128, "centroid_error": [ 5.751158494341496, 16.830788051890522 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s2-native", "case": 1, "sequence": 3, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 176, "centroid_error": [ 17.84386699504921, 14.626841187480863 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s3-native", "case": 1, "sequence": 3, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 25.6849043737825, 14.626841187480863 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s0-cassowary", "case": 1, "sequence": 3, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 23.999999999999993, 140.0, 416.0, 140.0, 744.0, 140.0, 110.13691847018977, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00027320800290908664, "status": "solved", "collateral_layers": 1, "l1": 87 }, "collateral_layers": 1, "l1": 87, "centroid_error": [ 0.15785788576482673, 0.0 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s1-cassowary", "case": 1, "sequence": 3, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 110.95943768410937, 75.59654702569054, 440.00000000000006, 416.0, 440.00000000000006, 744.0, 460.0 ], "roundings_checked": 4, "valid_roundings": 1, "seconds": 0.00033487500331830233, "status": "solved", "collateral_layers": 3, "l1": 106 }, "collateral_layers": 3, "l1": 106, "centroid_error": [ -0.05207581392113525, 0.10759995417140544 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s2-cassowary", "case": 1, "sequence": 3, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 110.0, 75.47299393350129, 442.93504501951895, 440.0, 442.93504501951895, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.00028987499536015093, "status": "solved", "collateral_layers": 1, "l1": 31 }, "collateral_layers": 1, "l1": 31, "centroid_error": [ 0.022543337854926904, -0.21068266479016984 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q3-s3-cassowary", "case": 1, "sequence": 3, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 110.0, 76.0, 443.0, 440.0, 443.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.00025608300347812474, "status": "solved", "collateral_layers": 0, "l1": 0 }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.022543337854926904, -0.21068266479016984 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q3-s0-minimum_disturbance", "case": 1, "sequence": 3, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0030123750038910657, "minimum_collateral_layers": 1, "l1": 87, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 87, "centroid_error": [ 0.15785788576482673, 0.0 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s1-minimum_disturbance", "case": 1, "sequence": 3, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0059044590016128495, "minimum_collateral_layers": 3, "l1": 106, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 3, "l1": 106, "centroid_error": [ -0.05207581392113525, 0.10759995417140544 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] } }, { "id": "c1-q3-s2-minimum_disturbance", "case": 1, "sequence": 3, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.002923874999396503, "minimum_collateral_layers": 1, "l1": 31, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 1, "l1": 31, "centroid_error": [ 0.022543337854926904, -0.21068266479016984 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c1-q3-s3-minimum_disturbance", "case": 1, "sequence": 3, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0026487909926800057, "minimum_collateral_layers": 0, "l1": 0, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 0, "l1": 0, "centroid_error": [ 0.022543337854926904, -0.21068266479016984 ], "committed": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] } }, { "id": "c2-q0-s0-native", "case": 2, "sequence": 0, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 64, "centroid_error": [ 18.648333137275927, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s1-native", "case": 2, "sequence": 0, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 64, "centroid_error": [ 43.31073577549597, 10.04660047125168 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s2-native", "case": 2, "sequence": 0, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 120, 140 ], [ 448, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 112, "centroid_error": [ 45.43963536824515, 2.761299947604982 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s3-native", "case": 2, "sequence": 0, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 27.533291204118996, 2.761299947604982 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s0-cassowary", "case": 2, "sequence": 0, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 120.0, 140.0, 390.39190129249295, 140.0, 744.0, 140.0, 88.0, 460.0, 344.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0002884999994421378, "status": "solved", "collateral_layers": 2, "l1": 130 }, "collateral_layers": 2, "l1": 130, "centroid_error": [ 0.20681235211094418, 0.0 ], "committed": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s1-cassowary", "case": 2, "sequence": 0, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00032712500251363963 }, "committed": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s2-cassowary", "case": 2, "sequence": 0, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00018929199723061174 }, "committed": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s3-cassowary", "case": 2, "sequence": 0, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 33, 135 ], [ 390, 135 ], [ 744, 140 ], [ 88, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 33.3258411461782, 135.5121158408003, 390.0, 135.5121158408003, 744.0, 140.0, 88.0, 460.0, 440.0, 460.0, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.00022079098562244326, "status": "solved", "collateral_layers": 3, "l1": 193 }, "collateral_layers": 3, "l1": 193, "centroid_error": [ 0.10884732441343203, -0.036566328039725704 ], "committed": { "positions": [ [ 33, 135 ], [ 390, 135 ], [ 744, 140 ], [ 88, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c2-q0-s0-minimum_disturbance", "case": 2, "sequence": 0, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [ 0 ], "state": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.004644125001505017, "minimum_collateral_layers": 2, "l1": 130, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 2, "l1": 130, "centroid_error": [ 0.20681235211094418, 0.0 ], "committed": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s1-minimum_disturbance", "case": 2, "sequence": 0, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "1", "1" ], "destinations": { "0": 120 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0009407920006196946 }, "committed": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s2-minimum_disturbance", "case": 2, "sequence": 0, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 120, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006100840109866112 }, "committed": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q0-s3-minimum_disturbance", "case": 2, "sequence": 0, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.8", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 33, 135 ], [ 390, 135 ], [ 744, 140 ], [ 88, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.006610708005609922, "minimum_collateral_layers": 3, "l1": 193, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 3, "l1": 193, "centroid_error": [ 0.10884732441343203, -0.036566328039725704 ], "committed": { "positions": [ [ 33, 135 ], [ 390, 135 ], [ 744, 140 ], [ 88, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] } }, { "id": "c2-q1-s0-native", "case": 2, "sequence": 1, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 64, "centroid_error": [ -18.648333137275984, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s1-native", "case": 2, "sequence": 1, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 64, "centroid_error": [ 42.49808720453723, 22.36958700719987 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s2-native", "case": 2, "sequence": 1, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 56, 140 ], [ 384, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 112, "centroid_error": [ 44.85037697648943, 14.727088165386988 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s3-native", "case": 2, "sequence": 1, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 61.04822370061504, 14.727088165386988 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s0-cassowary", "case": 2, "sequence": 1, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "continuous_positions": [ 56.00000000000001, 140.0, 441.60809870750774, 140.0, 744.0, 140.0, 88.0, 460.0, 488.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00026787500246427953, "status": "solved", "collateral_layers": 2, "l1": 130 }, "collateral_layers": 2, "l1": 130, "centroid_error": [ -0.20681235211100102, 0.0 ], "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s1-cassowary", "case": 2, "sequence": 1, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.0003460830048425123 }, "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s2-cassowary", "case": 2, "sequence": 1, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00021795800421386957 }, "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s3-cassowary", "case": 2, "sequence": 1, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00019920799240935594 }, "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s0-minimum_disturbance", "case": 2, "sequence": 1, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [ 0 ], "state": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": true, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.008506624988513067, "minimum_collateral_layers": 2, "l1": 130, "mip_gap": 0.0, "certificate": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "one_fewer_infeasible": true } }, "collateral_layers": 2, "l1": 130, "centroid_error": [ -0.20681235211100102, 0.0 ], "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s1-minimum_disturbance", "case": 2, "sequence": 1, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 56 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0009112910047406331 }, "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s2-minimum_disturbance", "case": 2, "sequence": 1, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 56, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0007525419932790101 }, "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q1-s3-minimum_disturbance", "case": 2, "sequence": 1, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006312500045169145 }, "committed": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s0-native", "case": 2, "sequence": 2, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 128, "centroid_error": [ 37.29666627455185, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s1-native", "case": 2, "sequence": 2, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 128, "centroid_error": [ 125.22101703736826, 37.96920707161081 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s2-native", "case": 2, "sequence": 2, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 152, 140 ], [ 480, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 176, "centroid_error": [ 131.91730841328172, 30.02802865822531 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s3-native", "case": 2, "sequence": 2, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 103.89073770141442, 30.02802865822531 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s0-cassowary", "case": 2, "sequence": 2, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00033883299329318106 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s1-cassowary", "case": 2, "sequence": 2, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00016141700325533748 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s2-cassowary", "case": 2, "sequence": 2, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.0001471659925300628 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s3-cassowary", "case": 2, "sequence": 2, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00015629200788680464 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s0-minimum_disturbance", "case": 2, "sequence": 2, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [ 0 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0011315830051898956 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s1-minimum_disturbance", "case": 2, "sequence": 2, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "1", "1" ], "destinations": { "0": 152 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006552499980898574 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s2-minimum_disturbance", "case": 2, "sequence": 2, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 152, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005898340023122728 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q2-s3-minimum_disturbance", "case": 2, "sequence": 2, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.4", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005477499944390729 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s0-native", "case": 2, "sequence": 3, "step": 0, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 1, "l1": 128, "centroid_error": [ -37.29666627455197, 0.0 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s1-native", "case": 2, "sequence": 3, "step": 1, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 128, "centroid_error": [ 26.963283642147076, 22.36958700719987 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s2-native", "case": 2, "sequence": 3, "step": 2, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": { "positions": [ [ 24, 140 ], [ 352, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 3, "l1": 176, "centroid_error": [ 28.652530252363874, 14.727088165386988 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s3-native", "case": 2, "sequence": 3, "step": 3, "method": "native", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 112, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "accepted": false, "solver": { "status": "direct_transforms", "seconds": 0 }, "collateral_layers": 2, "l1": 48, "centroid_error": [ 61.04822370061504, 14.727088165386988 ], "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s0-cassowary", "case": 2, "sequence": 3, "step": 0, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.0003152090066578239 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s1-cassowary", "case": 2, "sequence": 3, "step": 1, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00023012500605545938 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s2-cassowary", "case": 2, "sequence": 3, "step": 2, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.0020414169994182885 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s3-cassowary", "case": 2, "sequence": 3, "step": 3, "method": "cassowary", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": "continuous_infeasible", "seconds": 0.00022570799046661705 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s0-minimum_disturbance", "case": 2, "sequence": 3, "step": 0, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "1", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [ 0 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0009255839977413416 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s1-minimum_disturbance", "case": 2, "sequence": 3, "step": 1, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "1", "1" ], "destinations": { "0": 24 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006050830124877393 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s2-minimum_disturbance", "case": 2, "sequence": 3, "step": 2, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "0": 24, "4": 440 }, "explicit": [ 4 ], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0007438750035362318 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } }, { "id": "c2-q3-s3-minimum_disturbance", "case": 2, "sequence": 3, "step": 3, "method": "minimum_disturbance", "previous": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "levels": [ "0.6", "1", "1", "1", "0.8", "1" ], "destinations": { "4": 440 }, "explicit": [], "state": null, "accepted": false, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005729580007027835 }, "committed": { "positions": [ [ 88, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] } } ], "paired_diagnostics": [ { "request": "c0-q0-s0-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 409, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 409.7574305651542, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0003105420037172735, "status": "solved", "collateral_layers": 1, "l1": 39 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 39, "collateral_layers": 1, "l1": 39, "id": "c0-q0-s0-minimum_disturbance-paired-cassowary" }, { "request": "c0-q0-s0-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 415, 140 ], [ 744, 140 ], [ 88, 460 ], [ 410, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.011999041002127342, "collateral_layers": 2, "l1": 39, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 39, "collateral_layers": 2, "l1": 39, "id": "c0-q0-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q0-s1-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 454 ], [ 397, 454 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 454.7030115483728, 397.64901965980397, 454.7030115483728, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0003629580023698509, "status": "solved", "collateral_layers": 2, "l1": 24 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 52, "collateral_layers": 2, "l1": 24, "id": "c0-q0-s1-minimum_disturbance-paired-cassowary" }, { "request": "c0-q0-s1-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 743, 138 ], [ 88, 455 ], [ 398, 455 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.010704832995543256, "collateral_layers": 3, "l1": 24, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 52, "collateral_layers": 3, "l1": 24, "id": "c0-q0-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q0-s2-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 371, 140 ], [ 680, 121 ], [ 88, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 371.28642311166436, 140.0, 680.0, 121.0, 88.0, 485.5631971590001, 440.0, 485.5631971590001, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0003933749976567924, "status": "solved", "collateral_layers": 3, "l1": 159 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 168, "collateral_layers": 3, "l1": 159, "id": "c0-q0-s2-minimum_disturbance-paired-cassowary" }, { "request": "c0-q0-s2-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 371, 140 ], [ 680, 121 ], [ 88, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.006862291993456893, "collateral_layers": 3, "l1": 159, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 168, "collateral_layers": 3, "l1": 159, "id": "c0-q0-s2-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q0-s3-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 344.0, 140.0, 711.0, 121.0, 75.0, 486.0, 440.0, 486.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.0003200409992132336, "status": "solved", "collateral_layers": 0, "l1": 0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c0-q0-s3-minimum_disturbance-paired-cassowary" }, { "request": "c0-q0-s3-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 344, 140 ], [ 711, 121 ], [ 75, 486 ], [ 440, 486 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.00149125000461936, "collateral_layers": 0, "l1": 0, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c0-q0-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q1-s0-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 423, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 422.24256943484585, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0002998330019181594, "status": "solved", "collateral_layers": 1, "l1": 39 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 39, "collateral_layers": 1, "l1": 39, "id": "c0-q1-s0-minimum_disturbance-paired-cassowary" }, { "request": "c0-q1-s0-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 417, 140 ], [ 744, 140 ], [ 88, 460 ], [ 422, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.01240624999627471, "collateral_layers": 2, "l1": 39, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 39, "collateral_layers": 2, "l1": 39, "id": "c0-q1-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q1-s1-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": null, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 448.8268407100505, 393.4600530057689, 448.8268407100505, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.0003145420050714165, "status": "rounding_failed" }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 53 }, { "request": "c0-q1-s1-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 393, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.009972332991310395, "collateral_layers": 3, "l1": 53, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 53, "collateral_layers": 3, "l1": 53, "id": "c0-q1-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q1-s2-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 356, 140 ], [ 680, 139 ], [ 88, 473 ], [ 440, 473 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 56.0, 140.00000000000003, 356.9946926760812, 140.00000000000003, 680.0, 139.0, 88.0, 472.39165982097563, 440.0, 472.39165982097563, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0004831670084968209, "status": "solved", "collateral_layers": 3, "l1": 219 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 240, "collateral_layers": 3, "l1": 219, "id": "c0-q1-s2-minimum_disturbance-paired-cassowary" }, { "request": "c0-q1-s2-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 356, 140 ], [ 680, 141 ], [ 88, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.007015124996541999, "collateral_layers": 3, "l1": 219, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 240, "collateral_layers": 3, "l1": 219, "id": "c0-q1-s2-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q1-s3-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 56.0, 140.0, 355.0, 140.0, 681.0, 208.0, 88.0, 449.0, 440.0, 449.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.00022929199622012675, "status": "solved", "collateral_layers": 0, "l1": 0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c0-q1-s3-minimum_disturbance-paired-cassowary" }, { "request": "c0-q1-s3-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 355, 140 ], [ 681, 208 ], [ 88, 449 ], [ 440, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.001404541006195359, "collateral_layers": 0, "l1": 0, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c0-q1-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q2-s0-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 402, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 152.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 402.98582788126885, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0003260829980717972, "status": "solved", "collateral_layers": 1, "l1": 78 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 78, "collateral_layers": 1, "l1": 78, "id": "c0-q2-s0-minimum_disturbance-paired-cassowary" }, { "request": "c0-q2-s0-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 152, 140 ], [ 415, 140 ], [ 744, 140 ], [ 88, 460 ], [ 403, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.01199912499578204, "collateral_layers": 2, "l1": 78, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 78, "collateral_layers": 2, "l1": 78, "id": "c0-q2-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q2-s1-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": null, "solver": { "continuous_positions": [ 152.0, 140.0, 416.00000000000006, 140.0, 744.0, 140.0, 88.0, 442.9069305123705, 370.03833508024934, 442.9069305123705, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.0003344160068081692, "status": "rounding_failed" }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 67 }, { "request": "c0-q2-s1-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 443 ], [ 370, 443 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.019340790997375734, "collateral_layers": 3, "l1": 67, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 67, "collateral_layers": 3, "l1": 67, "id": "c0-q2-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q2-s2-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00031358299020212144 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c0-q2-s2-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006585419905604795 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c0-q2-s3-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 119, 140 ], [ 344, 140 ], [ 680, 139 ], [ 16, 466 ], [ 440, 466 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 119.17926561562457, 140.0, 344.0, 140.0, 680.0, 139.0, 15.999999999999996, 465.3418430373874, 440.0, 465.3418430373874, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0004012080025859177, "status": "solved", "collateral_layers": 5, "l1": 357 }, "candidate_accepted": true, "candidate_collateral": 5, "candidate_l1": 356, "collateral_layers": 5, "l1": 357, "id": "c0-q2-s3-minimum_disturbance-paired-cassowary" }, { "request": "c0-q2-s3-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 119, 140 ], [ 344, 140 ], [ 680, 140 ], [ 16, 465 ], [ 440, 465 ], [ 744, 460 ] ], "levels": [ "0.4", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0057971659989561886, "collateral_layers": 5, "l1": 356, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 5, "candidate_l1": 356, "collateral_layers": 5, "l1": 356, "id": "c0-q2-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q3-s0-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 88, 460 ], [ 430, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 23.999999999999993, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 460.0, 429.01417211873127, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0004057080077473074, "status": "solved", "collateral_layers": 1, "l1": 78 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 78, "collateral_layers": 1, "l1": 78, "id": "c0-q3-s0-minimum_disturbance-paired-cassowary" }, { "request": "c0-q3-s0-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 417, 140 ], [ 744, 140 ], [ 88, 460 ], [ 429, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.01233391699497588, "collateral_layers": 2, "l1": 78, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 78, "collateral_layers": 2, "l1": 78, "id": "c0-q3-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q3-s1-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": null, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 140.0, 88.0, 448.8268407100505, 397.56644643231493, 448.8268407100505, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 0, "seconds": 0.00043091599945910275, "status": "rounding_failed" }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 56 }, { "request": "c0-q3-s1-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 139 ], [ 88, 449 ], [ 397, 449 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.009719082998344675, "collateral_layers": 3, "l1": 56, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 56, "collateral_layers": 3, "l1": 56, "id": "c0-q3-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q3-s2-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 371, 140 ], [ 680, 139 ], [ 88, 473 ], [ 440, 473 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 24.0, 139.99999999999997, 371.00470344045783, 139.99999999999997, 680.0, 139.00000000000003, 88.0, 472.3916598209757, 440.0, 472.3916598209757, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.00027983300969935954, "status": "solved", "collateral_layers": 3, "l1": 200 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 212, "collateral_layers": 3, "l1": 200, "id": "c0-q3-s2-minimum_disturbance-paired-cassowary" }, { "request": "c0-q3-s2-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 371, 140 ], [ 680, 141 ], [ 88, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.006769999992684461, "collateral_layers": 3, "l1": 200, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 212, "collateral_layers": 3, "l1": 200, "id": "c0-q3-s2-minimum_disturbance-paired-integer_l1" }, { "request": "c0-q3-s3-minimum_disturbance", "case": 0, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 680.0, 141.0, 31.0, 472.0, 440.0, 472.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.00029908400028944016, "status": "solved", "collateral_layers": 0, "l1": 0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c0-q3-s3-minimum_disturbance-paired-cassowary" }, { "request": "c0-q3-s3-minimum_disturbance", "case": 0, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 680, 141 ], [ 31, 472 ], [ 440, 472 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0015764580020913854, "collateral_layers": 0, "l1": 0, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c0-q3-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q0-s0-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 77.19605738942492, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00028700000257231295, "status": "solved", "collateral_layers": 1, "l1": 43 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 43, "collateral_layers": 1, "l1": 43, "id": "c1-q0-s0-minimum_disturbance-paired-cassowary" }, { "request": "c1-q0-s0-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 77, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.013560749997850507, "collateral_layers": 1, "l1": 43, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 43, "collateral_layers": 1, "l1": 43, "id": "c1-q0-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q0-s1-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 66, 446 ], [ 416, 446 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 66.25101386641585, 446.76712960135467, 416.0, 446.76712960135467, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.00035474999458529055, "status": "solved", "collateral_layers": 2, "l1": 39 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 39, "collateral_layers": 2, "l1": 39, "id": "c1-q0-s1-minimum_disturbance-paired-cassowary" }, { "request": "c1-q0-s1-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 139 ], [ 66, 447 ], [ 416, 447 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.010995750009897165, "collateral_layers": 3, "l1": 38, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 39, "collateral_layers": 3, "l1": 38, "id": "c1-q0-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q0-s2-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.00000000000003, 416.0, 140.00000000000003, 744.0, 140.0, 66.09192796856773, 449.6695600961732, 440.0, 449.6695600961732, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0003283339901827276, "status": "solved", "collateral_layers": 1, "l1": 33 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 33, "collateral_layers": 1, "l1": 33, "id": "c1-q0-s2-minimum_disturbance-paired-cassowary" }, { "request": "c1-q0-s2-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 745, 140 ], [ 66, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.009299709010520019, "collateral_layers": 2, "l1": 33, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 33, "collateral_layers": 2, "l1": 33, "id": "c1-q0-s2-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q0-s3-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 416.0, 140.0, 744.0, 140.0, 67.0, 450.0, 440.0, 450.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.00034433300606906414, "status": "solved", "collateral_layers": 0, "l1": 0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c1-q0-s3-minimum_disturbance-paired-cassowary" }, { "request": "c1-q0-s3-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 416, 140 ], [ 744, 140 ], [ 67, 450 ], [ 440, 450 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0015846250025788322, "collateral_layers": 0, "l1": 0, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c1-q0-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q1-s0-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 55.99999999999999, 140.0, 416.0, 140.0, 744.0, 140.0, 98.80394261057512, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00026729199453257024, "status": "solved", "collateral_layers": 1, "l1": 43 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 43, "collateral_layers": 1, "l1": 43, "id": "c1-q1-s0-minimum_disturbance-paired-cassowary" }, { "request": "c1-q1-s0-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 140 ], [ 99, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.011757584012229927, "collateral_layers": 1, "l1": 43, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 43, "collateral_layers": 1, "l1": 43, "id": "c1-q1-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q1-s1-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 744, 110 ], [ 68, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 744.0, 110.95943768410909, 68.78541046836978, 440.00000000000006, 416.0, 440.0, 744.0, 460.0 ], "roundings_checked": 4, "valid_roundings": 1, "seconds": 0.00035329200909473, "status": "solved", "collateral_layers": 3, "l1": 101 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 101, "collateral_layers": 3, "l1": 101, "id": "c1-q1-s1-minimum_disturbance-paired-cassowary" }, { "request": "c1-q1-s1-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.009257625002646819, "collateral_layers": 3, "l1": 101, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 101, "collateral_layers": 3, "l1": 101, "id": "c1-q1-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q1-s2-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 56.0, 139.99999999999997, 416.0, 139.99999999999997, 743.0, 110.0, 69.0, 442.9350450195189, 440.00000000000006, 442.9350450195189, 744.0, 460.0 ], "roundings_checked": 4, "valid_roundings": 1, "seconds": 0.00035745899367611855, "status": "solved", "collateral_layers": 1, "l1": 30 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 30, "collateral_layers": 1, "l1": 30, "id": "c1-q1-s2-minimum_disturbance-paired-cassowary" }, { "request": "c1-q1-s2-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.008289292003610171, "collateral_layers": 1, "l1": 30, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 30, "collateral_layers": 1, "l1": 30, "id": "c1-q1-s2-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q1-s3-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 56.0, 140.0, 416.0, 140.0, 743.0, 110.0, 69.0, 443.0, 440.0, 443.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.00022370798978954554, "status": "solved", "collateral_layers": 0, "l1": 0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c1-q1-s3-minimum_disturbance-paired-cassowary" }, { "request": "c1-q1-s3-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 416, 140 ], [ 743, 110 ], [ 69, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0015984589990694076, "collateral_layers": 0, "l1": 0, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c1-q1-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q2-s0-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 744, 140 ], [ 65, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 152.0, 140.0, 416.0, 140.0, 744.0, 140.0, 65.86308152981029, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0002973749942611903, "status": "solved", "collateral_layers": 1, "l1": 87 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 87, "collateral_layers": 1, "l1": 87, "id": "c1-q2-s0-minimum_disturbance-paired-cassowary" }, { "request": "c1-q2-s0-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 152, 140 ], [ 416, 140 ], [ 743, 140 ], [ 66, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.012733083000057377, "collateral_layers": 2, "l1": 87, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 87, "collateral_layers": 2, "l1": 87, "id": "c1-q2-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q2-s1-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00025791701045818627 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c1-q2-s1-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006861250003566965 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c1-q2-s2-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.000273083001957275 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c1-q2-s2-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0008499999967170879 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c1-q2-s3-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00019337500270921737 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c1-q2-s3-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006058330036466941 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c1-q3-s0-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 140 ], [ 111, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 23.999999999999993, 140.0, 416.0, 140.0, 744.0, 140.0, 110.13691847018977, 460.0, 416.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00034741700801532716, "status": "solved", "collateral_layers": 1, "l1": 87 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 87, "collateral_layers": 1, "l1": 87, "id": "c1-q3-s0-minimum_disturbance-paired-cassowary" }, { "request": "c1-q3-s0-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 745, 140 ], [ 110, 460 ], [ 416, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.013141916992026381, "collateral_layers": 2, "l1": 87, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 87, "collateral_layers": 2, "l1": 87, "id": "c1-q3-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q3-s1-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 110.95943768410923, 75.59654702569054, 440.0, 416.0, 440.0, 744.0, 460.0 ], "roundings_checked": 4, "valid_roundings": 1, "seconds": 0.0003423750022193417, "status": "solved", "collateral_layers": 3, "l1": 106 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 106, "collateral_layers": 3, "l1": 106, "id": "c1-q3-s1-minimum_disturbance-paired-cassowary" }, { "request": "c1-q3-s1-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 75, 440 ], [ 416, 440 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.008056916994974017, "collateral_layers": 3, "l1": 106, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 106, "collateral_layers": 3, "l1": 106, "id": "c1-q3-s1-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q3-s2-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 110.0, 75.47299393350126, 442.93504501951895, 440.0, 442.93504501951895, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.00030891699134372175, "status": "solved", "collateral_layers": 1, "l1": 31 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 31, "collateral_layers": 1, "l1": 31, "id": "c1-q3-s2-minimum_disturbance-paired-cassowary" }, { "request": "c1-q3-s2-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.007847582994145341, "collateral_layers": 1, "l1": 31, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 1, "candidate_l1": 31, "collateral_layers": 1, "l1": 31, "id": "c1-q3-s2-minimum_disturbance-paired-integer_l1" }, { "request": "c1-q3-s3-minimum_disturbance", "case": 1, "comparator": "cassowary", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 24.0, 140.0, 416.0, 140.0, 744.0, 110.0, 76.0, 443.0, 440.0, 443.0, 744.0, 460.0 ], "roundings_checked": 1, "valid_roundings": 1, "seconds": 0.0003445000038482249, "status": "solved", "collateral_layers": 0, "l1": 0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c1-q3-s3-minimum_disturbance-paired-cassowary" }, { "request": "c1-q3-s3-minimum_disturbance", "case": 1, "comparator": "integer_l1", "state": { "positions": [ [ 24, 140 ], [ 416, 140 ], [ 744, 110 ], [ 76, 443 ], [ 440, 443 ], [ 744, 460 ] ], "levels": [ "0.6", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.0013816669961670414, "collateral_layers": 0, "l1": 0, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 0, "candidate_l1": 0, "collateral_layers": 0, "l1": 0, "id": "c1-q3-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c2-q0-s0-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 120.0, 140.0, 390.3919012924929, 140.0, 744.0, 140.0, 88.0, 460.0, 344.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.00028745799500029534, "status": "solved", "collateral_layers": 2, "l1": 130 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 130, "collateral_layers": 2, "l1": 130, "id": "c2-q0-s0-minimum_disturbance-paired-cassowary" }, { "request": "c2-q0-s0-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": { "positions": [ [ 120, 140 ], [ 390, 140 ], [ 744, 140 ], [ 88, 460 ], [ 344, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.01102841600368265, "collateral_layers": 2, "l1": 130, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 130, "collateral_layers": 2, "l1": 130, "id": "c2-q0-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c2-q0-s1-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00026433300809003413 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q0-s1-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006462909950641915 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q0-s2-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00020024999685119838 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q0-s2-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005914579960517585 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q0-s3-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": { "positions": [ [ 33, 135 ], [ 390, 135 ], [ 744, 140 ], [ 88, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "continuous_positions": [ 33.3258411461782, 135.51211584080028, 390.0, 135.51211584080028, 744.0, 140.0, 88.0, 460.0, 440.0, 460.0, 744.0, 460.0 ], "roundings_checked": 8, "valid_roundings": 1, "seconds": 0.0002743749937508255, "status": "solved", "collateral_layers": 3, "l1": 193 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 193, "collateral_layers": 3, "l1": 193, "id": "c2-q0-s3-minimum_disturbance-paired-cassowary" }, { "request": "c2-q0-s3-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": { "positions": [ [ 33, 135 ], [ 390, 135 ], [ 744, 140 ], [ 88, 460 ], [ 440, 460 ], [ 744, 460 ] ], "levels": [ "0.8", "1", "1", "1", "0.8", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.010106749992701225, "collateral_layers": 3, "l1": 193, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 3, "candidate_l1": 193, "collateral_layers": 3, "l1": 193, "id": "c2-q0-s3-minimum_disturbance-paired-integer_l1" }, { "request": "c2-q1-s0-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "continuous_positions": [ 56.0, 140.0, 441.6080987075078, 140.0, 744.0, 140.0, 88.0, 460.0, 488.0, 460.0, 744.0, 460.0 ], "roundings_checked": 2, "valid_roundings": 1, "seconds": 0.0003987499949289486, "status": "solved", "collateral_layers": 2, "l1": 130 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 130, "collateral_layers": 2, "l1": 130, "id": "c2-q1-s0-minimum_disturbance-paired-cassowary" }, { "request": "c2-q1-s0-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": { "positions": [ [ 56, 140 ], [ 442, 140 ], [ 744, 140 ], [ 88, 460 ], [ 488, 460 ], [ 744, 460 ] ], "levels": [ "1", "1", "1", "1", "1", "1" ] }, "solver": { "status": 0, "message": "Optimization terminated successfully. (HiGHS Status 7: Optimal)", "seconds": 0.010680959007004276, "collateral_layers": 2, "l1": 130, "mip_gap": 0.0 }, "candidate_accepted": true, "candidate_collateral": 2, "candidate_l1": 130, "collateral_layers": 2, "l1": 130, "id": "c2-q1-s0-minimum_disturbance-paired-integer_l1" }, { "request": "c2-q1-s1-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00030020899430382997 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q1-s1-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0010285410098731518 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q1-s2-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0003135840088361874 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q1-s2-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006838749977760017 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q1-s3-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00031458398734685034 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q1-s3-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006889999931445345 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s0-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0002547920012148097 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s0-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0007852909911889583 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s1-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00018258299678564072 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s1-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005931670020800084 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s2-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00016608300211373717 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s2-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005723750073229894 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s3-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00015395900118164718 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q2-s3-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.000538624997716397 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s0-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0002033749915426597 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s0-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006511249957839027 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s1-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.000247042000410147 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s1-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0010344999900553375 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s2-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0002561250003054738 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s2-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005992500082356855 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s3-minimum_disturbance", "case": 2, "comparator": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00024275000032503158 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null }, { "request": "c2-q3-s3-minimum_disturbance", "case": 2, "comparator": "integer_l1", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0005971659993520007 }, "candidate_accepted": false, "candidate_collateral": null, "candidate_l1": null } ], "contradictions": [ { "case": 0, "level": "0.8", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0010685839952202514 } }, { "case": 0, "level": "0.8", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00033670899574644864 } }, { "case": 0, "level": "0.6", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0007444160000886768 } }, { "case": 0, "level": "0.6", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00038041699735913426 } }, { "case": 0, "level": "0.4", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0008112500072456896 } }, { "case": 0, "level": "0.4", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0003070419916184619 } }, { "case": 1, "level": "0.8", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.00102599999809172 } }, { "case": 1, "level": "0.8", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0003572080022422597 } }, { "case": 1, "level": "0.6", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0007009170076344162 } }, { "case": 1, "level": "0.6", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.0002560419961810112 } }, { "case": 1, "level": "0.4", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006625000096391886 } }, { "case": 1, "level": "0.4", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00017225000192411244 } }, { "case": 2, "level": "0.8", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006454579997807741 } }, { "case": 2, "level": "0.8", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00022570800501853228 } }, { "case": 2, "level": "0.6", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006350000039674342 } }, { "case": 2, "level": "0.6", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00023279100423678756 } }, { "case": 2, "level": "0.4", "method": "minimum_disturbance", "state": null, "solver": { "status": 2, "message": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)", "seconds": 0.0006280829984461889 } }, { "case": 2, "level": "0.4", "method": "cassowary", "state": null, "solver": { "status": "continuous_infeasible", "seconds": 0.00015141699986997992 } } ], "seconds": 2.842796625001938, "versions": { "kiwisolver": "1.4.9" }, "protocol_sha256": "5c4f3ae7a4e941359ede6b127f8d6811f62b12bf9d5a1e525061d35edc6c707b" }