"model";"bdd_satdist_p";"bdd_varprob_p";"quicksampler_satdist_p";"quicksampler_varprob_p";"smarch_satdist_p";"smarch_varprob_p";"spur_satdist_p";"spur_varprob_p";"unigen2_satdist_p";"unigen2_varprob_p";"kus_satdist_p";"kus_varprob_p"
"10.sk_1_46";1;1;0;0;NA;NA;0.999999998077953;1;NA;NA;0.999999999617072;1
"107.sk_3_90";1;1;0;0;NA;NA;1;0;NA;NA;1;0
"109.sk_4_36";0.999999999974571;1;0;0;NA;NA;0.999999991531536;1;NA;NA;0.999999999999289;1
"110.sk_3_88";1;1;0;0;NA;NA;1;1;NA;NA;NA;NA
"111.sk_2_36";0.999995180894134;1;0;0;NA;NA;0.999999998092984;1;NA;NA;0.999999983745898;1
"19.sk_3_48";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"27.sk_3_32";0.999999985370756;1;0;0;NA;NA;0.999998746011844;1;NA;NA;0.999992539575033;1
"32.sk_4_38";0.99999999485851;1;0;0;NA;NA;0.999999999831418;1;NA;NA;0.999954760319188;1
"35.sk_3_52";0.999999999997912;1;0;0;NA;NA;0.999999997543069;1;NA;NA;0.999999999951863;1
"53.sk_4_32";0.999998127234713;1;0;0;NA;NA;0.999999999790857;1;NA;NA;0.999999999893898;1
"55.sk_3_46";0.999999999999122;1;0;0;NA;NA;0.999999999999225;1;NA;NA;0.999999999994251;1
"77.sk_3_44";0.999999999436702;1;0;0;NA;NA;0.999999998610567;1;NA;NA;0.999999591291595;1
"84.sk_4_77";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"axtls";0.999999999993091;1;0;0;NA;NA;0.99999999999634;0.999999999967123;NA;NA;0.999999998757372;0.999999999999975
"blasted_case_0_b11_1";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_0_b12_1";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_0_b12_2";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_1_b11_1";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_1_b12_1";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_1_b12_2";1;1;0.999990294035043;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_1_b14_1";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case_1_b14_2";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case_1_b14_3";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case_2_b12_1";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_2_b12_2";1;1;7.66420260589484e-12;0;NA;NA;1;1;NA;NA;0;0
"blasted_case_2_b14_1";0.999999999999991;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case_2_b14_2";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case_2_b14_3";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case_3_b14_1";0.999999999999991;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case_3_b14_2";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case_3_b14_3";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case1";0.999999999134255;1;7.99306731913418e-10;0;NA;NA;0.999999998982935;1;0.999999999207925;1;0.999999658218364;1
"blasted_case10";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case100";0.9999999993182;1;0;0;0.999999999999999;1;0.999999999997542;1;0.999999999502628;1;0.999999999861226;0.999999999999997
"blasted_case101";0.999999999715074;1;0;0;0.999999999990264;1;0.999999999996981;0.999999999999999;0.999999999377319;1;0.999999999466182;1
"blasted_case102";0.998704198503356;0.999999999970623;0.999999999999997;1;1;1;0.99858858264349;0.999999999985722;0.999479084223527;0.999999959672779;0.992512226710297;0.999999999999853
"blasted_case103";0.989244893269821;0.999999877436054;1;1;1;1;0.988712682796945;0.999999265930806;0.999898447094982;0.999999998110342;0.998408508641195;0.999696545472806
"blasted_case105";1;1;0;0;NA;NA;0.999999999999991;1;NA;NA;1;1
"blasted_case106";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case108";0.999999999999998;1;0;0;NA;NA;0.999999999997668;1;0.999999999987289;1;1;1
"blasted_case109";0.999999999999999;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case11";0.999999900383611;1;0.999334539455642;0;NA;NA;0.999993910458511;1;0.999995523584797;1;0.999998534206395;1
"blasted_case110";0.999999998378013;1;0.045460800232324;0;NA;NA;0.999999989842917;1;0.999999999976756;1;0.99999984552742;1
"blasted_case111";0.999999412082848;1;0.547578817634796;0;NA;NA;0.999999981048688;1;NA;NA;0.999999582112881;1
"blasted_case112";0.999999456643227;1;0;0;NA;NA;0.999999996111201;1;0.999811864578052;1;0;0
"blasted_case113";0.999999890183288;1;4.44089209850063e-15;0;NA;NA;0.999999997920195;1;NA;NA;0.999999639283117;1
"blasted_case114";0.999999999999757;1;0;0;NA;NA;0.999999999999999;1;NA;NA;0.999999999999995;1
"blasted_case115";0.999999999999226;1;0;0;NA;NA;0.999999999999674;1;NA;NA;0.999999999999994;1
"blasted_case116";0.999999999999488;1;0;0;NA;NA;0.999999999999881;1;NA;NA;0;0
"blasted_case117";0.999999113316466;1;2.12100226271161e-10;0;NA;NA;0.999999999765857;1;NA;NA;0.999999997268166;1
"blasted_case118";0.999999996126421;1;0;0;NA;NA;0.999999999672262;1;NA;NA;0.999999991095307;1
"blasted_case119";1;1;0;0;NA;NA;1;1;1;1;0;0
"blasted_case120";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case121";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case122";0.999999966049519;1;0;0;NA;NA;0.999999116241383;1;NA;NA;0.99999996542416;1
"blasted_case123";0.999999999997053;1;0;0;NA;NA;0.999999999995106;1;1;1;0;0
"blasted_case124";1;1;0;0;NA;NA;0.999999999999998;1;1;1;0.999999999997915;1
"blasted_case125";0.999999998454715;1;0;0;NA;NA;0.999999998117745;1;NA;NA;0.999999999867577;1
"blasted_case126";0.999999999999258;1;0;0;NA;NA;0.999999999996407;1;NA;NA;0.999999999999981;1
"blasted_case127";0.932430431590485;0.999999978630375;1;1;0.999999992573703;1;0.998650240404464;0.999989433408091;0.544895389887115;0.991225933411851;0.987345611534603;0.999999899588655
"blasted_case128";0.932430431590485;0.999999978630375;1;1;0.999999992573703;1;0.941588422090159;0.999999998958159;0.846134699654309;0.992208327854958;0.970670559349922;0.999999999939777
"blasted_case130";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case131";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case132";1;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case133";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case134";0.999999997831214;1;0;0;0.999999999968525;0.999999999800721;0.999999905137476;0.999999999412421;0.99999969954208;0.999999946500622;0.999999999889565;0.999999999917826
"blasted_case135";0.999999998836088;1;1.22721236506251e-08;0;NA;NA;0.999999999999897;1;1;1;0.999999999999995;1
"blasted_case136";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case137";0.999999999952644;0.999999999948592;0;0;0.999999999999907;1;0.999999999999696;1;0.999999998615275;1;0.999999999975391;0.999999999999999
"blasted_case14";1;1;0;0;NA;NA;0.999999999997631;1;NA;NA;2.23338963656339e-07;0
"blasted_case144";1;1;0;0;NA;NA;1;1;NA;NA;1;0.950257012607131
"blasted_case145";1;1;0;0;NA;NA;0.999999999999999;1;NA;NA;1;1
"blasted_case146";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case15";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case17";0.999999592430228;1;1;1;1;1;0.999999999262181;1;0.999937156657298;1;0.999999760325367;1
"blasted_case19";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case2";0.999999999999998;1;0;0;NA;NA;0.999999999999935;1;0.999999999993638;1;1;1
"blasted_case20";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case200";0.990458574193691;0.999999094477764;1;1;0.902445022833197;0.999920151794256;0.921151318039757;0.99975102095436;NA;NA;0.7472190136401;0.995675059102109
"blasted_case201";0.999999999967365;1;0;0;NA;NA;0.999999999999984;1;1;1;0.999999999999983;1
"blasted_case202";0.999999999999998;1;0;0;NA;NA;0.999999999999999;1;1;1;1;1
"blasted_case203";0.999999999999941;1;0;0;NA;NA;1;1;1;1;1;1
"blasted_case204";1;1;0;0;NA;NA;1;1;0.999999999984427;1;1;1
"blasted_case205";1;1;0;0;NA;NA;1;1;1;1;0.99999999999897;1
"blasted_case206";0.878505602560497;0.997186171773264;1;1;0.902445022833197;0.999920151794256;0.95025641235065;0.9998580658546;NA;NA;0.859191958149743;0.998111777703004
"blasted_case207";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case208";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case21";0.999995069282515;1;0.945781065757697;0;NA;NA;0.999999799209937;1;0.999999325556101;1;0.999999975005808;1
"blasted_case210";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case211";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case213";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case214";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case22";0.999999792164169;0.999999999999912;0.979873985771821;0;NA;NA;0.999998551390284;0.999999999999992;0.999781647812671;1;0.999977651544547;1
"blasted_case23";0.999999770752078;1;1;1;1;1;0.999999963272087;1;0.999971036670798;1;0.999989093707878;0.9999999974186
"blasted_case24";0.999997808374576;1;1;1;1;1;0.994265581549207;0.999999999986427;0.974644607572036;1;0.99999988113131;1
"blasted_case25";0.999989402939834;1;1;1;1;1;0.999999918797305;1;0.986034911857255;1;0.999898838014539;1
"blasted_case26";0.999904194834882;0.999999810153023;1;1;1;1;0.981817832359314;0.999999999109553;0.997358082538503;0.999999999999789;0.999760266020018;0.999999999999922
"blasted_case27";0.997871179053188;0.999999999960615;1;1;1;1;0.999498330891698;0.999999999858127;0.999798825108547;1;0.994975553327001;0.999999999993928
"blasted_case28";0.999958132191244;0.999999999940756;1;1;1;1;0.999918008946155;1;0.999958597408023;0.999999999987999;0.998975959871703;1
"blasted_case29";0.99910446281397;1;1;1;NA;NA;0.999927085092348;0.999999999999632;0.999960912126808;1;0.996346901144075;0.999999999999999
"blasted_case3";0.999999999861546;1;0;0;NA;NA;0.999999999999992;1;0.999999999999717;1;1;1
"blasted_case30";0.999986378809818;1;1;1;1;1;0.999999182718863;1;0.999928126045722;0.999999999999973;0.9991082562245;1
"blasted_case31";0.999871520522175;1;1;1;1;1;0.995475983341725;0.999999999949746;0.999856293095331;1;0.992660817992887;0.999999999971488
"blasted_case32";0.997871179053188;0.999999999960615;1;1;1;1;0.999672489662347;1;0.978811141533971;0.999999999963805;0.999588704530328;1
"blasted_case33";0.999958132191244;0.999999999940756;1;1;1;1;0.999322457085506;1;0.999024227029303;0.999999999999872;0.999765663618268;0.99999999999798
"blasted_case34";0.999999999988479;1;0;0;NA;NA;1;1;NA;NA;4.74951411533198e-09;0
"blasted_case35";1;1;0;0;NA;NA;1;0.999999999999892;NA;NA;1;1
"blasted_case36";0.998379542628213;1;1;1;0.999999601709569;1;0.999953562911932;1;0.983598421473865;0.999999999999818;0;0
"blasted_case38";0.999889000548201;1;0.999999999999965;1;NA;NA;0.999999066486512;1;0.999999966322718;1;0.999962444630074;1
"blasted_case39";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case4";0.999930752776869;1;0.256352145740148;0;NA;NA;0.999999376564696;1;0.999999990937274;1;0.999999609105765;1
"blasted_case40";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case41";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case43";0.999904537928856;1;0.000599895038329024;0;NA;NA;0.999999839426189;1;0.999999445775283;1;0.999999265167196;1
"blasted_case44";0.999999946222801;1;0;0;NA;NA;0.999999989342754;1;0.99999801344531;1;0.999999997758616;1
"blasted_case45";0.999904537928856;1;0.163526299762979;0;NA;NA;0.999783864505764;1;0.999997933140277;1;0.999988820688973;1
"blasted_case46";0.999999005955527;1;0;0;NA;NA;0.999999524155677;1;0.999995242694252;1;0.999995030008925;1
"blasted_case47";0.999967521231637;1;0;0;NA;NA;0.999990462771282;1;0.999999778105381;1;0.999998090137779;1
"blasted_case5";0.999999998311126;1;0;0;NA;NA;0.999999999999968;1;0.999999999991247;1;0.999999999999937;1
"blasted_case50";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case51";0.999751218323923;1;0;0;NA;NA;0.999999996301822;1;0.999895838108041;1;0.999996935878677;1
"blasted_case52";0.999751218323923;1;0;0;NA;NA;0.999999941971867;1;0.999999734960723;1;0.999401497515216;1
"blasted_case53";0.999751218323923;1;0;0;NA;NA;0.999997866092686;1;0.999994378787538;1;0.999991200395476;1
"blasted_case54";0.999999999759473;1;0;0;NA;NA;0.999999999998476;1;0.999999999107131;1;0.999999998952134;1
"blasted_case55";0.999999941269399;1;8.54450254994532e-09;0;NA;NA;0.999999998837072;1;0.999999949553085;1;0.999999994452546;1
"blasted_case56";0.999999975584688;1;0;0;NA;NA;0.999999932532298;1;0.999999956399365;1;0.999999726122391;1
"blasted_case57";0.999999999947137;1;0;0;NA;NA;0.999999999514519;1;0.999999999999953;1;0;0
"blasted_case58";0.999998497554616;1;3.33066907387547e-15;0;0.999998455296234;1;0.999986383907777;1;0.999998812979357;1;0.999956789041639;1
"blasted_case59";0.999999837904001;1;4.89719291085766e-06;0;0.999461629830249;1;0.999869576747407;1;0.999992540605708;1;0;0
"blasted_case59_1";0.999999837904001;1;0;0;0.999985829431391;1;0.999999523120936;1;0.999292896766097;1;0;0
"blasted_case6";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_case60";0.976049848522381;0.999867592382347;1;1;0.984836830719521;0.999999999821345;0.945606115353344;0.999606635495505;NA;NA;0.982981814402039;0.991544607660632
"blasted_case61";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_case62";0.999999970656873;1;0;0;NA;NA;0.999999999978627;1;0.999999990410829;1;0.999999999966925;1
"blasted_case63";0.999999556524317;1;0.963136751296517;0;0.999999498165018;1;0.999951476839846;1;0.999897681278582;1;0;0
"blasted_case64";0.999320608896193;1;3.00053315527293e-11;0;NA;NA;0.99998695340018;1;0.99991530589422;1;0.999843680585554;1
"blasted_case68";0.999999999519743;1;0.383478676013816;0;NA;NA;0.999999999943119;1;0.999999999986509;1;0;0
"blasted_case7";0.99998999961522;1;5.61550805855404e-13;0;NA;NA;0.999999704909539;1;0.999956825610405;1;0.999998250871343;1
"blasted_case8";0.99999999999917;1;0;0;NA;NA;0.999999993597159;1;0.999999982408843;1;0.99999999996086;1
"blasted_case9";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"blasted_squaring22";1;1;0;0;NA;NA;1;1;NA;NA;NA;NA
"blasted_squaring26";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_squaring50";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"blasted_squaring51";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"busybox";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"DellSPLOT";0.978208114173612;1;0.501890259060616;0.946198673347587;NA;NA;0.998822783216678;1;0.991010113599644;1;0.999329087929011;0.999999999999994
"embtoolkit-onlybool";1;1;1;0;NA;NA;0;0;NA;NA;NA;NA
"fiasco";0.999998714538081;1;0.252460515468036;1.11022302462516e-16;NA;NA;0.999999629627378;1;NA;NA;0.999958348606165;0.999999999999999
"GuidanceService2.sk_2_27";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"jhipster";0.995363364178933;0.999999999857309;0;0;0.999972796355851;0.999999999658467;0.991358240564695;0.999999880160983;0.999403813512912;0.999999999998783;0.996810572993184;0.999999997826325
"LargeAutomotive";1;1;NA;NA;NA;NA;NA;NA;NA;NA;NA;NA
"polynomial.sk_7_25";0.999992572026826;1;0.999910402486691;1;NA;NA;0.999406383112356;1;NA;NA;0.999994995460776;1
"registerlesSwap.sk_3_10";0.999999701324887;1;0.999999786704093;0;NA;NA;0.999995059756761;1;NA;NA;0;0
"s1196a_3_2";1;1;1.14278242424604e-09;0;NA;NA;1;1;NA;NA;1;1
"s1196a_7_4";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s1238a_3_2";1;1;0;0;NA;NA;0.999999999999997;1;NA;NA;0;0
"s1238a_7_4";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"s1488_15_7";0.999999999999177;1;1;1;NA;NA;1;1;NA;NA;1;1
"s1488_7_4";1;1;1;1;NA;NA;1;1;NA;NA;1;1
"s27_15_7";0.934951793207764;0.999999983131068;1;1;0.999981981782076;1;0.950191563681176;0.999999812478269;0.0123103538650695;0.998457832164994;0.981508397607205;0.999999680555067
"s27_3_2";0.994931439302664;0.999986853979644;1;1;0.999981981782076;1;0.947129907036773;0.999814916990398;0.0013178804056786;0.978476891568668;0.998098641449709;0.999967113592847
"s27_7_4";0.974531771398801;0.999990566542718;1;1;0.999981981782076;1;0.925104907315087;0.999955313586805;0.0624736315624757;0.998523520357309;0.991716478178444;0.999123569834586
"s27_new_15_7";0.970370684916543;0.999902280972632;1;1;0.999914958104718;1;0.975914579574177;0.999999998609934;0.00057364668833837;0.601997198410044;0.961476705362405;0.989875395407927
"s27_new_3_2";0.905318291045101;0.999999999633834;1;1;0.999914958104718;1;0.959884693777716;0.999993244471447;0.0051019671141278;0.998795099892439;0.998135601533559;0.999999999872819
"s27_new_7_4";0.970370684916543;0.999902280972632;1;1;0.999914958104718;1;0.841318069906371;0.992088352355962;0.00527587686635411;0.998570437835059;0.990965684215959;0.999621395296802
"s298_15_7";1;1;0;0;NA;NA;0.999999999999998;1;0.999999999999878;1;0.999999999996851;1
"s298_3_2";0.999999938318481;1;1.55009338698164e-12;0;NA;NA;0.999995892910331;1;0.999995989146503;1;0.999999843582579;1
"s298_7_4";0.999992212122425;1;0;0;NA;NA;0.999999662498857;1;0.999999999825469;1;0.999999992788373;1
"s344_15_7";1;1;0;0;NA;NA;1;1;1;1;0.999999999999997;1
"s344_3_2";0.999999998816255;1;0;0;NA;NA;0.999999999991524;1;0.999999938337823;1;0.999999996755167;1
"s344_7_4";0.99998388706691;1;0;0;NA;NA;0.999999999997706;1;0.999999999997561;1;0.999999999995991;1
"s349_15_7";0.999999999984161;1;0;0;NA;NA;0.999999999999994;1;0.999999999999077;1;0.999999999999686;1
"s349_3_2";0.999999983215549;1;0;0;NA;NA;0.999999999539001;1;0.999999996782495;1;0.999999999944608;1
"s349_7_4";0.999999994925446;1;0;0;NA;NA;0.999999999803424;1;0.999999986455776;1;0.999999998337686;1
"s382_15_7";1;1;0;0;NA;NA;0.99999999999956;1;NA;NA;1;1
"s382_3_2";0.999999949218874;1;0;0;NA;NA;0.999999993679455;1;0.999991300636421;1;0.999952189912938;1
"s382_7_4";0.999996710472303;1;0;0;NA;NA;0.999999999328848;1;0.99999999986806;1;0.99999999868355;1
"s420_15_7";1;1;0;0;NA;NA;0.999999999999988;1;NA;NA;0.999999999999998;1
"s420_3_2";0.999999999888875;1;0;0;NA;NA;0.999999999990649;1;0.999999999999075;1;0.99999999853977;1
"s420_7_4";0.999999999998251;1;0;0;NA;NA;0.999999690312411;1;NA;NA;0.999999999999548;1
"s420_new_15_7";0.999999999999806;1;0;0;NA;NA;1;1;NA;NA;0.999999999999998;1
"s420_new_3_2";0.999999997715221;1;0;0;NA;NA;0.999999997107461;1;0.999999999955254;1;0.999999998790536;1
"s420_new_7_4";0.999999996530557;1;0;0;NA;NA;0.99999998988749;1;NA;NA;0.999999883518572;1
"s420_new1_15_7";0.999999999999998;1;0;0;NA;NA;1;1;NA;NA;0.999999999997181;1
"s420_new1_3_2";0.999999982378591;1;0;0;NA;NA;0.999999999813782;1;0.999999999778439;1;0.999999999973193;1
"s420_new1_7_4";0.999999999998251;1;0;0;NA;NA;0.999999995215101;1;NA;NA;0.999999999997854;1
"s444_15_7";0.999999999999988;1;0;0;NA;NA;1;1;NA;NA;0.999999999999987;1
"s444_3_2";0.999999579094714;1;0;0;NA;NA;0.999997810640242;1;0.999999872269779;1;0.999945881821265;1
"s444_7_4";0.999998600275483;1;0;0;NA;NA;0.999999999704386;1;NA;NA;0.999999935600151;1
"s510_15_7";0.999999990854994;1;0;0;NA;NA;0.999999998109656;1;NA;NA;0.999999998007938;1
"s510_3_2";0.999999998988486;1;0;0;NA;NA;0.999999995842453;1;0.999999940456874;1;0.999999999889794;1
"s510_7_4";0.999999995926024;1;0;0;NA;NA;0.999999867054976;1;NA;NA;0.99999999292454;1
"s526_15_7";1;1;0;0;NA;NA;1;1;NA;NA;0;0
"s526_3_2";0.999999997161859;1;4.53071349499901e-05;0;NA;NA;0.999999999845056;1;NA;NA;0.999999999860207;1
"s526_7_4";0.999999999999697;1;0;0;NA;NA;0.999999999992386;1;NA;NA;0.999999999540202;1
"s526a_15_7";0.999999999999993;1;0;0;NA;NA;1;1;NA;NA;0;0
"s526a_3_2";0.999999998746887;1;0;0;NA;NA;0.99999999999636;1;NA;NA;0.999999999975685;1
"s526a_7_4";0.99999999999971;1;0;0;NA;NA;0.999999999664645;1;NA;NA;0.999999999906679;1
"s641_15_7";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s641_3_2";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s641_7_4";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s713_15_7";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s713_3_2";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s713_7_4";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s820a_15_7";0.999999999999997;1;0;0;NA;NA;0.999999999999999;1;NA;NA;1;1
"s820a_3_2";0.999896816050268;1;0;0;NA;NA;0.999999996170193;1;NA;NA;0.999998652194049;1
"s820a_7_4";0.999999997501691;1;0;0;NA;NA;0.999999988287346;1;NA;NA;0.999999971753051;1
"s832a_15_7";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s832a_3_2";0.999999999967472;1;0;0;NA;NA;0.999998657227548;1;NA;NA;0.999999986592403;1
"s832a_7_4";0.999999999832949;1;0;0;NA;NA;0.999999999993408;1;NA;NA;0.999999998588516;1
"s838_15_7";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s838_3_2";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s838_7_4";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"s953a_3_2";0.999999999999989;1;0;0;NA;NA;0.999999999860448;1;NA;NA;0.999999999923638;1
"s953a_7_4";0.999999999999982;1;0;0;NA;NA;0.99999999999998;1;NA;NA;0.999999999999904;1
"tableBasedAddition.sk_240_1024";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"toybox";1;1;0;0;NA;NA;1;1;NA;NA;1;1
"uClibc";1;1;1;0;NA;NA;1;1;NA;NA;1;1