"model";"vars";"clauses";"sample_size";"bdd_time";"quicksampler_time";"quicksampler_valid_time_percentage";"quicksampler_valid_percentage";"spur_time";"unigen2_time";"kus_time";"kus_ddnnf_compilation_time";"smarch_time"
"10.sk_1_46";1494;2215;10561;7.779;9.356;96.7293715262933;100;0.89800000000001;NA;45.7445569438934;0.0224430561065674;NA
"107.sk_3_90";8948;40147;12581;53.554;46.906;95.9152347247687;100;8.32399999999996;NA;717.785228132248;0.0387718677520752;NA
"109.sk_4_36";3565;14012;12071;20.798;31.6130000000001;95.4417486477081;87.7060724049375;0.342999999999847;NA;228.22349451828;0.0395054817199707;NA
"110.sk_3_88";18570;63471;14107;201.368;502.067;96.1867639179631;100;24.4839999999995;NA;NA;NA;NA
"111.sk_2_36";2348;5479;8684;8.212;13.622;95.0668036998972;100;0.26600000000002;NA;85.3225790443421;0.021420955657959;NA
"19.sk_3_48";6993;23867;12222;42.625;130.722000000001;96.7235813405545;100;3.51699999999983;NA;NA;NA;NA
"27.sk_3_32";1509;2707;8133;5.673;8.31099999999992;95.6082300565514;100;0.0779999999999745;NA;36.0852499961854;0.0147500038146973;NA
"32.sk_4_38";3834;13594;9161;16.6499999999999;18.0450000000001;94.7076752563028;100;0.499000000000024;NA;111.068662584305;0.0193374156951904;NA
"35.sk_3_52";4915;10547;10458;24.704;25.2019999999998;96.9605586858192;100;0.966000000000122;NA;203.66982938385;0.0211706161499023;NA
"53.sk_4_32";2586;10747;9638;11.3989999999999;20.6290000000001;95.2978816229579;100;0.0929999999998472;NA;119.841264724731;0.0337352752685547;NA
"55.sk_3_46";3128;12145;9893;14.6009999999997;18.924;95.1331642358895;100;1.46599999999989;NA;89.5967569980621;0.0192430019378662;NA
"77.sk_3_44";14535;27573;10194;73.4809999999998;109.537;95.791376429882;100;1.37800000000016;NA;1800.01314174652;0.106858253479004;NA
"84.sk_4_77";15678;70956;12766;101.128;72.4899999999998;95.8449441302252;100;12.3159999999998;NA;1913.96870998573;0.0482900142669678;NA
"axtls";64;96;7198;0.255000000000109;1.16499999999996;87.6394849785985;29.4109474854126;0.108999999999469;NA;1.26497824096714;0.00902175903320312;NA
"blasted_case_0_b11_1";340;1026;13380;13.4980000000005;6.74199999999928;95.8617620884074;100;109.456;NA;43.379306076049;5.0186939239502;NA
"blasted_case_0_b12_1";427;1385;14499;3.42799999999988;7.57499999999982;95.9603960395973;100;33.3919999999998;NA;21.1377155876162;0.997284412384033;NA
"blasted_case_0_b12_2";827;2725;18510;15.8870000000006;20.232;97.4248714907136;100;143.824000000001;NA;110.605279424668;6.52272057533264;NA
"blasted_case_1_b11_1";340;1026;13380;12.9449999999997;6.05999999999949;95.8415841584088;92.1449925261584;103.141;NA;42.4329499053956;4.69705009460449;NA
"blasted_case_1_b12_1";427;1385;14499;3.11799999999857;7.1760000000013;96.2653288740248;100;29.634;NA;21.4444615383145;1.23253846168518;NA
"blasted_case_1_b12_2";827;2725;18510;15.5329999999994;17.9529999999995;97.1536790508526;70.8860075634792;139.092000000001;NA;111.596610301971;6.84738969802856;NA
"blasted_case_1_b14_1";238;681;11917;1.33500000000095;4.28099999999904;95.5851436580157;100;15.7209999999995;1069.908;6.84115701675546;0.0938429832458496;NA
"blasted_case_1_b14_2";270;805;12200;1.56899999999951;4.90999999999985;95.7637474541641;100;15.2260000000006;1024.799;7.23601213264373;0.0719878673553467;NA
"blasted_case_1_b14_3";304;941;12663;1.71899999999914;4.98500000000058;95.9679037111152;100;20.1460000000006;NA;8.03037616729671;0.0646238327026367;NA
"blasted_case_2_b12_1";427;1385;14499;2.90599999999904;6.34000000000015;95.8832807570912;61.0662804331333;26.9789999999994;NA;21.126766447067;1.07723355293274;NA
"blasted_case_2_b12_2";827;2725;18510;13.7789999999986;19.0630000000019;97.5239993705003;94.6839546191248;119.834000000001;NA;111.233242944717;6.92075705528259;NA
"blasted_case_2_b14_1";238;681;11917;1.23600000000079;3.96799999999894;95.6401209677694;100;13.5470000000005;955.523999999999;7.08414566612374;0.0918543338775635;NA
"blasted_case_2_b14_2";270;805;12200;1.42200000000048;4.46000000000095;95.8071748878956;100;13.9809999999998;984.536;7.28551646995401;0.0824835300445557;NA
"blasted_case_2_b14_3";304;941;12663;1.72899999999936;4.94099999999889;95.9522363893792;100;20.2780000000021;NA;8.11414800071725;0.0648519992828369;NA
"blasted_case_3_b14_1";238;681;11917;1.23899999999776;4.00900000000183;95.7096532800643;100;14.030999999999;927.821;6.85607261657788;0.0939273834228516;NA
"blasted_case_3_b14_2";270;805;12200;1.41599999999744;4.45600000000195;95.7809694793124;100;14.1500000000015;1033.306;7.19212807655276;0.0728719234466553;NA
"blasted_case_3_b14_3";304;941;12663;1.75900000000183;4.98399999999674;95.8266452648705;100;22.6179999999986;NA;8.00015062332204;0.0648493766784668;NA
"blasted_case1";187;681;10561;0.908999999999651;4.32200000000012;95.4881999074571;100;0.532999999999447;13.768;3.90433495521392;0.0256650447845459;NA
"blasted_case10";328;878;13608;2.74099999999817;5.16900000000169;93.7705552331203;100;334.312000000002;NA;9.83286596489053;0.279134035110474;NA
"blasted_case11";105;371;8550;0.440999999998894;1.56500000000233;88.5623003195003;85.6023391812866;0.23700000000099;4.1140000000014;1.79804659271394;0.0309534072875977;NA
"blasted_case14";247;649;12329;1.38400000000183;4.36299999999756;95.0721980288731;100;184.721000000001;NA;6.17937486648589;0.125625133514404;NA
"blasted_case15";296;774;13322;3.07900000000154;4.82999999999811;94.5134575569457;100;926.790000000001;NA;9.38073239326331;0.344267606735229;NA
"blasted_case17";77;235;7487;0.27900000000227;0.573999999996886;61.4982578399079;26.4591959396287;0.13799999999901;2.22000000000116;1.18272278022778;0.0142772197723389;880.234
"blasted_case19";397;1126;14997;2.54999999999927;8.36899999999878;96.8813478312984;100;131.246999999999;NA;15.6197210674286;0.418278932571411;NA
"blasted_case2";296;1116;12643;1.61799999999857;5.77600000000166;95.6371191135676;63.2840306889188;3.95200000000114;300.246999999999;7.77269124984741;0.102308750152588;NA
"blasted_case20";397;1126;14997;2.54799999999886;7.16800000000148;96.1495535714062;100;68.8350000000028;NA;15.1921096343994;0.334890365600586;NA
"blasted_case3";294;1110;12643;1.61999999999898;5.6239999999998;95.6970128023048;84.323340979198;3.82700000000114;292.147000000001;7.84319679069449;0.0998032093048096;NA
"blasted_case4";103;316;8380;0.406999999999243;1.65299999999843;92.8614640049192;100;0.764999999999418;3.90100000000166;1.85827488136238;0.058725118637085;NA
"blasted_case5";176;518;10689;0.831999999998516;2.26400000000285;91.1660777384949;39.4330620263823;4.15099999999802;NA;3.91128798294084;0.0717120170593262;NA
"blasted_case6";329;996;13777;1.92499999999927;4.94900000000052;95.7567185290139;100;22.3079999999973;NA;9.05111801910425;0.101881980895996;NA
"blasted_case7";116;365;9006;0.477999999999156;1.49200000000201;92.3592493296754;88.2411725516322;0.529999999998836;8.01100000000224;2.04165243530405;0.0273475646972656;NA
"blasted_case8";160;525;10247;0.747000000003027;2.97699999999895;94.8941887807095;100;2.56500000000233;222.678;3.37828636550875;0.0757136344909668;NA
"blasted_case9";279;753;12643;1.53399999999965;4.52999999999884;94.8123620308909;100;423.228999999999;NA;7.12948485946617;0.136515140533447;NA
"blasted_case100";72;178;7447;0.232;1.097;88.1494986326344;100;0.411000000000001;49.958;1.21739442634583;0.0106055736541748;NA
"blasted_case101";72;178;7447;0.349999999999994;1.345;92.9368029739778;100;0.424000000000007;46.835;1.21725892066956;0.0227410793304443;NA
"blasted_case102";34;92;5395;0.120000000000005;0.743999999999971;6.85483870967603;4.67099165894347;0.0360000000000014;1.125;0.569815286636354;0.0141847133636475;26.0269999999991
"blasted_case103";32;86;5395;0.0980000000000132;0.676999999999964;7.3855243722325;4.7451343836886;0.0550000000000068;1.221;0.542473653793335;0.011526346206665;25.808
"blasted_case105";170;407;10535;0.996999999999957;3.49600000000004;95.3375286041187;100;21.117;NA;3.93206916809082;0.0529308319091797;NA
"blasted_case106";204;509;11347;1.2170000000001;3.73499999999967;95.769745649266;100;26.0149999999999;NA;4.85660151481628;0.0583984851837158;NA
"blasted_case108";205;800;11060;1.4399999999996;6.82300000000032;95.5005129708372;44.3580470162749;1.4970000000003;28.5709999999999;4.8055842628479;0.0934157371520996;NA
"blasted_case109";241;915;11850;1.88799999999992;6.39199999999983;95.478723404259;47.535864978903;3.04899999999998;232.444;6.09578851699829;0.069211483001709;NA
"blasted_case110";287;1263;13027;2.54399999999987;6.67899999999918;92.5138493786486;69.156367544331;1.08200000000033;20.5469999999996;8.35338100814819;0.0656189918518066;NA
"blasted_case111";306;1358;13399;2.51600000000053;6.99699999999939;92.9398313562994;73.6248973804015;1.15800000000036;NA;9.16827782440186;0.0697221755981445;NA
"blasted_case112";137;520;9638;0.798000000000684;3.61899999999969;95.0815142304532;100;0.648000000000138;8.80799999999999;2.99683235740662;0.0391676425933838;NA
"blasted_case113";309;1367;13456;2.41100000000006;6.83700000000044;93.5351762468922;81.8519619500594;1.18599999999969;NA;9.23527162551879;0.0697283744812012;NA
"blasted_case114";428;1851;15542;8.46299999999974;16.0430000000006;97.1327058530199;100;23.5129999999999;NA;24.3493361377716;0.515663862228394;NA
"blasted_case115";428;1851;15542;5.59000000000015;14.482;96.8995995028275;100;32.7479999999996;NA;24.4195004119873;0.594499588012695;NA
"blasted_case116";438;1881;15686;5.91399999999976;17.1319999999996;97.6068176511799;100;29.7149999999992;NA;21.0951440181732;0.588855981826782;NA
"blasted_case117";309;1367;13456;2.57999999999993;8.28099999999995;94.3485086342247;85.3596908442331;1.33200000000033;NA;9.20871105194095;0.066288948059082;NA
"blasted_case118";309;1367;13456;2.69200000000001;8.47599999999966;93.0391694195355;81.8519619500594;1.34799999999996;NA;8.93676491355893;0.06923508644104;NA
"blasted_case119";267;787;12560;2.34400000000005;7.97099999999955;95.9478108142087;83.1369426751592;52.616;NA;7.62605637168883;0.109943628311157;NA
"blasted_case120";284;851;12867;1.74700000000121;4.96299999999974;95.9298811203037;87.3241625864615;33.3410000000003;NA;8.56897190093991;0.0860280990600586;NA
"blasted_case121";291;975;12455;1.95000000000073;5.48899999999958;95.5547458553359;81.6860698514653;34.6460000000006;1259.355;10.8236369113922;0.224363088607788;NA
"blasted_case122";314;1258;12371;1.95499999999993;6.01699999999983;96.2273558251491;100;4.30299999999988;NA;10.1058432598113;0.0711567401885986;NA
"blasted_case123";267;980;11783;1.57600000000093;5.13899999999921;96.1665693714702;100;7.04000000000087;NA;8.24883395004269;0.0841660499572754;NA
"blasted_case124";133;386;9492;0.640999999999622;1.89100000000144;93.8127974616552;84.9346818373367;1.59200000000055;768.973;2.78021331977845;0.0317866802215576;NA
"blasted_case43";116;421;8911;0.539999999999054;1.90899999999965;89.7852278680071;80.9785658175289;0.498999999999796;5.15099999999984;2.47671267127987;0.0392873287200928;NA
"blasted_case44";173;651;10535;1.02199999999903;3.38700000000063;94.154118689097;98.5761746559089;1.20300000000134;14.3079999999991;4.32308812522888;0.0809118747711182;NA
"blasted_case45";116;421;8911;0.532000000001062;1.72999999999956;89.5953757225239;76.96105936483;0.509000000000015;5.39500000000044;2.50084635162353;0.0381536483764648;NA
"blasted_case46";176;660;10612;0.970000000001164;3.78299999999945;94.8717948718072;92.2823218997361;1.37199999999939;15.2890000000007;4.55627589416503;0.0957241058349609;NA
"blasted_case47";118;328;9006;0.518999999998414;1.74099999999999;91.3268236645697;100;0.391999999999825;27.8260000000009;2.42403874588013;0.027961254119873;NA
"blasted_case50";843;3288;21133;11.5469999999987;21.7759999999998;97.5753122703883;96.0914210003312;129.120999999999;NA;56.0497545833588;1.01224541664124;NA
"blasted_case51";132;395;9492;0.73700000000099;2.01299999999901;93.2935916542333;100;0.506999999999607;14.9229999999989;2.7905806713104;0.0274193286895752;NA
"blasted_case52";132;395;9492;0.659999999999854;1.95700000000033;94.328053142526;100;0.537000000000262;14.3919999999998;2.88929099273685;0.0277090072631836;NA
"blasted_case53";132;395;9492;0.613000000001193;1.80699999999888;94.1892639734572;100;0.501000000000204;14.366;2.868248708725;0.0397512912750244;NA
"blasted_case54";203;725;10864;1.14700000000084;5.02000000000044;96.0956175298826;100;1.05600000000049;68.6770000000015;5.7844848804474;0.133515119552612;NA
"blasted_case55";149;442;9948;0.781000000000859;2.10599999999977;93.3048433048605;51.3872135102533;0.519000000000233;54.2549999999992;3.29926273536682;0.0227372646331787;NA
"blasted_case56";202;722;10864;1.13699999999881;4.78800000000047;96.0317460316978;100;1.32600000000093;72.6699999999983;5.24261337471011;0.044386625289917;NA
"blasted_case57";288;1158;12200;1.8739999999998;5.96900000000096;96.347796950901;100;5.56499999999869;NA;9.51691119384771;0.130088806152344;NA
"blasted_case58";96;299;8169;0.376000000000204;1.72299999999814;93.9059779454627;46.1990451707675;0.328000000001339;5.05400000000009;1.79876021194457;0.0142397880554199;NA
"blasted_case59";93;285;8061;0.364000000001397;1.64400000000023;93.4914841849175;79.9900756729934;0.326999999997497;4.75400000000081;2.00152608489998;0.0144739151000977;NA
"blasted_case59_1";93;285;8061;0.361999999997352;1.33699999999953;91.9970082273741;62.5480709589381;0.34400000000096;4.82500000000073;2.02465196990966;0.014348030090332;NA
"blasted_case60";15;35;4109;0.0490000000027067;4.08099999999831;0.318549375129033;0.389389145777561;0.0159999999996217;NA;0.308075183868368;0.0109248161315918;0.19300000000112
"blasted_case61";282;753;12392;2.61199999999735;4.77600000000166;95.184254606376;100;390.753999999997;NA;8.24561000442509;0.185389995574951;NA
"blasted_case62";291;1165;12265;1.63999999999942;5.62299999999959;96.6565890093912;100;6.17199999999866;1729.354;9.21523477363587;0.0777652263641357;NA
"blasted_case63";96;299;8169;0.360000000000582;1.46600000000035;92.8376534788855;74.9296119476068;0.304000000000087;4.68400000000111;2.07619771003715;0.0138022899627686;NA
"blasted_case64";93;285;8061;0.338999999999942;1.14300000000003;88.2764654416597;57.7595831782657;0.307000000000698;4.35699999999997;1.75103048515325;0.0159695148468018;NA
"blasted_case68";178;553;10689;1.00499999999738;3.38100000000122;94.3507837917047;100;2.55400000000009;24.1229999999996;6.43758611106876;0.931413888931274;NA
"blasted_case132";236;708;11983;1.197;3.365;92.9866270430906;72.3858799966619;0.953000000000003;1034.097;6.06398179435723;0.0350182056427002;NA
"blasted_case133";211;615;11533;1.19599999999991;3.75700000000006;95.5283470854374;100;6.55400000000009;NA;5.25792039680482;0.0300796031951904;NA
"blasted_case134";60;146;6936;0.240999999999985;1.15200000000004;92.5347222222411;100;0.407000000000153;7.53400000000011;1.00063540458677;0.019364595413208;NA
"blasted_case135";236;708;11983;1.58999999999969;4.30999999999995;91.7633410672849;26.6711174163398;0.902000000000044;1574.321;6.00260168266299;0.0343983173370361;NA
"blasted_case136";211;615;11533;1.45899999999983;4.79899999999998;95.6032506772194;100;8.11999999999989;NA;5.2608084335327;0.0281915664672852;NA
"blasted_case137";60;146;6936;0.25;1.18299999999999;93.0684699915955;100;0.413000000000466;7.94200000000001;1.00281633377074;0.012183666229248;NA
"blasted_case144";765;2340;19624;11.3139999999994;27.3069999999998;97.1985205258713;74.2050550346515;221.755999999999;NA;46.5236723766327;0.68732762336731;NA
"blasted_case145";219;558;11693;1.24399999999969;3.89699999999993;95.7916345907169;100;90.4629999999997;NA;5.58886373138421;0.0871362686157227;NA
"blasted_case146";219;558;11693;1.31899999999951;4.06899999999951;95.9941017448885;100;101.306;NA;5.58699772262571;0.0870022773742676;NA
"blasted_case200";14;42;4002;0.0490000000008877;7.63700000000063;0.144035616085126;0.0999500249875062;0.0120000000006257;NA;0.279659049987799;0.013340950012207;0.132999999999811
"blasted_case201";200;544;11276;1.20200000000114;4.09600000000137;96.0449218749949;100;7.8760000000002;1215.527;5.04452137756346;0.0284786224365234;NA
"blasted_case202";200;544;11276;1.13000000000102;3.85499999999956;95.9533073930206;100;7.85399999999936;1172.537;5.12017185592651;0.0288281440734863;NA
"blasted_case203";214;580;11602;1.24700000000121;4.28499999999985;96.1026837806425;100;9.49399999999878;973.784000000001;5.77465296363835;0.0313470363616943;NA
"blasted_case204";214;580;11602;1.22500000000036;4.30400000000009;95.9107806691572;100;11.2860000000001;993.375;5.50222747993473;0.0297725200653076;NA
"blasted_case205";214;580;11602;1.26100000000224;4.2039999999979;96.1227402473704;100;10.0070000000014;974.439999999999;5.42227860450745;0.0377213954925537;NA
"blasted_case206";14;42;4002;0.0459999999984575;7.06999999999971;0.155586987250403;0.0999500249875062;0.010999999998603;NA;0.288619638442993;0.0123803615570068;0.132000000000062
"blasted_case207";824;2128;18270;7.41399999999703;17.0830000000024;97.3833635778256;100;432.279999999999;NA;38.1774979705811;0.409502029418945;NA
"blasted_case208";824;2128;18270;7.15600000000268;17.0109999999986;97.4428311092957;100;415.889999999999;NA;38.7768677368164;0.412132263183594;NA
"blasted_case210";872;2937;19735;8.47200000000157;21.4619999999995;97.2416363805939;100;528.735999999997;NA;54.1350286407471;1.00697135925293;NA
"blasted_case211";869;2929;19735;8.17299999999886;20.4639999999999;96.8578967943704;100;530.338;NA;53.2506897945404;0.776310205459595;NA
"blasted_case213";648;1891;17071;5.70000000000073;13.9170000000013;97.2551555651523;100;477.470000000001;NA;28.7904487380982;0.335551261901855;NA
"blasted_case214";645;1883;17071;5.31800000000294;13.4199999999983;97.0566318927209;100;482.914000000001;NA;27.6164606094361;0.308539390563965;NA
"blasted_squaring22";695;2193;19286;7.63699999999881;18.4809999999998;95.1950652021047;98.3926164056829;2.34799999999814;NA;NA;0.308539390563965;NA
"blasted_squaring26";894;3187;21661;11.0010000000002;22.7970000000023;95.9249023994386;90.605235215364;12.0240000000013;NA;46.6461339778902;0.785866022109985;NA
"blasted_squaring50";500;1965;16733;5.50799999999799;8.99300000000221;95.1517847214344;21.4665630789458;26.0999999999985;NA;27.5176577434541;4.01834225654602;NA
"blasted_squaring51";496;1947;16674;4.26499999999942;10.0629999999983;96.06479181158;22.7180040782056;22.9579999999987;NA;27.1743651752472;3.98863482475281;NA
"busybox";613;530;18041;3.77600000000166;8.85799999999654;96.5342063671576;85.6936976885982;11.8340000000026;NA;30.5357662448882;0.0152337551116943;NA
"DellSPLOT";118;2181;9131;0.455000000001746;2.45499999999811;93.0753564155444;0.186178950826854;0.218000000000757;1257.937;2.20358502578756;0.0184149742126465;NA
"embtoolkit-onlybool";2331;6437;28866;28.5030000000006;64.7129999999997;94.9144684993781;0.207856994387861;242.429999999997;NA;NA;0.0184149742126465;NA
"fiasco";113;4717;7646;0.345000000001164;8.42499999999927;97.5430267062489;0.326968349463772;0.0750000000007276;NA;1.94757418060272;0.0464258193969727;NA
"GuidanceService2.sk_2_27";715;2181;17429;5.3070000000007;14.867000000002;97.3901930449815;92.5526421481439;5.69100000000253;NA;28.0201465816499;0.0518534183502197;NA
"jhipster";45;104;5994;0.125;0.598000000001775;87.2909698995475;16.3663663663664;0.0300000000024738;2.14199999999983;0.699505695343305;0.00949430465698242;3445.498
"LargeAutomotive";17365;321897;84522;630.32;NA;NA;NA;NA;NA;NA;0.00949430465698242;NA
"polynomial.sk_7_25";313;1027;10113;1.31700000000274;36.7119999999995;0.157986489443618;0.316424404232176;0.0279999999984284;NA;7.25600418663089;0.014995813369751;NA
"registerlesSwap.sk_3_10";372;1493;11109;1.66999999999825;9.67700000000332;0.651028211242113;0.702133405347016;0.409999999996217;NA;8.49966075897282;0.030339241027832;NA
"s27_3_2";20;43;4580;0.0580000000045402;0.894999999996799;2.23463687115867;1.52838427947598;0.0169999999998254;0.721000000005006;0.338452693938962;0.00854730606079102;2.79100000000108
"s27_15_7";32;103;4580;0.0800000000000001;1.102;1.4519056261343;1.52838427947598;0.0170000000000003;0.946;0.43054272270183;0.0104572772979736;2.5
"s27_7_4";24;63;4580;0.0640000000000001;1.193;1.59262363788754;1.52838427947598;0.0120000000000005;0.958000000000002;0.368766836166287;0.0102331638336182;2.45499999999993
"s27_new_15_7";17;43;4309;0.054000000000002;1.158;1.46804835924033;1.11394755163611;0.00799999999999557;1.761;0.306858388900764;0.0101416110992432;1.25400000000081
"s27_new_3_2";17;31;4309;0.0519999999999996;1.092;1.00732600732626;1.11394755163611;0.00800000000000267;1.868;0.307888668060514;0.0101113319396973;1.26200000000063
"s27_new_7_4";17;35;4309;0.0529999999999973;1.093;1.37236962488568;1.11394755163611;0.0120000000000005;1.848;0.300891767501525;0.0101082324981689;1.27400000000125
"s298_15_7";292;870;13007;2.28;4.804;93.609492089925;52.494810486661;2.58599999999998;18.569;8.70797786712683;0.142022132873535;NA
"s298_3_2";205;510;11300;1.30700000000002;2.64599999999996;91.1942554799695;77.4424778761062;0.338000000000022;9.43200000000002;4.44048446464513;0.0225155353546143;NA
"s298_7_4";223;586;11715;1.62899999999996;3.79500000000002;94.888010540184;98.5915492957746;0.631000000000029;13.3339999999999;5.04382823181095;0.0381717681884766;NA
"s344_15_7";284;824;12847;2.15199999999993;5.16300000000001;96.0488088320731;90.0910718455671;1.48099999999999;703.967;7.25339409065237;0.0586059093475342;NA
"s344_3_2";197;464;11205;1.62100000000009;4.36300000000006;95.6681182672508;100;0.826999999999998;821.587;4.51520400619575;0.0907959938049316;NA
"s344_7_4";215;540;11533;1.46600000000035;3.47599999999966;95.6559263521331;93.0547125639469;1.50699999999961;1780.48;4.83830280876191;0.0426971912384033;NA
"s349_15_7";285;829;12847;2.48199999999997;8.17799999999988;96.6128637808749;100;1.50600000000031;791.594;7.44932947540292;0.104670524597168;NA
"s349_3_2";198;469;11157;1.38400000000001;3.47099999999955;95.2463267070013;100;0.837999999999738;1097.683;4.28097692108167;0.050023078918457;NA
"s349_7_4";216;545;11533;1.64800000000014;4.13200000000052;95.0629235237026;86.0400589612417;1.37599999999929;1399.82;4.81125804901148;0.0337419509887695;NA
"s382_15_7";350;995;14107;2.37599999999929;6;96.4833333333293;97.4055433472744;1.35299999999916;NA;10.0842621669771;0.126737833023071;NA
"s382_3_2";263;635;12476;1.53400000000147;3.74599999999919;95.728777362523;100;0.539000000000669;290.216999999999;6.50596199607844;0.0250380039215088;NA
"s382_7_4";281;711;12766;1.7559999999994;3.95800000000054;95.9070237493623;91.438195206016;0.686999999999898;344.384;7.08289185905506;0.0311081409454346;NA
"s420_15_7";366;994;14233;2.71699999999873;5.57300000000032;96.3394939888475;100;1.14400000000023;NA;10.5522668933872;0.132733106613159;NA
"s420_3_2";294;694;13067;1.8690000000006;4.07999999999993;95.9068627451112;100;0.77100000000064;NA;7.34274220466614;0.0322577953338623;NA
"s420_7_4";312;770;13341;2.13299999999981;4.59600000000137;96.214099216692;100;0.990999999999985;NA;8.09234136962914;0.0516586303710938;NA
"s420_new_15_7";351;934;14126;2.53999999999905;5.48500000000058;96.1531449407269;100;1.32700000000114;NA;9.67249070167509;0.062509298324585;NA
"s420_new_3_2";294;694;13283;1.94000000000051;4.25600000000122;95.79417293233;100;0.822999999998501;1599.806;7.52382865715026;0.0341713428497314;NA
"s420_new_7_4";312;770;13552;2.19100000000071;4.71399999999994;95.5876113703746;100;1.30999999999949;NA;8.24438671112057;0.0456132888793945;NA
"s420_new1_15_7";366;994;14233;2.97699999999895;6.30999999999949;96.3549920760764;100;1.22000000000116;NA;10.585680633545;0.120319366455078;NA
"s420_new1_3_2";294;694;13067;1.97799999999916;4.39600000000064;95.4959053685102;100;0.731999999999971;NA;7.47930799293499;0.0286920070648193;NA
"s420_new1_7_4";312;770;13341;2.17599999999948;4.86199999999917;96.2155491567396;100;0.979999999999563;NA;8.28369184494023;0.0513081550598145;NA
"s444_15_7";377;1072;14464;2.65999999999985;7.34900000000016;96.5981766226698;70.4231194690265;1.05600000000049;NA;11.2655676898957;0.0654323101043701;NA
"s444_3_2";290;712;12967;1.76800000000003;4.09000000000015;95.6479217603942;100;0.626000000000204;287.955;7.51632060813927;0.0316793918609619;NA
"s444_7_4";308;788;13456;2.15400000000045;4.83599999999933;96.0090984284672;92.167063020214;1.12800000000061;NA;8.34868516922006;0.0513148307800293;NA
"s510_15_7";340;948;13533;2.3809999999994;5.85599999999977;95.9016393442659;100;0.516999999999825;NA;9.45834272956881;0.0276572704315186;NA
"s510_3_2";298;768;12907;1.84499999999935;4.57400000000052;96.0428508963604;100;0.453000000001339;772.760999999999;7.9425589237212;0.0234410762786865;NA
"s510_7_4";316;844;13224;1.9210000000021;4.91699999999764;96.3392312385524;100;0.453999999997905;NA;8.5794281044009;0.0245718955993652;NA
"s526_15_7";452;1303;15830;4.81599999999889;7.60699999999997;96.4112002103188;59.1156032849021;13.5559999999969;NA;17.2726977615357;0.580302238464355;NA
"s526_3_2";365;943;14499;2.87299999999959;5.26900000000023;95.9005503890617;92.571901510449;2.99399999999878;NA;11.4007534961697;0.122246503829956;NA
"s526_7_4";383;1019;14828;3.15999999999985;5.57300000000032;95.9267898797965;68.0671702185055;6.24699999999939;NA;13.0984736862184;0.245526313781738;NA
"s526a_15_7";453;1304;15845;4.66200000000026;10.5149999999994;97.0137898240751;100;11.7060000000019;NA;16.9547296504974;0.668270349502563;NA
"s526a_3_2";366;944;14534;2.85699999999997;6.9429999999993;96.9033558980244;100;3.67400000000271;NA;12.0199559459683;0.106044054031372;NA
"s526a_7_4";384;1020;14845;3.36899999999878;5.75500000000102;96.0382276281648;82.3576961940047;5.45499999999811;NA;12.7957947864533;0.218205213546753;NA
"s641_15_7";576;1399;17668;9.28800000000047;10.101999999999;97.0698871510742;91.5893140140367;15.6140000000014;NA;47.0609756584168;3.65102434158325;NA
"s641_3_2";489;1039;16296;4.76200000000244;7.72899999999936;96.7136757665825;100;8.96199999999953;NA;21.9398585319523;0.785141468048096;NA
"s641_7_4";507;1115;16793;8.95500000000175;7.75099999999657;96.6455941169073;83.3918894777586;14.1719999999987;NA;27.2783268871308;1.06567311286926;NA
"s713_3_2";509;1117;16629;5.46199999999953;9.39700000000084;97.1480259657337;100;7.83699999999953;NA;25.9428784008023;0.694121599197388;NA
"s713_7_4";527;1193;16852;6.69999999999709;11.0590000000011;97.2420652861899;100;9.3269999999975;NA;27.0368443527223;1.01715564727783;NA
"s713_15_7";596;1477;17724;13.3789999999999;10.1770000000001;97.2880023582582;100;12.867;NA;43.2332769985205;3.0287230014801;NA
"blasted_case125";393;1555;13870;2.661;7.689;96.6055403823644;100;20.754;NA;15.8158280677795;0.141171932220459;NA
"blasted_case126";302;1129;12413;1.94899999999998;6.03600000000003;96.189529489728;100;10.452;NA;9.5683289165496;0.0936710834503174;NA
"blasted_case127";36;104;5707;0.123000000000019;1.779;1.18043844856746;1.12142982302436;0.0279999999999916;1.494;0.6106774291992;0.0103225708007812;1.887
"blasted_case128";36;104;5707;0.118999999999971;1.72400000000005;1.27610208816982;1.12142982302436;0.0260000000000105;1.32799999999997;0.571743947982782;0.0102560520172119;1.933
"blasted_case130";644;2056;18418;6.28299999999996;19.549;95.9281804695893;86.8498208274514;48.907;NA;30.2358040351868;0.691195964813232;NA
"blasted_case131";432;1830;15606;3.91600000000005;14.968;97.4879743452701;100;15.8979999999999;NA;17.590418006897;0.411581993103027;NA
"blasted_case21";126;411;8345;0.524000000000001;1.42200000000003;83.1926863572413;63.7028160575195;0.307999999999993;4.20699999999999;2.29596269035339;0.0280373096466064;NA
"blasted_case22";126;411;8345;0.515999999999963;1.75900000000001;89.6532120523016;69.2630317555422;0.307000000000016;4.23099999999999;2.37890132331849;0.0300986766815186;NA
"blasted_case23";77;235;7487;0.302000000000021;0.711000000000013;54.8523206751026;26.6862561773741;0.125;2.66899999999998;1.34317711257935;0.0158228874206543;862.07
"blasted_case24";65;190;7155;0.250999999999976;1.45099999999991;16.5403170227368;3.56394129979036;0.0640000000000782;2.07099999999991;1.06988094520568;0.0121190547943115;40.2440000000006
"blasted_case25";68;195;7282;0.254999999999995;1.09000000000003;33.119266055044;6.97610546553145;0.0720000000000027;2.3950000000001;1.17898775672913;0.012012243270874;151.708
"blasted_case26";53;148;6465;0.180999999999926;0.492000000000075;40.4471544715526;15.8391337973705;0.0600000000000591;1.74099999999999;0.908860275268559;0.0131397247314453;383.262
"blasted_case27";52;146;6465;0.190000000000055;0.474999999999909;40.8421052631573;15.7772621809745;0.056999999999789;1.59900000000016;0.830168622970582;0.0138313770294189;376.019
"blasted_case28";51;143;6465;0.18100000000004;0.475999999999885;40.7563025210098;15.7927300850735;0.0549999999998363;1.71199999999999;0.846806869506835;0.0131931304931641;366.659
"blasted_case29";65;190;7155;0.259000000000015;1.78199999999993;14.4219977553224;3.57791754018169;0.0510000000001583;2.09999999999991;1.09824508285522;0.0127549171447754;NA
"blasted_case30";68;195;7282;0.286000000000058;1.27600000000007;32.7586206896629;7.03103542982697;0.0620000000001255;2.50099999999998;1.15988952827454;0.0121104717254639;164.312
"blasted_case31";53;148;6465;0.198000000000093;0.572999999999865;34.5549738219742;15.8391337973705;0.056999999999789;1.59000000000015;0.866839563369751;0.020160436630249;384.607
"blasted_case32";52;146;6465;0.182000000000016;0.483999999999924;35.9504132231417;15.7772621809745;0.0589999999999691;1.81700000000001;0.850333494186401;0.0186665058135986;375.897
"blasted_case33";51;143;6465;0.192000000000007;0.488000000000056;36.2704918032555;15.8236658932715;0.0570000000000164;1.78800000000001;0.831256795883178;0.0197432041168213;366.824
"blasted_case34";409;1597;14656;3.35300000000007;8.56500000000005;96.555750145942;91.5802401746725;30.0250000000001;NA;17.9595857563019;0.95941424369812;NA
"blasted_case35";400;1414;14621;3.42499999999995;7.48500000000013;96.1790247160982;91.7994665207578;60.731;NA;16.2851424064636;0.398857593536377;NA
"blasted_case36";64;208;6980;0.240999999999985;1.06700000000001;7.02905342081021;3.9541547277937;0.0559999999998126;2.173;1.24361501502992;0.0143849849700928;55.2620000000002
"blasted_case38";143;568;9580;0.707000000000107;1.74700000000007;76.9891242129349;39.6555323590814;0.314000000000078;6.64499999999998;3.12265138816834;0.029348611831665;NA
"blasted_case39";245;650;12286;2.28200000000015;4.83799999999997;96.0727573377417;100;26.568;NA;21.8215226230621;2.25947737693787;NA
"blasted_case40";245;650;12286;2.72699999999986;5.81899999999996;95.961505413299;100;32.0590000000002;NA;23.4420829048157;2.28191709518433;NA
"blasted_case41";245;650;12286;2.91299999999956;6.20899999999983;96.1507489128751;100;38.4520000000002;NA;23.3790228939056;2.30597710609436;NA
"s1196a_3_2";690;1805;19096;14.3360000000011;12.9989999999998;97.0228479113869;76.707163803938;17.2039999999997;NA;38.942913860321;0.976086139678955;NA
"s1196a_7_4";708;1881;19437;10.009;16.6830000000009;97.6383144518359;100;21.241;NA;37.6885784645081;1.13842153549194;NA
"s1238a_3_2";686;1850;19273;11.1800000000003;14.3690000000006;97.425012178991;91.8071914076688;25.598;NA;33.6207584571839;1.29924154281616;NA
"s1238a_7_4";704;1926;19462;13.2630000000008;17.1449999999986;97.3694954797367;100;21.4879999999994;NA;35.2984869232178;1.37551307678223;NA
"s1488_15_7";941;2783;22079;10.768;12.8769999999986;77.3239108487971;16.9663481135921;1.46700000000055;NA;44.7952116413116;0.146788358688354;NA
"s1488_7_4";872;2499;21449;10.1949999999997;11.2029999999995;84.9772382397647;36.7103361462073;2.56099999999969;NA;40.9746490345001;0.161350965499878;NA
"s820a_15_7";685;1987;17945;5.84100000000035;14.0429999999997;97.3225094353043;100;2.14300000000003;NA;27.1998872661589;0.0401127338409424;NA
"s820a_3_2";598;1627;14517;4.36200000000099;11.4340000000011;96.8077663109886;100;0.906999999999243;NA;18.2652585163114;0.0237414836883545;NA
"s820a_7_4";616;1703;16644;4.92599999999948;12.3680000000004;97.0084087968888;100;1.32999999999993;NA;21.7326329364778;0.0313670635223389;NA
"s832a_15_7";693;2017;19096;7.13500000000022;15.0120000000006;97.3421262989647;100;4.17100000000028;NA;28.780246423722;0.0937535762786865;NA
"s832a_3_2";606;1657;14429;4.41400000000067;10.1970000000019;96.4695498676031;100;1.27499999999964;NA;18.4244772701267;0.0285227298736572;NA
"s832a_7_4";624;1733;16719;5.28900000000067;12.6029999999992;97.1514718717734;100;2.14000000000124;NA;21.8670528945922;0.0389471054077148;NA
"s838_15_7";685;1774;17959;7.39799999999923;14.9740000000002;97.4489114465099;100;9.97900000000118;NA;27.8296617259975;0.244338274002075;NA
"s838_3_2";598;1414;16896;5.66200000000026;12.0700000000015;97.2079536039659;100;10.0849999999991;NA;22.4606500568389;0.0833499431610107;NA
"s838_7_4";616;1490;17100;5.83599999999933;12.9400000000005;97.3338485316899;100;7.36599999999999;NA;22.9063277034757;0.0966722965240479;NA
"s953a_3_2";515;1297;16969;5.22600000000057;9.46699999999873;96.9789796133929;100;5.42900000000009;NA;19.8720608558652;0.286939144134521;NA
"s953a_7_4";533;1373;17172;5.40200000000004;9.62800000000061;96.780224345664;98.3869089215001;5.82300000000032;NA;20.6164850482938;0.234514951705933;NA
"tableBasedAddition.sk_240_1024";1026;961;7282;3.41200000000026;7.85800000000017;95.024179180458;100;0.0199999999967986;NA;16.7293864860531;0.0096135139465332;NA
"toybox";544;1020;10739;2.65999999999985;4.18900000000212;95.4881833372636;100;3.35900000000038;NA;11.9942253875733;0.0107746124267578;NA
"uClibc";298;903;13047;1.42599999999948;3.86100000000079;95.0789950789358;0.130298152832069;1.02499999999782;NA;9.69673990440333;0.0202600955963135;NA