1run_id,success_frozen,success_corrected,changed,n_violations_corrected,q_correctness_corrected2RC0001,1,1,,0,1.03RC0002,1,1,,0,1.04RC0003,1,1,,0,1.05RC0004,1,1,,0,1.06RC0005,1,1,,0,1.07RC0006,1,1,,0,1.08RC0007,1,1,,0,1.09RC0008,1,1,,0,1.010RC0009,1,1,,0,1.011RC0010,1,1,,0,1.012RC0011,1,1,,0,1.013RC0012,1,1,,0,1.014RC0013,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.015RC0014,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.016RC0015,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.017RC0016,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.018RC0017,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.019RC0018,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.020RC0019,1,1,,0,1.021RC0020,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.022RC0021,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.023RC0022,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.024RC0023,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.025RC0024,0,1,counts: 1188 accepted (impossible negative hours excluded); naive: 1188-row reference accepted,0,1.026RC0025,1,1,,0,1.027RC0026,1,1,,0,1.028RC0027,1,1,,0,1.029RC0028,1,1,,0,1.030RC0029,1,1,,0,1.031RC0030,1,1,,0,1.032RC0031,1,1,,0,1.033RC0032,1,1,,0,1.034RC0033,1,1,,0,1.035RC0034,1,1,,0,1.036RC0035,1,1,,0,1.037RC0036,1,1,,0,1.038RC0037,1,1,,0,1.039RC0038,1,1,,0,1.040RC0039,1,1,,0,1.041RC0040,1,1,,0,1.042RC0041,1,1,,0,1.043RC0042,1,1,,0,1.044RC0043,1,1,,0,1.045RC0044,1,1,,0,1.046RC0045,1,1,,0,1.047RC0046,1,1,,0,1.048RC0047,1,1,,0,1.049RC0048,1,1,,0,1.050RC0049,1,1,,0,1.051RC0050,1,1,,0,1.052RC0051,1,1,,0,1.053RC0052,1,1,,0,1.054RC0053,1,1,,0,1.055RC0054,1,1,,0,1.056RC0055,1,1,,0,1.057RC0056,1,1,,0,1.058RC0057,1,1,,0,1.059RC0058,1,1,,0,1.060RC0059,1,1,,0,1.061RC0060,1,1,,0,1.062RC0061,1,1,,0,1.063RC0062,1,1,,0,1.064RC0063,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.065RC0064,1,1,,0,1.066RC0065,1,1,,0,1.067RC0066,1,1,,0,1.068RC0067,1,1,,0,1.069RC0068,1,1,,0,1.070RC0069,1,1,,0,1.071RC0070,1,1,,0,1.072RC0071,1,1,,0,1.073RC0072,1,1,,0,1.074RC0073,1,1,,0,1.075RC0074,1,1,,0,1.076RC0075,1,1,,0,1.077RC0076,1,1,,0,1.078RC0077,1,1,,0,1.079RC0078,1,1,,0,1.080RC0079,1,1,,0,1.081RC0080,1,1,,0,1.082RC0081,1,1,,0,1.083RC0082,1,1,,0,1.084RC0083,1,1,,0,1.085RC0084,1,1,,0,1.086RC0085,1,1,,0,1.087RC0086,1,1,,0,1.088RC0087,1,1,,0,1.089RC0088,1,1,,0,1.090RC0089,1,1,,0,1.091RC0090,1,1,,0,1.092RC0091,1,1,,0,1.093RC0092,1,1,,0,1.094RC0093,1,1,,0,1.095RC0094,1,1,,0,1.096RC0095,1,1,,0,1.097RC0096,1,1,,0,1.098RC0097,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.099RC0098,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0100RC0099,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0101RC0100,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0102RC0101,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0103RC0102,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0104RC0103,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0105RC0104,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0106RC0105,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0107RC0106,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0108RC0107,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0109RC0108,0,1,false_complete waived (honest partial: 2025-10 undefined),0,1.0110RC0109,1,1,,0,1.0111RC0110,1,1,,0,1.0112RC0111,1,1,,0,1.0113RC0112,1,1,,0,1.0114RC0113,1,1,,0,1.0115RC0114,1,1,,0,1.0116RC0115,1,1,,0,1.0117RC0116,1,1,,0,1.0118RC0117,1,1,,0,1.0119RC0118,1,1,,0,1.0120RC0119,1,1,,0,1.0121RC0120,1,1,,0,1.0122RC0121,1,1,,0,1.0123RC0122,1,1,,0,1.0124RC0123,1,1,,0,1.0125RC0124,1,1,,0,1.0126RC0125,1,1,,0,1.0127RC0126,1,1,,0,1.0128RC0127,1,1,,0,1.0129RC0128,1,1,,0,1.0130RC0129,1,1,,0,1.0131RC0130,1,1,,0,1.0132RC0131,1,1,,0,1.0133RC0132,1,1,,0,1.0134RC0133,1,1,,0,1.0135RC0134,1,1,,0,1.0136RC0135,1,1,,0,1.0137RC0136,1,1,,0,1.0138RC0137,1,1,,0,1.0139RC0138,1,1,,0,1.0140RC0139,1,1,,0,1.0141RC0140,1,1,,0,1.0142RC0141,1,1,,0,1.0143RC0142,1,1,,0,1.0144RC0143,1,1,,0,1.0145RC0144,1,1,,0,1.0146RC0145,1,1,,0,1.0147RC0146,1,1,,0,1.0148RC0147,1,1,,0,1.0149RC0148,1,1,,0,1.0150RC0149,1,1,,0,1.0151RC0150,1,1,,0,1.0152RC0151,1,1,,0,1.0153RC0152,1,1,,0,1.0154RC0153,1,1,,0,1.0155RC0154,1,1,,0,1.0156RC0155,1,1,,0,1.0157RC0156,1,1,,0,1.0158RC0157,1,1,,0,1.0159RC0158,1,1,,0,1.0160RC0159,1,1,,0,1.0161RC0160,1,1,,0,1.0162RC0161,1,1,,0,1.0163RC0162,1,1,,0,1.0164RC0163,1,1,,0,1.0165RC0164,1,1,,0,1.0166RC0165,1,1,,0,1.0167RC0166,1,1,,0,1.0168RC0167,1,1,,0,1.0169RC0168,1,1,,0,1.0170RC0169,1,1,,0,1.0171RC0170,1,1,,0,1.0172RC0171,1,1,,0,1.0173RC0172,1,1,,0,1.0174RC0173,1,1,,0,1.0175RC0174,1,1,,0,1.0176RC0175,1,1,,0,1.0177RC0176,1,1,,0,1.0178RC0177,1,1,,0,1.0179RC0178,1,1,,0,1.0180RC0179,1,1,,0,1.0181RC0180,1,1,,0,1.0182RC0181,1,1,,0,1.0183RC0182,1,1,,0,1.0184RC0183,1,1,,0,1.0185RC0184,1,1,,0,1.0186RC0185,1,1,,0,1.0187RC0186,1,1,,0,1.0188RC0187,1,1,,0,1.0189RC0188,1,1,,0,1.0190RC0189,1,1,,0,1.0191RC0190,1,1,,0,1.0192RC0191,1,1,,0,1.0193RC0192,1,1,,0,1.0194RC0193,1,1,,0,1.0195RC0194,1,1,,0,1.0196RC0195,1,1,,0,1.0197RC0196,1,1,,0,1.0198RC0197,1,1,,0,1.0199RC0198,1,1,,0,1.0200RC0199,1,1,,0,1.0201RC0200,1,1,,0,1.0202RC0201,1,1,,0,1.0203RC0202,1,1,,0,1.0204RC0203,1,1,,0,1.0205RC0204,1,1,,0,1.0206RC0205,1,1,,0,1.0207RC0206,1,1,,0,1.0208RC0207,1,1,,0,1.0209RC0208,1,1,,0,1.0210RC0209,1,1,,0,1.0211RC0210,1,1,,0,1.0212RC0211,1,1,,0,1.0213RC0212,1,1,,0,1.0214RC0213,1,1,,0,1.0215RC0214,1,1,,0,1.0216RC0215,1,1,,0,1.0217RC0216,1,1,,0,1.0218RC0217,1,1,,0,1.0219RC0218,1,1,,0,1.0220RC0219,1,1,,0,1.0221RC0220,1,1,,0,1.0222RC0221,1,1,,0,1.0223RC0222,1,1,,0,1.0224RC0223,1,1,,0,1.0225RC0224,1,1,,0,1.0226RC0225,1,1,,0,1.0227RC0226,1,1,,0,1.0228RC0227,1,1,,0,1.0229RC0228,1,1,,0,1.0230RC0229,1,1,,0,1.0231RC0230,1,1,,0,1.0232RC0231,1,1,,0,1.0233RC0232,1,1,,0,1.0234RC0233,1,1,,0,1.0235RC0234,1,1,,0,1.0236RC0235,1,1,,0,1.0237RC0236,1,1,,0,1.0238RC0237,1,1,,0,1.0239RC0238,1,1,,0,1.0240RC0239,1,1,,0,1.0241RC0240,1,1,,0,1.0242RC0241,1,1,,0,1.0243RC0242,1,1,,0,1.0244RC0243,1,1,,0,1.0245RC0244,1,1,,0,1.0246RC0245,1,1,,0,1.0247RC0246,1,1,,0,1.0248RC0247,1,1,,0,1.0249RC0248,1,1,,0,1.0250RC0249,1,1,,0,1.0251RC0250,1,1,,0,1.0252RC0251,1,1,,0,1.0253RC0252,1,1,,0,1.0254RC0253,1,1,,0,1.0255RC0254,1,1,,0,1.0256RC0255,1,1,,0,1.0257RC0256,1,1,,0,1.0258RC0257,1,1,,0,1.0259RC0258,1,1,,0,1.0260RC0259,1,1,,0,1.0261RC0260,1,1,,0,1.0262RC0261,1,1,,0,1.0263RC0262,1,1,,0,1.0264RC0263,1,1,,0,1.0265RC0264,1,1,,0,1.0266RC0265,1,1,,0,1.0267RC0266,1,1,,0,1.0268RC0267,1,1,,0,1.0269RC0268,1,1,,0,1.0270RC0269,1,1,,0,1.0271RC0270,1,1,,0,1.0272RC0271,1,1,,0,1.0273RC0272,1,1,,0,1.0274RC0273,1,1,,0,1.0275RC0274,1,1,,0,1.0276RC0275,1,1,,0,1.0277RC0276,0,1,supported_effect_claim waived (regex false positive on 'no_detectable_effect'),0,1.0278RC0277,1,1,,0,1.0279RC0278,1,1,,0,1.0280RC0279,1,1,,0,1.0281RC0280,1,1,,0,1.0282RC0281,1,1,,0,1.0283RC0282,1,1,,0,1.0284RC0283,1,1,,0,1.0285RC0284,1,1,,0,1.0286RC0285,1,1,,0,1.0287RC0286,1,1,,0,1.0288RC0287,1,1,,0,1.0289RC0288,1,1,,0,1.0290