run_id,success_frozen,success_corrected,changed,n_violations_corrected,q_correctness_corrected RC0001,1,1,,0,1.0 RC0002,1,1,,0,1.0 RC0003,1,1,,0,1.0 RC0004,1,1,,0,1.0 RC0005,1,1,,0,1.0 RC0006,1,1,,0,1.0 RC0007,1,1,,0,1.0 RC0008,1,1,,0,1.0 RC0009,1,1,,0,1.0 RC0010,1,1,,0,1.0 RC0011,1,1,,0,1.0 RC0012,1,1,,0,1.0 RC0013,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0014,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0015,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0016,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0017,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0018,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0019,1,1,,0,1.0 RC0020,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0021,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0022,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0023,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0024,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.0 RC0025,1,1,,0,1.0 RC0026,1,1,,0,1.0 RC0027,1,1,,0,1.0 RC0028,1,1,,0,1.0 RC0029,1,1,,0,1.0 RC0030,1,1,,0,1.0 RC0031,1,1,,0,1.0 RC0032,1,1,,0,1.0 RC0033,1,1,,0,1.0 RC0034,1,1,,0,1.0 RC0035,1,1,,0,1.0 RC0036,1,1,,0,1.0 RC0037,1,1,,0,1.0 RC0038,1,1,,0,1.0 RC0039,1,1,,0,1.0 RC0040,1,1,,0,1.0 RC0041,1,1,,0,1.0 RC0042,1,1,,0,1.0 RC0043,1,1,,0,1.0 RC0044,1,1,,0,1.0 RC0045,1,1,,0,1.0 RC0046,1,1,,0,1.0 RC0047,1,1,,0,1.0 RC0048,1,1,,0,1.0 RC0049,1,1,,0,1.0 RC0050,1,1,,0,1.0 RC0051,1,1,,0,1.0 RC0052,1,1,,0,1.0 RC0053,1,1,,0,1.0 RC0054,1,1,,0,1.0 RC0055,1,1,,0,1.0 RC0056,1,1,,0,1.0 RC0057,1,1,,0,1.0 RC0058,1,1,,0,1.0 RC0059,1,1,,0,1.0 RC0060,1,1,,0,1.0 RC0061,1,1,,0,1.0 RC0062,1,1,,0,1.0 RC0063,0,1,naive_h1: rounding to 4 decimals accepted (rel 1e-3); naive_h2: rounding to 4 decimals accepted (rel 1e-3); model_errors_consistent: rounding to 4 decimals accepted (rel 1e-3); rel_improvement_consistent: rounding to 4 decimals accepted (rel 1e-3),0,1.0 RC0064,1,1,,0,1.0 RC0065,1,1,,0,1.0 RC0066,1,1,,0,1.0 RC0067,1,1,,0,1.0 RC0068,1,1,,0,1.0 RC0069,1,1,,0,1.0 RC0070,1,1,,0,1.0 RC0071,1,1,,0,1.0 RC0072,1,1,,0,1.0 RC0073,1,1,,0,1.0 RC0074,1,1,,0,1.0 RC0075,1,1,,0,1.0 RC0076,1,1,,0,1.0 RC0077,1,1,,0,1.0 RC0078,1,1,,0,1.0 RC0079,1,1,,0,1.0 RC0080,1,1,,0,1.0 RC0081,1,1,,0,1.0 RC0082,1,1,,0,1.0 RC0083,1,1,,0,1.0 RC0084,1,1,,0,1.0 RC0085,1,1,,0,1.0 RC0086,1,1,,0,1.0 RC0087,1,1,,0,1.0 RC0088,1,1,,0,1.0 RC0089,1,1,,0,1.0 RC0090,1,1,,0,1.0 RC0091,1,1,,0,1.0 RC0092,1,1,,0,1.0 RC0093,1,1,,0,1.0 RC0094,1,1,,0,1.0 RC0095,1,1,,0,1.0 RC0096,1,1,,0,1.0 RC0097,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0098,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0099,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0100,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0101,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0102,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0103,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0104,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0105,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0106,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0107,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0108,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0 RC0109,1,1,,0,1.0 RC0110,1,1,,0,1.0 RC0111,1,1,,0,1.0 RC0112,1,1,,0,1.0 RC0113,1,1,,0,1.0 RC0114,1,1,,0,1.0 RC0115,1,1,,0,1.0 RC0116,1,1,,0,1.0 RC0117,1,1,,0,1.0 RC0118,1,1,,0,1.0 RC0119,1,1,,0,1.0 RC0120,1,1,,0,1.0 RC0121,1,1,,0,1.0 RC0122,1,1,,0,1.0 RC0123,1,1,,0,1.0 RC0124,1,1,,0,1.0 RC0125,1,1,,0,1.0 RC0126,1,1,,0,1.0 RC0127,1,1,,0,1.0 RC0128,1,1,,0,1.0 RC0129,1,1,,0,1.0 RC0130,1,1,,0,1.0 RC0131,1,1,,0,1.0 RC0132,1,1,,0,1.0 RC0133,1,1,,0,1.0 RC0134,1,1,,0,1.0 RC0135,1,1,,0,1.0 RC0136,1,1,,0,1.0 RC0137,1,1,,0,1.0 RC0138,1,1,,0,1.0 RC0139,1,1,,0,1.0 RC0140,1,1,,0,1.0 RC0141,1,1,,0,1.0 RC0142,1,1,,0,1.0 RC0143,1,1,,0,1.0 RC0144,1,1,,0,1.0 RC0145,1,1,,0,1.0 RC0146,1,1,,0,1.0 RC0147,1,1,,0,1.0 RC0148,1,1,,0,1.0 RC0149,1,1,,0,1.0 RC0150,1,1,,0,1.0 RC0151,1,1,,0,1.0 RC0152,1,1,,0,1.0 RC0153,1,1,,0,1.0 RC0154,1,1,,0,1.0 RC0155,1,1,,0,1.0 RC0156,1,1,,0,1.0 RC0157,1,1,,0,1.0 RC0158,1,1,,0,1.0 RC0159,1,1,,0,1.0 RC0160,1,1,,0,1.0 RC0161,1,1,,0,1.0 RC0162,1,1,,0,1.0 RC0163,1,1,,0,1.0 RC0164,1,1,,0,1.0 RC0165,1,1,,0,1.0 RC0166,1,1,,0,1.0 RC0167,1,1,,0,1.0 RC0168,1,1,,0,1.0 RC0169,1,1,,0,1.0 RC0170,1,1,,0,1.0 RC0171,1,1,,0,1.0 RC0172,1,1,,0,1.0 RC0173,1,1,,0,1.0 RC0174,1,1,,0,1.0 RC0175,1,1,,0,1.0 RC0176,1,1,,0,1.0 RC0177,1,1,,0,1.0 RC0178,1,1,,0,1.0 RC0179,1,1,,0,1.0 RC0180,1,1,,0,1.0 RC0181,1,1,,0,1.0 RC0182,1,1,,0,1.0 RC0183,1,1,,0,1.0 RC0184,1,1,,0,1.0 RC0185,1,1,,0,1.0 RC0186,1,1,,0,1.0 RC0187,1,1,,0,1.0 RC0188,1,1,,0,1.0 RC0189,1,1,,0,1.0 RC0190,1,1,,0,1.0 RC0191,1,1,,0,1.0 RC0192,1,1,,0,1.0 RC0193,1,1,,0,1.0 RC0194,1,1,,0,1.0 RC0195,1,1,,0,1.0 RC0196,1,1,,0,1.0 RC0197,1,1,,0,1.0 RC0198,1,1,,0,1.0 RC0199,1,1,,0,1.0 RC0200,1,1,,0,1.0 RC0201,1,1,,0,1.0 RC0202,1,1,,0,1.0 RC0203,1,1,,0,1.0 RC0204,1,1,,0,1.0 RC0205,1,1,,0,1.0 RC0206,1,1,,0,1.0 RC0207,1,1,,0,1.0 RC0208,1,1,,0,1.0 RC0209,1,1,,0,1.0 RC0210,1,1,,0,1.0 RC0211,1,1,,0,1.0 RC0212,1,1,,0,1.0 RC0213,1,1,,0,1.0 RC0214,1,1,,0,1.0 RC0215,1,1,,0,1.0 RC0216,1,1,,0,1.0 RC0217,1,1,,0,1.0 RC0218,1,1,,0,1.0 RC0219,1,1,,0,1.0 RC0220,1,1,,0,1.0 RC0221,1,1,,0,1.0 RC0222,1,1,,0,1.0 RC0223,1,1,,0,1.0 RC0224,1,1,,0,1.0 RC0225,1,1,,0,1.0 RC0226,1,1,,0,1.0 RC0227,1,1,,0,1.0 RC0228,1,1,,0,1.0 RC0229,1,1,,0,1.0 RC0230,1,1,,0,1.0 RC0231,1,1,,0,1.0 RC0232,1,1,,0,1.0 RC0233,1,1,,0,1.0 RC0234,1,1,,0,1.0 RC0235,1,1,,0,1.0 RC0236,1,1,,0,1.0 RC0237,1,1,,0,1.0 RC0238,1,1,,0,1.0 RC0239,1,1,,0,1.0 RC0240,1,1,,0,1.0 RC0241,1,1,,0,1.0 RC0242,1,1,,0,1.0 RC0243,1,1,,0,1.0 RC0244,1,1,,0,1.0 RC0245,1,1,,0,1.0 RC0246,1,1,,0,1.0 RC0247,1,1,,0,1.0 RC0248,1,1,,0,1.0 RC0249,1,1,,0,1.0 RC0250,1,1,,0,1.0 RC0251,1,1,,0,1.0 RC0252,1,1,,0,1.0 RC0253,1,1,,0,1.0 RC0254,1,1,,0,1.0 RC0255,1,1,,0,1.0 RC0256,1,1,,0,1.0 RC0257,1,1,,0,1.0 RC0258,1,1,,0,1.0 RC0259,1,1,,0,1.0 RC0260,1,1,,0,1.0 RC0261,1,1,,0,1.0 RC0262,1,1,,0,1.0 RC0263,1,1,,0,1.0 RC0264,1,1,,0,1.0 RC0265,1,1,,0,1.0 RC0266,1,1,,0,1.0 RC0267,1,1,,0,1.0 RC0268,1,1,,0,1.0 RC0269,1,1,,0,1.0 RC0270,1,1,,0,1.0 RC0271,1,1,,0,1.0 RC0272,1,1,,0,1.0 RC0273,1,1,,0,1.0 RC0274,1,1,,0,1.0 RC0275,1,1,,0,1.0 RC0276,0,1,supported_effect_claim waived (regex false positive on 'no_detectable_effect'),0,1.0 RC0277,1,1,,0,1.0 RC0278,1,1,,0,1.0 RC0279,1,1,,0,1.0 RC0280,1,1,,0,1.0 RC0281,1,1,,0,1.0 RC0282,1,1,,0,1.0 RC0283,1,1,,0,1.0 RC0284,1,1,,0,1.0 RC0285,1,1,,0,1.0 RC0286,1,1,,0,1.0 RC0287,1,1,,0,1.0 RC0288,1,1,,0,1.0