,correct,incorrect,paths,violation_ratio
P1151,1612,4,"['../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P1151.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P1151.incorrect.tsv']",0.0024752475247524753
P4147,271,9,"['../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P4147.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P4147.incorrect.tsv']",0.03214285714285714
P4149,272,4,"['../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P4149.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P4149.incorrect.tsv']",0.014492753623188406
P450,1754,21,"['../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P450.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P450.incorrect.tsv']",0.011830985915492958
P2033,1836,26,"['../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P2033.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P2033.incorrect.tsv']",0.013963480128893663
P2673,819,69,"['../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P2673.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/mandatory/claims.P2673.incorrect.tsv']",0.0777027027027027
P1434,3512,4745,"['../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P1434.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P1434.incorrect.tsv']",0.5746639215211335
P629,72202,141,"['../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P629.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P629.incorrect.tsv']",0.0019490482838698975
P155,963205,49783,"['../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P155.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P155.incorrect.tsv']",0.049144708525668615
P156,963183,40682,"['../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P156.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/suggestion/claims.P156.incorrect.tsv']",0.04052536944708701
P1026,7132,51,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1026.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1026.incorrect.tsv']",0.007100097452317973
P3189,184,37,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3189.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3189.incorrect.tsv']",0.167420814479638
P3190,184,39,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3190.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3190.incorrect.tsv']",0.17488789237668162
P3261,232,125,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3261.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3261.incorrect.tsv']",0.35014005602240894
P3262,232,17,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3262.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3262.incorrect.tsv']",0.06827309236947791
P3448,583,4266,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3448.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3448.incorrect.tsv']",0.8797690245411425
P355,76091,4595,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P355.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P355.incorrect.tsv']",0.056949160944897506
P36,78852,29804,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P36.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P36.incorrect.tsv']",0.2742968634958033
P3709,258,4,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3709.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3709.incorrect.tsv']",0.015267175572519083
P3713,334,4,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3713.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3713.incorrect.tsv']",0.011834319526627219
P3734,387,3,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3734.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3734.incorrect.tsv']",0.007692307692307693
P3780,2454,41,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3780.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3780.incorrect.tsv']",0.016432865731462926
P3781,2454,175,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3781.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3781.incorrect.tsv']",0.06656523392925066
P3816,14,10,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3816.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3816.incorrect.tsv']",0.4166666666666667
P1029,475,2263,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1029.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1029.incorrect.tsv']",0.8265157048940833
P3876,14927,151,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3876.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3876.incorrect.tsv']",0.010014590794535084
P115,6712,24515,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P115.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P115.incorrect.tsv']",0.7850578025426714
P1204,1612,241,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1204.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1204.incorrect.tsv']",0.1300593631948192
P1283,1377,6,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1283.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1283.incorrect.tsv']",0.004338394793926247
P397,9314,2998,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P397.incorrect.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P397.correct.tsv']",0.2435022742040286
P398,9314,12,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P398.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P398.incorrect.tsv']",0.0012867252841518336
P4195,2708,258,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4195.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4195.incorrect.tsv']",0.08698583951449763
P425,2512,2024,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P425.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P425.incorrect.tsv']",0.4462081128747795
P4599,49,0,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4599.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4599.incorrect.tsv']",0.0
P4600,49,5,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4600.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4600.incorrect.tsv']",0.09259259259259259
P4843,146,2,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4843.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4843.incorrect.tsv']",0.013513513513513514
P4969,12548,341,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4969.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P4969.incorrect.tsv']",0.026456668476995886
P5131,81,15,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5131.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5131.incorrect.tsv']",0.15625
P5132,81,89,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5132.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5132.incorrect.tsv']",0.5235294117647059
P5133,21,2,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5133.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5133.incorrect.tsv']",0.08695652173913043
P5134,21,4,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5134.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5134.incorrect.tsv']",0.16
P5206,22,2,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5206.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5206.incorrect.tsv']",0.08333333333333333
P1308,10779,2480,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1308.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1308.incorrect.tsv']",0.18704276340598838
P1365,66015,4075,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1365.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1365.incorrect.tsv']",0.05813953488372093
P1366,66030,2955,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1366.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1366.incorrect.tsv']",0.04283539899978256
P1376,78879,676,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1376.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1376.incorrect.tsv']",0.00849726604236063
P1383,28893,2874,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1383.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1383.incorrect.tsv']",0.09047124374350742
P1398,962,122,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1398.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1398.incorrect.tsv']",0.11254612546125461
P1423,16548,105,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1423.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1423.incorrect.tsv']",0.006305170239596469
P567,1049,442,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P567.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P567.incorrect.tsv']",0.2964453386988598
P1424,16549,107,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1424.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1424.incorrect.tsv']",0.0064241114313160425
P568,1049,450,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P568.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P568.incorrect.tsv']",0.3002001334222815
P5996,71,11,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5996.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P5996.incorrect.tsv']",0.13414634146341464
P1445,3508,356,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1445.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1445.incorrect.tsv']",0.09213250517598344
P6112,2827,24,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P6112.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P6112.incorrect.tsv']",0.008418098912662224
P1464,35238,593,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1464.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1464.incorrect.tsv']",0.016549914878178112
P634,278,79,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P634.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P634.incorrect.tsv']",0.22128851540616246
P1465,14963,118,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1465.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1465.incorrect.tsv']",0.00782441482660301
P688,973150,208,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P688.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P688.incorrect.tsv']",0.00021369321462401294
P150,1002544,25738,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P150.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P150.incorrect.tsv']",0.02503009874723082
P702,973149,3242,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P702.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P702.incorrect.tsv']",0.003320391113805842
P7084,10820,115,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P7084.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P7084.incorrect.tsv']",0.010516689529035207
P747,72242,221,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P747.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P747.incorrect.tsv']",0.0030498323282226792
P749,76072,29805,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P749.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P749.incorrect.tsv']",0.2815058983537501
P7561,12898,13,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P7561.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P7561.incorrect.tsv']",0.001006893346758578
P7867,15734,67,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P7867.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P7867.incorrect.tsv']",0.004240237959622808
P802,38449,2487,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P802.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P802.incorrect.tsv']",0.060753371115888216
P8596,3,0,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P8596.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P8596.incorrect.tsv']",0.0
P8625,7,17,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P8625.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P8625.incorrect.tsv']",0.7083333333333334
P8744,1243,1,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P8744.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P8744.incorrect.tsv']",0.0008038585209003215
P910,633110,6471,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P910.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P910.incorrect.tsv']",0.010117561340940396
P1582,1367,149,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1582.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1582.incorrect.tsv']",0.09828496042216359
P1605,12,189,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1605.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1605.incorrect.tsv']",0.9402985074626866
P1606,12,2,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1606.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1606.incorrect.tsv']",0.14285714285714285
P1629,7323,296,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1629.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1629.incorrect.tsv']",0.03885024281401759
P1660,6,1,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1660.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1660.incorrect.tsv']",0.14285714285714285
P167,961,343,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P167.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P167.incorrect.tsv']",0.2630368098159509
P1672,1366,58,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1672.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1672.incorrect.tsv']",0.04073033707865169
P925,1,5,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P925.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P925.incorrect.tsv']",0.8333333333333334
P1677,6,4,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1677.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1677.incorrect.tsv']",0.4
P926,1,6,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P926.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P926.incorrect.tsv']",0.8571428571428571
P1687,7324,1212,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1687.incorrect.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1687.correct.tsv']",0.14198687910028115
P1740,1250,0,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1740.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1740.incorrect.tsv']",0.0
P1753,43315,527,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1753.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1753.incorrect.tsv']",0.0120204370238584
P1754,43315,283,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1754.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1754.incorrect.tsv']",0.006491123446029635
P1791,4238,155,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1791.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1791.incorrect.tsv']",0.035283405417709995
P1792,27056,77,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1792.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1792.incorrect.tsv']",0.0028378727011388345
P1830,33479,4430,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1830.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1830.incorrect.tsv']",0.11685879342636313
P184,274368,18026,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P184.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P184.incorrect.tsv']",0.061649691854142014
P185,274294,122,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P185.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P185.incorrect.tsv']",0.00044458049093347327
P1885,1706,152,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1885.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P1885.incorrect.tsv']",0.08180839612486544
P2184,1569,190,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2184.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2184.incorrect.tsv']",0.10801591813530415
P22,825746,9139,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P22.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P22.incorrect.tsv']",0.010946417770112052
P2375,19,0,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2375.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2375.incorrect.tsv']",0.0
P2376,19,1,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2376.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2376.incorrect.tsv']",0.05
P2388,8002,604,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2388.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2388.incorrect.tsv']",0.07018359284220312
P2389,8005,1086,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2389.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2389.incorrect.tsv']",0.11945880541194588
P2499,6150,47,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2499.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2499.incorrect.tsv']",0.007584314991124738
P25,524352,2084,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P25.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P25.incorrect.tsv']",0.003958695833871544
P2500,6148,18,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2500.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2500.incorrect.tsv']",0.0029192345118391177
P2512,210,149,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2512.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2512.incorrect.tsv']",0.415041782729805
P2517,3644,736,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2517.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2517.incorrect.tsv']",0.1680365296803653
P2578,989,604,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2578.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2578.incorrect.tsv']",0.37915881983678595
P2674,819,79,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2674.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2674.incorrect.tsv']",0.08797327394209355
P2681,110,2,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2681.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2681.incorrect.tsv']",0.017857142857142856
P2682,110,0,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2682.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2682.incorrect.tsv']",0.0
P2875,3526,37,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2875.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P2875.incorrect.tsv']",0.010384507437552624
P301,633108,7226,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P301.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P301.incorrect.tsv']",0.011284735778515588
P3095,2511,833,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3095.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3095.incorrect.tsv']",0.24910287081339713
P3148,1078,18,"['../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3148.correct.tsv', '../../allConstraintsAnalysis_Final/inverseConstraint/normal/claims.P3148.incorrect.tsv']",0.016423357664233577