"model";"bdd_jsd";"bdd_p_value";"kus_jsd";"kus_p_value";"quicksampler_jsd";"quicksampler_p_value";"smarch_jsd";"smarch_p_value";"spur_jsd";"spur_p_value";"unigen2_jsd";"unigen2_p_value"
"10.sk_1_46";0.00133159258260458;0.999999999988259;0.00107863576655197;0.999999999999936;0.130361507998079;0;NA;NA;0.00110607625301052;0.99999999999988;NA;NA
"107.sk_3_90";0.00112418215709711;1;0.0011822258444677;1;0.539251593634635;0;NA;NA;0.00114336043701925;1;NA;NA
"109.sk_4_36";0.0011792769465548;0.99999999999538;0.00137869150646848;0.999999999830949;0.452957112515336;0;NA;NA;0.00175838608667281;0.999999966598413;NA;NA
"110.sk_3_88";0.00169893488844009;1;NA;NA;0.476347599349807;0;NA;NA;0.00203047565198567;1;NA;NA
"111.sk_2_36";0.00128712919176535;0.99999952037298;0.00104192285463982;0.999999984541337;0.614798967338796;0;NA;NA;0.00102144835103329;0.999999988917961;NA;NA
"19.sk_3_48";0.00145066668960887;0.999999999999992;0.00145894050166659;0.999999999999991;0.243872568645738;0;NA;NA;0.00145338913012141;0.999999999999992;NA;NA
"27.sk_3_32";0.000832762355433501;0.999999946665231;0.0014774047239531;0.999894773003288;0.273676804655833;0;NA;NA;0.00124605851878238;0.999987191032445;NA;NA
"32.sk_4_38";0.00145241390859121;0.999999322875868;0.00111338352130398;0.999999992884478;0.109863670816357;0;NA;NA;0.00105144422001579;0.999999997451657;NA;NA
"35.sk_3_52";0.0011267393216032;0.999999998700265;0.00102164215071331;0.999999999804655;0.0758962024189376;0;NA;NA;0.00099176496847045;0.999999999890948;NA;NA
"53.sk_4_32";0.00162383881427515;0.999983995179602;0.000771703388859074;0.999999999914322;0.070342970335102;0;NA;NA;0.00162778152311731;0.999983426774033;NA;NA
"55.sk_3_46";0.000996192516815585;0.999999999999982;0.00169689187331406;0.99999999434561;0.243380350259801;0;NA;NA;0.00114496121156036;0.999999999999425;NA;NA
"77.sk_3_44";0.00154237711000484;0.999999912897583;0.00101121654208476;0.999999999980676;0.281643925019573;0;NA;NA;0.00131670622316556;0.999999995817473;NA;NA
"84.sk_4_77";0.000861365949422841;1;0.0014515482609838;1;0.400407940843921;0;NA;NA;0.00125133153764065;1;NA;NA
"axtls";0.00072745098808884;0.999999999986845;0.0011497639707812;0.999999957005008;0.337959697391716;0;NA;NA;0.000689921067235643;0.999999999995077;NA;NA
"blasted_case_0_b11_1";0.00192780974091609;1;0.0417133024524995;0;0.0997539980285356;0;NA;NA;0.00196102682816474;1;NA;NA
"blasted_case_0_b12_1";0.00296111067105947;1;0.468833566639712;0;0.252606395378516;0;NA;NA;0.00282198268587195;1;NA;NA
"blasted_case_0_b12_2";0.00338521063495815;1;0.0788632484055207;0;0.0232518777803105;1.25131482964225e-06;NA;NA;0.0033285455712751;1;NA;NA
"blasted_case_1_b11_1";0.00229142489397708;1;0.119521899508235;0;0.0739621356242784;0;NA;NA;0.00230484745724494;1;NA;NA
"blasted_case_1_b12_1";0.00248675902300017;1;0.354562118841066;0;0.0240122635198277;1.46836318104526e-07;NA;NA;0.00258729255697669;1;NA;NA
"blasted_case_1_b12_2";0.00329307735830991;1;0.257732333722059;0;0.0462588918652728;0;NA;NA;0.00302826976525302;1;NA;NA
"blasted_case_1_b14_1";0.00188510385889853;0.999999999999993;0.00178692016462824;0.999999999999999;0.463249208393135;0;NA;NA;0.00162589600005967;1;0.0110823500971112;1
"blasted_case_1_b14_2";0.00147419787780297;1;0.00161049263652675;1;0.407843180226742;0;NA;NA;0.0018391784719345;1;0.0113253217947808;1
"blasted_case_1_b14_3";0.00168183806640821;1;0.00154286862916697;1;0.527811768759947;0;NA;NA;0.0021431270802373;1;NA;NA
"blasted_case_2_b12_1";0.00287778568820951;1;0.323214298148916;0;0.076553148540443;0;NA;NA;0.00225539788334975;1;NA;NA
"blasted_case_2_b12_2";0.00368424446768857;1;0.182694743284681;0;0.0260535004545691;8.48384561935589e-07;NA;NA;0.00358772452303152;1;NA;NA
"blasted_case_2_b14_1";0.00188510385889853;0.999999999999993;0.0012669864123208;1;0.392984274968469;0;NA;NA;0.0016464265964316;1;0.0149023375507217;1
"blasted_case_2_b14_2";0.00181003201268106;1;0.00137174483003456;1;0.359754269293107;0;NA;NA;0.00133336288230656;1;0.0166888381248673;1
"blasted_case_2_b14_3";0.00208912595089205;1;0.00183651797995845;1;0.172533724385563;0;NA;NA;0.00222254807837656;1;NA;NA
"blasted_case_3_b14_1";0.00165906106102178;1;0.00186003618692839;0.999999999999995;0.471936969060949;0;NA;NA;0.00126664479274448;1;0.0118623232161046;1
"blasted_case_3_b14_2";0.00194419919997741;1;0.00237076660104286;0.99999999999993;0.334721054321978;0;NA;NA;0.00172348141581848;1;0.0139700670914557;1
"blasted_case_3_b14_3";0.0014045383529133;1;0.00180627116768258;1;0.534432441469952;0;NA;NA;0.00136142828272727;1;NA;NA
"blasted_case1";0.00168258115269334;0.999999963338991;0.000950658193851925;0.999999999999879;0.198837784330169;0.833974975133637;NA;NA;0.00176579636808062;0.999999903268311;0.010972008577707;0.999999999931523
"blasted_case10";0.000797893675002167;1;0.00119376058205831;1;0.349466780852441;0;NA;NA;0.00124241292881298;1;NA;NA
"blasted_case100";0.00108961300724327;0.999999999997086;0.000784343960455184;0.999999999999999;0.0925406580303528;0.260744624980413;0.01003367214833;0.999999999999999;0.00123447642295255;0.999999999950734;0.00752265006928355;1
"blasted_case101";0.0014499570287001;0.999999994868935;0.00152825742770635;0.999999985104038;0.19547085393329;0;0.0136955557052141;0.999999999990264;0.0012776226728925;0.999999999632284;0.0131078340634481;0.999999999994468
"blasted_case102";0.000385434127235262;0.99950316638057;0.000313296133723876;0.999844797613135;0.0231344394041527;0.909061783206503;2.86102841843865e-05;1;0.000747610345475532;0.985151581420533;0.00378255916164758;0.999761454578798
"blasted_case103";0.000875088672812968;0.969840530724355;0.000350980286126427;0.999704962763637;0.00260377998481119;0.99999935691071;2.86102841843865e-05;1;0.000577807026530374;0.995750546299151;0.00396667252398231;0.999688421623628
"blasted_case105";0.00122870903719702;0.999999999999972;0.00148191631547066;0.999999999995813;0.624855605455175;0;NA;NA;0.000872209727429482;1;0.0109131194367827;0.999999999999993
"blasted_case106";0.0018707573068841;1;0.000864876364129964;1;0.573955839498565;0;NA;NA;0.00147952479460874;1;0.0159217008525942;1
"blasted_case108";0.00237071670630678;0.999999999999985;0.00220133778107806;0.999999999999999;0.0678260557009834;0;NA;NA;0.00239884542384839;0.999999999999976;0.0205054051503512;1
"blasted_case109";0.00237117322384893;1;0.00217832071807123;1;0.148559915932564;0;NA;NA;0.00299145863354637;0.999999999999551;0.0173750237365476;1
"blasted_case11";0.000859053084516778;0.999999916881146;0.00106934867249461;0.99999827687257;0.0453019283109733;0.947570508232501;NA;NA;0.00122115195055848;0.999990113557387;0.0126111973118506;0.999966668318879
"blasted_case110";0.00149112134711439;0.999999775497005;0.00116534390374536;0.999999997531214;0.00812343311160321;0.0593936508217899;NA;NA;0.00128557132761804;0.999999984502194;0.0081646857632126;0.99999999432779
"blasted_case111";0.00157771354759596;0.999999635644263;0.00139056360071354;0.999999962742059;0.00815558940464876;0.0349343813586684;NA;NA;0.00184185134870975;0.999994854868146;NA;NA
"blasted_case112";0.000827565278778279;0.999999988262172;0.20589159604337;0;0.027749590325167;0;NA;NA;0.000989908901016767;0.99999982862102;0.00901626949338809;0.999999430216916
"blasted_case113";0.00163372335664206;0.999999747578341;0.00113784654127161;0.999999999776787;0.00888825572895529;0.0033368378252866;NA;NA;0.00142503351880516;0.999999980551282;NA;NA
"blasted_case114";0.00239242261520811;0.999999999798909;0.00169313128990874;0.999999999999996;0.382553464006871;0;NA;NA;0.00211592771068661;0.999999999995111;NA;NA
"blasted_case115";0.00201639900087801;0.999999999998158;0.00192718720351545;0.999999999999554;0.700807253690163;0;NA;NA;0.00163595196675288;0.999999999999998;NA;NA
"blasted_case116";0.00205694575546698;0.99999999999929;0.434664750127889;0;0.168255639167384;0;NA;NA;0.00183517749621747;0.999999999999983;NA;NA
"blasted_case117";0.0012064681024034;0.999999999266927;0.00142025241177603;0.999999981767201;0.0171544414063423;4.24216217709272e-13;NA;NA;0.00117006496341414;0.999999999605623;NA;NA
"blasted_case118";0.00128096233249638;0.999999997571318;0.00126356628311578;0.999999998149037;0.0049856523778119;0.658627425116189;NA;NA;0.00111362008188945;0.999999999856439;NA;NA
"blasted_case119";0.00185810348520508;1;0.0797088511378022;0;0.499464514132902;0;NA;NA;0.00194671542939241;1;0.0205294160303463;1
"blasted_case120";0.00206275984441137;1;0.0584868536673245;0;0.279310719931591;0;NA;NA;0.00182951246725764;1;NA;NA
"blasted_case121";0.00170956957608695;1;0.00193201572853644;1;0.0465178729954034;0;NA;NA;0.00157571714244489;1;0.0125991725629246;1
"blasted_case122";0.00119358200794784;0.999999992812131;0.00093753832903745;0.999999999925961;0.287659007719095;0;NA;NA;0.00166077755922149;0.99999770498801;NA;NA
"blasted_case123";0.0013648623516606;0.999999999865393;0.0266899022464628;0;0.346739005226933;0;NA;NA;0.0013201784512697;0.999999999936848;0.00805622535816175;0.999999999999888
"blasted_case124";0.00153032227857896;0.999999999999743;0.00177482035205746;0.999999999983572;0.458382311907879;1.66908598053794e-09;NA;NA;0.00130571183421352;0.999999999999998;0.0138453775851392;0.999999999999999
"blasted_case125";0.00141933397803191;0.999999999997485;0.00123198563100299;0.999999999999941;0.332616012075391;0;NA;NA;0.00183444945724087;0.999999998443923;NA;NA
"blasted_case126";0.00171412251229394;0.999999999998861;0.00133434961021271;0.999999999999999;0.241916355069603;0;NA;NA;0.000927185920548987;1;NA;NA
"blasted_case127";0.000541572684961637;0.944586579292753;0.00010983147726956;0.999775251496769;0.000472466831610277;0.999999992573703;0.000472466831610277;0.999999992573703;0.000418556009593715;0.974737964554241;0.000517922051458766;0.999983100020192
"blasted_case128";0.000541572684961637;0.944586579292753;0.000341867096453517;0.986878507070849;0.000225882634942045;0.999999999608657;0.000472466831610277;0.999999992573703;0.000323861579286676;0.989039643092178;0.00207815633378601;0.996905803918437
"blasted_case130";0.00189111520573333;1;0.213736359785803;0;0.287227604151183;0;NA;NA;0.00177779391914221;1;NA;NA
"blasted_case131";0.00172678894230618;0.999999998961874;0.0975176997421916;0;0.429630676015639;0;NA;NA;0.00118360772982744;0.999999999999918;NA;NA
"blasted_case132";0.00153794382209617;0.999999999999996;0.00143693845437057;1;0.339140272641818;0;NA;NA;0.00136854449726114;1;0.0114167546764075;1
"blasted_case133";0.00146762994687936;1;0.00175046985470733;1;0.499664540749957;0;NA;NA;0.00178254202250103;1;NA;NA
"blasted_case134";0.00120308668048144;0.999999997574139;0.00107995959715702;0.999999999705355;0.233123872701323;0;0.0127711442367283;0.999999999968525;0.00123019346422967;0.999999996279221;0.0125423079046828;0.999999999972219
"blasted_case135";0.00143936097680815;1;0.00126088958295582;1;0.334430868955569;0;NA;NA;0.0018226781170889;0.999999999999272;0.0135919848817693;0.999999999999995
"blasted_case136";0.0017051795198178;1;0.00183953376711652;1;0.41878428733498;0;NA;NA;0.00123363022969514;1;NA;NA
"blasted_case137";0.00170518394377532;0.99999859363992;0.000953594225657507;0.999999999975741;0.0294038593178835;4.7754000542799e-06;0.00965250009197194;0.999999999999907;0.00110123093207906;0.999999999566963;0.0120359737653313;0.99999999998801
"blasted_case14";0.0011852098797655;1;0.00946912776131203;0.0589482528526863;0.0567743280781287;0;NA;NA;0.00167270815833655;0.999999999999997;NA;NA
"blasted_case144";0.00272705932307964;1;0.0025736385669795;1;0.406164861492594;0;NA;NA;0.00199400822754799;1;NA;NA
"blasted_case145";0.00113839170375488;1;0.00119357256404287;1;0.245265654054349;0;NA;NA;0.00112468894378703;1;NA;NA
"blasted_case146";0.00155907657157797;0.999999999999999;0.00125798877666326;1;0.175291628841243;0;NA;NA;0.000913434514921643;1;NA;NA
"blasted_case15";0.00116898381711879;1;0.00156102227695374;1;0.191713938897243;0;NA;NA;0.00130282656928242;1;NA;NA
"blasted_case17";0.00149538484272857;0.999812474011152;0.000879597084855987;0.999999772718308;0.011353686622655;0.999999603682022;0.0116591399657442;0.999996187198599;0.00179595370870516;0.998616159877111;0.0128243405800012;0.999984963078855
"blasted_case19";0.00243728938675559;1;0.0385240964172893;0;0.142881349014718;0;NA;NA;0.00192563411167077;1;NA;NA
"blasted_case2";0.00206267791785159;0.999999999999946;0.00143667932209593;1;0.157974860140328;0;NA;NA;0.00184933537723561;0.999999999999999;0.0123748139117886;1
"blasted_case20";0.00203431333894924;1;0.012963037718371;0.264400829360645;0.154221623493555;0;NA;NA;0.00284136128978616;1;NA;NA
"blasted_case200";0.000141250896695537;0.900058577303662;0.000403300851872634;0.644121417443526;0;1;0.13792538097003;0.902445022833197;9.01692036582878e-05;0.945786446101212;NA;NA
"blasted_case201";0.00145355527987548;0.99999999999989;0.00110608974267017;1;0.195262650688559;0;NA;NA;0.0017181774993533;0.999999999988207;0.0121128814424708;0.999999999999987
"blasted_case202";0.00145355527987548;0.99999999999989;0.000988235193926802;1;0.320611322364266;0;NA;NA;0.00120259140674252;1;0.00810802930085232;1
"blasted_case203";0.00110791810439039;1;0.00122471398959375;1;0.322944329728691;0;NA;NA;0.00110890760624931;1;0.00909182603227156;1
"blasted_case204";0.00185574475229831;0.999999999993522;0.0011121228384778;1;0.309413932670004;0;NA;NA;0.00124902049057021;1;0.0095621114909115;1
"blasted_case205";0.00110791810439039;1;0.00124856610863367;1;0.372448089932412;0;NA;NA;0.00115515822957041;1;0.00981494059310757;1
"blasted_case206";0.000142149155443587;0.899212292591407;0.000119489634458137;0.920179687617406;0;1;0.13792538097003;0.902445022833197;0.000195944230973397;0.847003932811359;NA;NA
"blasted_case207";0.00134307933054424;1;0.00104600866251637;1;0.512187488477814;0;NA;NA;0.00129302017965636;1;NA;NA
"blasted_case208";0.00123053438048145;1;0.000993915084496089;1;0.501050063889073;0;NA;NA;0.00112040239292454;1;NA;NA
"blasted_case21";0.00101372985550363;0.999997207954792;0.0010785705555973;0.999993893772369;0.0358161110149558;0.981341264616307;NA;NA;0.00120473259793172;0.999976251251787;0.0111998594742542;0.999978132652155
"blasted_case210";0.00209232655694142;1;0.00225163944874303;1;0.586168319271749;0;NA;NA;0.00219378345231746;1;NA;NA
"blasted_case211";0.00214755311069221;1;0.00209372212279127;1;0.615445920584782;0;NA;NA;0.00252497199831506;1;NA;NA
"blasted_case213";0.00137218795863271;1;0.0012998085515355;1;0.29910379431302;0;NA;NA;0.00144524274287777;1;NA;NA
"blasted_case214";0.00129449498382244;1;0.00146642877092968;1;0.503677993539479;0;NA;NA;0.00159891822493499;1;NA;NA
"blasted_case22";0.0012934665214067;0.999944721441726;0.000666553386999413;0.999999989937455;0.186963830667281;0.0989760917138497;NA;NA;0.00133508723197314;0.999920048509468;0.0103280441873392;0.999991894131452
"blasted_case23";0.00115756806647686;0.999991478576081;0.00127755251160876;0.999970918714731;0.0395712113244635;0.999009884670746;0.00878676341692474;0.999999914800196;0.00092281886835118;0.999999563425876;0.00951310357080298;0.999999696684383
"blasted_case24";0.000420558301261653;0.99999887782006;0.000610650690354638;0.999968794468539;0.0125786965115815;0.999998482908765;7.15711728850817e-05;1;0.000593628866048693;0.999975553332389;0.0114298547370138;0.994275768234006
"blasted_case25";0.000969345603369161;0.991200629224316;0.000441407669263971;0.999951501541198;0.138233957799038;0.298076021222195;6.89293423615564e-06;1;0.000628630561543779;0.999424064171703;0.00895164682347818;0.988639265635926
"blasted_case26";0.000224972060102401;0.999997328798068;0.000814548801782489;0.991485466657014;0.017015618781793;0.876948577532232;0.0062134128904553;0.997776014225806;0.000728683586112918;0.995364030795152;0.00215233347476905;0.999997193983121
"blasted_case27";0.000811851034049206;0.991635260798673;0.000489636869779518;0.999554660280587;0.0432248244005952;0.56047495638273;0.000831477394839759;0.999999997196832;0.000762468954262768;0.994045765946996;0.00671733289954285;0.996079445442303
"blasted_case28";0.000520997775121275;0.999347923387212;0.000935779042652146;0.982484984756486;0.00819838016404948;0.998554159105251;0.00175879839418435;0.999999405084088;0.000333149501215813;0.999962162779441;0.00779627624656178;0.991133501071047
"blasted_case29";0.000724011727317037;0.999868625246744;0.000721330551244283;0.999872594754081;0.010226130760067;0.999999880836001;7.15711728850817e-05;1;0.000694555213265637;0.999906973942336;0.0127154258546769;0.988294041210793
"blasted_case3";0.00222026083891884;0.999999999999343;0.0017512879299685;1;0.305352435879477;0;NA;NA;0.00180257176540622;1;0.0177045245810405;0.999999999999969
"blasted_case30";0.000417438983281998;0.999967694439242;0.000471429816637202;0.999922099780422;0.0863573108752161;0.369133071166169;6.89293423615564e-06;1;0.00043670986850386;0.999955121513836;0.00359924289088157;0.999972940347955
"blasted_case31";0.000833067614938209;0.990402979378319;0.000372783084694771;0.999921032830267;0.00853493944282764;0.998965825000644;0.00540841875773069;0.99901926725139;0.000569971613885034;0.998878293203935;0.00829555028314088;0.987705458307311
"blasted_case32";0.000771880522035643;0.993632757106685;0.000539808217055147;0.999191096280203;0.00396241801389988;0.99998429311426;0.0029465140010697;0.999979557694219;0.000457975649433488;0.999706257061213;0.00374866227508954;0.999885877682317
"blasted_case33";0.000534168208680713;0.999240970257555;0.000524551945621538;0.999320329558921;0.103972702871651;0.000568160922993499;0.00539787485790844;0.999030697302428;0.00112519765383909;0.957415420771359;0.00428793944834484;0.999731694290472
"blasted_case34";0.00235807493235953;0.999999998020158;0.00481592324316232;0.990390010724663;0.408358432191908;0;NA;NA;0.00139865238921648;1;NA;NA
"blasted_case35";0.00191596469444673;1;0.00118634783393173;1;0.14775672600094;0;NA;NA;0.00203146963762506;1;NA;NA
"blasted_case36";0.000620776004831656;0.993917548603966;0.23268117994612;0;0.00519194788890966;0.999961910744181;0.00181396587205233;0.999999601709569;0.000591559468708286;0.995216341678681;0.0082272052589725;0.954088283914629
"blasted_case38";0.000813297242331518;0.999997650756285;0.00113533984290588;0.999904569074495;0.0689594673262716;0.991591234737184;6.41594380972417e-07;1;0.000615436676300128;0.99999991693682;0.0105104982931645;0.999400447531034
"blasted_case39";0.000719442723592267;1;0.1606356862887;0;0.293944621052908;0;NA;NA;0.00111260336637131;1;NA;NA
"blasted_case4";0.00121042616838319;0.999999678793419;0.00120919367408103;0.999999683858224;0.0947794956542785;0.552868786897256;NA;NA;0.00225575212624153;0.99831678034056;0.0113388804070692;0.999999899073653
"blasted_case40";0.00100763555530599;1;0.1644923658009;0;0.240377264499243;0;NA;NA;0.00111012732310023;1;NA;NA
"blasted_case41";0.000719442723592267;1;0.166084500089824;0;0.233559855939694;0;NA;NA;0.00123017552405166;1;NA;NA
"blasted_case43";0.00116316163602426;0.999994742796218;0.000762801512219644;0.999999985001531;0.156820341496864;0.00807411491903065;NA;NA;0.00112123104563065;0.999996757945487;0.00967236562933174;0.999997898366078
"blasted_case44";0.00108299940480733;0.999999811103312;0.00102615165502033;0.999999917255104;0.204150646415851;0.217730044687504;NA;NA;0.00136822948542013;0.999994180300042;0.00826097209432669;0.99999983858338
"blasted_case45";0.000765043964280018;0.999999984345536;0.00121629926738603;0.999990607866687;0.11128783594902;0.594341529316816;NA;NA;0.00115230274709076;0.99999535099813;0.00757546961847034;0.999999928499625
"blasted_case46";0.00139099820450339;0.99999555758507;0.00132985511979609;0.999997691344146;0.210465817948888;0.896899928972499;NA;NA;0.000706711050240065;0.999999999908893;0.0088611157740949;0.999999773654811
"blasted_case47";0.00126931079143629;0.99988255654364;0.00125064821352381;0.999900169121316;0.710274161898046;0;NA;NA;0.000498511316439894;0.999999999019236;0.00651040422224911;0.999999672984856
"blasted_case5";0.000806405685458307;0.999999999998301;0.0013214848625424;0.999999974289255;0.045697078201918;0;NA;NA;0.000939102799437268;0.999999999963015;0.00637480519487192;0.999999999999144
"blasted_case50";0.00246226023005606;1;0.00211604156851792;1;0.357180376778325;0;NA;NA;0.00247992290337763;1;NA;NA
"blasted_case51";0.000813011876863907;0.9999998455223;0.00105552037888481;0.999995343264864;0.417627886411325;1.62631933475765e-08;NA;NA;0.00115091467672502;0.999986366209895;0.00772566615170867;0.99999889516018
"blasted_case52";0.00137775096488099;0.999885198884202;0.0011438699876433;0.999987354258863;0.27798684903024;1.26121335597418e-13;NA;NA;0.0011366947286194;0.999988294537237;0.00655852711416521;0.999999874136307
"blasted_case53";0.00137775096488099;0.999885198884202;0.000755062125195771;0.999999943408355;0.0865416401779139;0.795468132173668;NA;NA;0.000744884835663476;0.999999953012064;0.0074540543581262;0.999999307591107
"blasted_case54";0.0016609112320248;0.999999997927885;0.00174868889188091;0.999999993431149;0.263637332154873;0;NA;NA;0.00164753794416636;0.999999998274441;0.0139243638120082;0.999999999295367
"blasted_case55";0.00148422957350259;0.999999793065988;0.00169663435020783;0.999997944222459;0.41481326956684;0.92829799973299;NA;NA;0.0011512737851789;0.999999998039825;0.00833619408483116;0.999999999965285
"blasted_case56";0.00170462067512705;0.99999999628206;0.00160367300481716;0.999999999066667;0.0408962823300149;0;NA;NA;0.00121376245342749;0.99999999999878;0.0134205456033117;0.999999999699256
"blasted_case57";0.00134780612977957;0.999999998866424;0.0510739410435049;0;0.126662478969536;0;NA;NA;0.000872766114427436;0.999999999999921;0.00978577693125144;0.999999999421952
"blasted_case58";0.00102724833738647;0.99994322665607;0.000651625670838366;0.999999642070087;0.018173813913913;0.978798215848959;0.0067618870883592;0.999998455296234;0.000674388409681421;0.999999465358025;0.00402508185175392;0.999999996361423
"blasted_case59";0.001042308297437;0.999887208025349;0.151659941938779;0;0.134508127322372;0.00821667547744642;0.0112438155185562;0.999461629830249;0.000969769269633247;0.999945453230083;0.0102663556710396;0.999750201321353
"blasted_case59_1";0.00138021008018268;0.998411408570871;0.145936201049123;0;0.0216791883868677;0.967318182793978;0.00781536983356247;0.999985829431391;0.000865881024514305;0.999983149567264;0.00547355342704453;0.999999688004171
"blasted_case6";0.00193529554843328;1;0.00166116671665689;1;0.3291754304335;0;NA;NA;0.00211524378072549;1;NA;NA
"blasted_case60";0.000223156166005896;0.959580394384578;0.000251917809139212;0.947729626486967;0;1;0.0319772910042078;0.984836830719521;0.000403165584323642;0.866512786074606;NA;NA
"blasted_case61";0.00144599441910659;1;0.0134048085922561;5.72449263411823e-05;0.210311460495851;0;NA;NA;0.00110162311340629;1;NA;NA
"blasted_case62";0.00160020507833105;0.999999986881085;0.00132395650159606;0.999999999768439;0.118416298389811;0;NA;NA;0.00206012362050799;0.999998114237394;0.00820107792726751;0.999999999996902
"blasted_case63";0.000858962380579814;0.999991685824798;0.260253904381375;0;0.0279455213162032;0.935156564796343;0.00613434730392932;0.999999498165018;0.000825529122639233;0.999994643098557;0.00651914035612661;0.999998816388824
"blasted_case64";0.000577569757588927;0.999999575300552;0.000639550011135451;0.999998704649759;0.013622944632724;1.23572865273758e-08;NA;NA;0.000897436388297791;0.999955636620191;0.0107610253802437;0.999299572341026
"blasted_case68";0.000768280781317069;1;0.0240920784841163;0;0.149235924670891;0.137959691765528;NA;NA;0.0013657157760633;0.999999999959904;0.0124778928968264;0.999999999916894
"blasted_case7";0.000772977875105375;0.999999995889625;0.00112804308526028;0.999998877515833;0.143457322404501;4.42807163070214e-06;NA;NA;0.00102510333586256;0.999999714792471;0.00477364503177223;0.999999999988691
"blasted_case8";0.00127320740516126;0.999999999985567;0.0013943134837351;0.999999999880792;0.0493862952986073;0.999986178476399;NA;NA;0.00126843689988442;0.999999999986787;0.0110409420265396;0.999999999997338
"blasted_case9";0.00126625359970352;1;0.00121001754604126;1;0.0766977435358194;0;NA;NA;0.00117426016372889;1;NA;NA
"blasted_squaring22";0.00161957153407802;1;NA;NA;0.169799816952659;0;NA;NA;0.00137243917044476;1;NA;NA
"blasted_squaring26";0.00371364494401269;1;0.837197389614896;0;0.572199801421464;0;NA;NA;0.00338120748151344;1;NA;NA
"blasted_squaring50";0.00271982758767374;1;0.0690322543473364;0;0.166153431414207;0;NA;NA;0.00261053734467735;1;NA;NA
"blasted_squaring51";0.00260333367560095;1;0.150367587836498;0;0.324439967131908;0;NA;NA;0.00254004063869641;1;NA;NA
"busybox";0.00108538817988128;1;0.00164366441790401;1;0.999999999996183;0;NA;NA;0.00114152463426789;1;NA;NA
"DellSPLOT";0.000301372030140341;0.996110829118046;0.000428259306437581;0.985589733582372;0.2338054409079;0.846181182555997;NA;NA;0.000247105650436578;0.998210629333151;0.00323511754502702;0.961924151813797
"embtoolkit-onlybool";0.00135252006224882;1;NA;NA;0.988423541400581;1;NA;NA;0.527338784616096;0;NA;NA
"fiasco";0.000842656124068077;0.999993271757849;0.00065471072125056;0.999999621697907;0.986736847024362;0.296957388493631;NA;NA;0.000934242660493665;0.999979246254448;NA;NA
"GuidanceService2.sk_2_27";0.00167716678971723;1;0.00130971439197365;1;0.522945889331789;0;NA;NA;0.00176004317168957;1;NA;NA
"jhipster";0.00056116562607245;0.999734439453018;0.000931219440188004;0.993043694303437;0.0430482847824668;1.82026504980115e-10;0.00554319283227556;0.99986843372069;0.0007650646757023;0.997917406456296;0.00785194955352464;0.99856058431574
"LargeAutomotive";0.00101049871218235;1;NA;NA;1;0;NA;NA;0.0012345695907948;1;NA;NA
"polynomial.sk_7_25";0.000787949734404561;0.999993840193616;0.00131463124600366;0.998972465790833;0.171722954832899;0.999910402486691;NA;NA;0.00057362596802921;0.999999822920239;NA;NA
"registerlesSwap.sk_3_10";0.00131038216243955;0.999994706187026;0.420836871850236;0;0.0812949325414791;0.999999786704093;NA;NA;0.00105373493205172;0.999999769571834;NA;NA
"s1196a_3_2";0.00190101623749145;0.999999999999994;0.00153194423630891;1;0.0174923762230538;1.21725487467472e-08;NA;NA;0.00184791831820462;0.999999999999998;NA;NA
"s1196a_7_4";0.00181941421037736;0.999999999999999;0.00174208612122738;1;0.0170746085460494;0.00448286791751273;NA;NA;0.00188778954876866;0.999999999999998;NA;NA
"s1238a_3_2";0.00163553438695573;1;0.334950285225991;0;0.0792595950160594;0;NA;NA;0.00168964112537845;1;NA;NA
"s1238a_7_4";0.00195269072894317;1;0.0970689124171361;0;0.030271443063226;0;NA;NA;0.002250479770399;1;NA;NA
"s1488_15_7";0.00391711657631514;0.99999999999922;0.00248308790698091;1;0.00463384893179005;1;NA;NA;0.0029005662284679;0.999999999999986;NA;NA
"s1488_7_4";0.0032144962607193;0.999999999827634;0.00223719362440282;1;0.0074809014513315;0.999767543791155;NA;NA;0.002051665546086;1;NA;NA
"s27_15_7";0.000140191966074689;0.994900116267997;0.000322355546803107;0.955062425601788;-1.83052943075138e-17;1;0.00100811103657787;0.999981981782076;0.000276745882214627;0.969202282292099;0.00713155775400249;0.789313908697086
"s27_3_2";4.98823237915542e-05;0.999729732354387;0.000491634635888535;0.880916377389869;-1.83052943075138e-17;1;0.00100811103657787;0.999981981782076;0.000518018094364213;0.86679913439038;0.00285383819235939;0.973709188212333
"s27_7_4";0.000648479366063398;0.790024487281921;0.000259858079124295;0.973734981780309;-1.83052943075138e-17;1;0.00100811103657787;0.999981981782076;0.00012186972750957;0.996537988683816;0.0070115369831468;0.796106316523766
"s27_new_15_7";0.000522294870455889;0.864458007533648;0.000226466266507739;0.981559893974377;1.66845130407027e-17;1;0.00250326942282171;0.999914958104718;0.000368721785590634;0.937957993309475;0.00600429016509931;0.871572194570176
"s27_new_3_2";0.000665524672101801;0.779346374419269;0.000756493957779351;0.720878298166689;1.66845130407027e-17;1;0.00250326942282171;0.999914958104718;0.00100054809914377;0.562220333562444;0.006379735707489;0.854024268308021
"s27_new_7_4";0.000522294870455889;0.864458007533648;0.000313271015727329;0.958096268985346;1.66845130407027e-17;1;0.00250326942282171;0.999914958104718;0.000121554756365644;0.996562821404958;0.0102811265418709;0.645172212995004
"s298_15_7";0.00325908090996494;0.999999997386875;0.00269265828218732;0.999999999995763;0.0417725374546484;0;NA;NA;0.00217131459182648;0.999999999999998;0.0229020453437414;0.999999999999049
"s298_3_2";0.00128546005937719;0.999968643173377;0.000507862876405195;0.999999999918495;0.0387272440299033;0;NA;NA;0.00133071655517975;0.999952318289722;0.00922538902008082;0.999947383466237
"s298_7_4";0.00144660681257223;0.999999868588303;0.000993852413343069;0.999999999886336;0.00694365187745837;0.0850059657350161;NA;NA;0.00155500096345963;0.999999533374575;0.00719030759532868;0.999999999937639
"s344_15_7";0.00295051954033983;0.999999999956458;0.0021591209345633;1;0.0492569001827407;0;NA;NA;0.00154446533695723;1;0.0175613730386412;1
"s344_3_2";0.00105389204493166;0.999999999954121;0.0014444561235609;0.999999974792972;0.0477145430525742;0;NA;NA;0.00129156716023504;0.999999997140531;0.0108842178231589;0.999999992465739
"s344_7_4";0.00112216626170445;0.99999999999998;0.00166530408858844;0.999999999561675;0.0620986618348702;0;NA;NA;0.00110982754624908;0.999999999999985;0.0144409481062698;0.999999999010134
"s349_15_7";0.00233198614994277;0.999999999998738;0.0018605307834114;1;0.0396747080859139;0;NA;NA;0.00199096067332521;0.999999999999995;0.0168186903918795;0.999999999999998
"s349_3_2";0.00140794304280493;0.999999991213498;0.000847280413492281;0.999999999999802;0.0317824691558542;0;NA;NA;0.00130465809949347;0.999999998078744;0.00907751519655896;0.999999999911055
"s349_7_4";0.00131446824847366;0.999999999634673;0.0016554716334248;0.999999956130301;0.0878584112616821;0;NA;NA;0.0013237241155779;0.999999999575254;0.0109517944757673;0.99999999895024
"s382_15_7";0.0022877350843354;0.999999999999989;0.00292452909502733;0.999999999926325;0.0925399447643072;0;NA;NA;0.0019490622029174;1;NA;NA
"s382_3_2";0.00110228330690142;0.999997414585191;0.000854411788625986;0.999999923049482;0.0342812384870943;0;NA;NA;0.000929092843232086;0.999999749114957;0.00960358285633394;0.999844941048108
"s382_7_4";0.000935547072409171;0.999999999928965;0.00114281735123503;0.99999999678244;0.162696980021633;0;NA;NA;0.00103467857912521;0.999999999505152;0.00547024810590693;0.999999999996477
"s420_15_7";0.00208792681663969;0.999999999999763;0.0017349209030661;1;0.807650222604286;0;NA;NA;0.00183495658283816;0.999999999999997;NA;NA
"s420_3_2";0.00125722854191231;0.999999996918227;0.00122989131359773;0.999999997994256;0.132513667717512;0;NA;NA;0.000795218983566204;0.999999999999749;0.0080564817018962;0.999999998808166
"s420_7_4";0.00143603208694803;0.999999998654136;0.00127548378245045;0.999999999898151;0.513683133392993;0;NA;NA;0.00123353373497463;0.999999999951567;NA;NA
"s420_new_15_7";0.00182048542331579;0.999999999999773;0.00177952320341496;0.999999999999889;0.864218221691427;0;NA;NA;0.0016004996152772;0.999999999999996;NA;NA
"s420_new_3_2";0.000861574400628681;0.99999999999987;0.00103678531384478;0.999999999992049;0.354281682552148;0;NA;NA;0.00100324863687828;0.999999999996131;0.00815857946798459;0.999999999812695
"s420_new_7_4";0.00132692516142097;0.999999999756797;0.00167752740212469;0.999999965510305;0.435149100558939;0;NA;NA;0.00118688261147751;0.999999999979601;NA;NA
"s420_new1_15_7";0.00213719619218699;0.999999999999485;0.00185335291210432;0.999999999999996;0.818722719930154;0;NA;NA;0.00189614773611638;0.999999999999991;NA;NA
"s420_new1_3_2";0.000773982865112345;0.99999999999986;0.00103025892535231;0.999999999942376;0.459647455567309;0;NA;NA;0.00130996766208205;0.999999993170826;0.00835751743458079;0.999999997550402
"s420_new1_7_4";0.0014197266652691;0.999999998946381;0.00136611842952989;0.999999999541162;0.415286851531714;0;NA;NA;0.00122392357793192;0.999999999959332;NA;NA
"s444_15_7";0.00254859526674481;0.999999999990289;0.00184731357970752;1;0.0391142151272287;0;NA;NA;0.00224362479255143;0.999999999999878;NA;NA
"s444_3_2";0.00109658184686833;0.999999875806657;0.00101229751089954;0.999999964806342;0.0291042788866254;0;NA;NA;0.00102645636595572;0.999999956106449;0.00584419377526929;0.99999999112697
"s444_7_4";0.00148378440409828;0.999999997299146;0.00159193743295457;0.999999988213497;0.0577748127216446;0;NA;NA;0.00177525421670125;0.999999892425565;NA;NA
"s510_15_7";0.00147404199329998;0.999999992821278;0.00121455792482301;0.999999999875225;0.281758379147138;0;NA;NA;0.000857095899046113;0.999999999999948;NA;NA
"s510_3_2";0.00157000142043386;0.999997616085584;0.00141253998694427;0.999999572116308;0.561022328499773;0;NA;NA;0.00105833648849291;0.999999997132632;0.0055833114635271;0.999999999957888
"s510_7_4";0.00113617235043103;0.999999994555457;0.0014842624442137;0.999999418887967;0.633451479745445;0;NA;NA;0.000736354137258286;0.999999999998609;NA;NA
"s526_15_7";0.0019668357487871;1;0.14238810071458;0;0.35792873485028;0;NA;NA;0.00216026762739748;1;NA;NA
"s526_3_2";0.00118634674595019;0.999999999855908;0.00145716728735798;0.999999990088034;0.0700827998260758;0;NA;NA;0.001387078410419;0.999999996322254;NA;NA
"s526_7_4";0.00163805813241299;0.999999999968433;0.00150384023506572;0.999999999996636;0.0947842713119268;0;NA;NA;0.00188342151998837;0.999999998926234;NA;NA
"s526a_15_7";0.00243471336993255;1;0.428750463497368;0;0.397268944750197;0;NA;NA;0.00292166669658947;0.999999999999993;NA;NA
"s526a_3_2";0.00138849585546472;0.999999999891706;0.00208753507940605;0.999999312886355;0.0780825970185228;0;NA;NA;0.000982015787642259;0.999999999999973;NA;NA
"s526a_7_4";0.00200971940061356;0.999999999718554;0.00132009331431556;0.999999999999998;0.199966394712027;0;NA;NA;0.0018323889012192;0.999999999977046;NA;NA
"s641_15_7";0.00164241775593032;1;0.00166778151646073;1;0.0761400963381851;0;NA;NA;0.00183261142723598;1;NA;NA
"s641_3_2";0.00151152100926688;1;0.00146084368849177;1;0.251384189554549;0;NA;NA;0.00152872130190901;1;NA;NA
"s641_7_4";0.00154448727395066;1;0.00124536584554694;1;0.0695304490170684;0;NA;NA;0.0014588588078354;1;NA;NA
"s713_15_7";0.00184089584029158;1;0.00229169103007944;1;0.351027286688194;0;NA;NA;0.00216850298213863;1;NA;NA
"s713_3_2";0.00130828907148757;1;0.00132662001832779;1;0.0461827567269866;0;NA;NA;0.00142648637512125;1;NA;NA
"s713_7_4";0.00143343123977839;1;0.00122370531179364;1;0.05153991058692;0;NA;NA;0.00163700983086136;1;NA;NA
"s820a_15_7";0.00221972421926127;1;0.00202872090875851;1;0.382432203439539;0;NA;NA;0.00271577699000351;0.999999999999991;NA;NA
"s820a_3_2";0.00168021078446106;0.999973938168278;0.000619398301905212;0.999999999998415;0.209016090462306;0;NA;NA;0.0010360981258089;0.999999985926169;NA;NA
"s820a_7_4";0.0012468742642575;0.999999997377191;0.00122298010102025;0.999999998204103;0.234398204555561;0;NA;NA;0.00146832226126575;0.999999940886935;NA;NA
"s832a_15_7";0.00192010831601556;1;0.00289465569871393;0.99999999999998;0.434663858770222;0;NA;NA;0.0021888256332;1;NA;NA
"s832a_3_2";0.00145569997355044;0.999999990285358;0.00144386576286656;0.999999991747882;0.055157837367681;0;NA;NA;0.00109516951251381;0.9999999999739;NA;NA
"s832a_7_4";0.00160639790548268;0.999999999894853;0.000969856847261384;1;0.441282633984683;0;NA;NA;0.00186592478566384;0.999999996145054;NA;NA
"s838_15_7";0.00240007782793281;1;0.00213697047325691;1;0.738407936792591;0;NA;NA;0.0024456210308693;1;NA;NA
"s838_3_2";0.00120483270986532;1;0.00113241209920062;1;0.342201202704528;0;NA;NA;0.00105425028875452;1;NA;NA
"s838_7_4";0.00112697417154908;1;0.0009914345571336;1;0.36310681905608;0;NA;NA;0.00113336639980601;1;NA;NA
"s953a_3_2";0.00117037569998185;0.999999999996134;0.00135559259409641;0.999999999884649;0.126073588837057;0;NA;NA;0.000751943682011537;1;NA;NA
"s953a_7_4";0.00142086917451675;0.999999999999609;0.00119097143695139;0.999999999999997;0.323464008619636;0;NA;NA;0.0015760562284244;0.999999999993569;NA;NA
"tableBasedAddition.sk_240_1024";0.000692942794043681;1;0.000774161605337879;1;0.211348669980758;0;NA;NA;0.000841096239831786;1;NA;NA
"toybox";0.00133899237255998;1;0.000994123755379469;1;0.290741164647752;0;NA;NA;0.000847214201971299;1;NA;NA
"uClibc";0.00115069697412696;1;0.000899167176645026;1;0.999999985211234;1;NA;NA;0.00108616635839854;1;NA;NA