"model";"vars";"clauses";"sample_size";"bdd_time";"quicksampler_time";"quicksampler_valid_time_percentage";"quicksampler_valid_percentage";"smarch_time";"spur_time";"unigen2_time";"kus_time";"kus_ddnnf_compilation_time"
"10.sk_1_46";1494;2215;1000;0.664000000000001;1.479;77.2143340094659;61.8;3084.58215744652;0.164999999999999;811.923073435165;3.959;0.020883321762085
"107.sk_3_90";8948;40147;1000;4.93300000000001;10.73;77.1481826654241;95;NA;0.760000000000019;NA;44.388;0.0383226871490479
"109.sk_4_36";3565;14012;1000;1.77699999999999;6.86099999999999;46.2906281883106;41.8;NA;0.171999999999997;358.713400972405;17.121;0.0337889194488525
"110.sk_3_88";18570;63471;1000;15.074;174.897;16.2741499282435;31.7;NA;1.60199999999998;NA;252.755;0.150729179382324
"111.sk_2_36";2348;5479;1000;1.08299999999997;4.46699999999987;67.248712782628;100;NA;0.115999999999985;NA;10.562;0.0233640670776367
"19.sk_3_48";6993;23867;1000;3.87600000000009;38.1859999999999;28.3349918818414;62.8;NA;0.75;796.80863815561;28.735;0.0516743659973145
"27.sk_3_32";1509;2707;1000;0.671000000000049;1.58199999999988;70.7332490518331;35.5;NA;0.0389999999999873;251.40933657563;4.63599999999997;0.0178928375244141
"32.sk_4_38";3834;13594;1000;1.84799999999996;4.50500000000011;69.5671476137611;28.8;NA;0.191000000000031;362.921244553414;11.6189999999999;0.0213344097137451
"35.sk_3_52";4915;10547;1000;2.38400000000001;3.43200000000002;77.5058275058295;47.3;NA;0.303000000000111;NA;18.454;0.0238873958587646
"53.sk_4_32";2586;10747;1000;1.20299999999997;4.94699999999989;61.2896705073781;37.9;NA;0.0550000000000637;256.765180423708;11.3140000000001;0.0248522758483887
"55.sk_3_46";3128;12145;1000;1.4340000000002;5.28599999999983;72.8717366628828;100;NA;0.288999999999987;NA;8.64199999999983;0.0203208923339844
"77.sk_3_44";14535;27573;1000;9.89499999999998;34.165;46.7086199326799;46.1;NA;0.551999999999907;NA;148.898;0.112650871276855
"84.sk_4_77";15678;70956;1000;9.82600000000002;10.9259999999999;77.5398132894017;58.2;NA;1.39599999999996;NA;105.742;0.051771879196167
"axtls";64;96;1000;0.043999999999869;0.198000000000093;68.68686868682;15.6;1993.8988399212;0.0289999999999964;NA;0.336000000000013;0.00965332984924316
"blasted_case_0_b11_1";340;1026;1000;9.27499999999964;1.51499999999987;39.5379537953634;5.1;NA;40.768;NA;42.0389999999998;5.7869131565094
"blasted_case_0_b12_1";427;1385;1000;0.342000000000098;2.15099999999984;40.7252440725158;4.3;NA;3.41199999999981;NA;10.3310000000001;1.11987590789795
"blasted_case_0_b12_2";827;2725;1000;7.30299999999988;4.09799999999996;21.6691068814038;1.4;NA;24.8849999999998;NA;89.8620000000001;7.7771942615509
"blasted_case_1_b11_1";340;1026;1000;10.8789999999999;1.06900000000041;48.0823199251566;7;NA;47.4869999999992;NA;42.2530000000006;5.57423114776611
"blasted_case_1_b12_1";427;1385;1000;0.369000000000597;1.21900000000005;58.5726004921995;11.2;NA;3.35800000000017;3006.99235793778;10.5910000000003;1.20757269859314
"blasted_case_1_b12_2";827;2725;1000;7.09000000000015;2.63500000000022;38.4819734345366;8.5;NA;23.3689999999997;NA;86.4749999999995;7.26012587547302
"blasted_case_1_b14_1";238;681;1000;0.144000000000233;0.920999999999367;42.0195439739394;3.8;3506.69543217404;1.82700000000023;2516.11128906674;2.10099999999966;0.119858264923096
"blasted_case_1_b14_2";270;805;1000;0.152000000000044;0.957000000000335;52.2466039707236;3;3341.85320046235;1.8119999999999;1985.99272282235;1.61800000000039;0.0879485607147217
"blasted_case_1_b14_3";304;941;1000;0.203999999999724;0.766999999999825;50.5867014341601;2.5;2970.59454104672;1.97699999999986;356.131435984652;1.43499999999949;0.0753729343414307
"blasted_case_2_b12_1";427;1385;1000;0.378999999999905;1.72600000000057;29.5480880648928;3.2;NA;3.5639999999994;2181.16296686414;11.0689999999995;1.25248622894287
"blasted_case_2_b12_2";827;2725;1000;6.95499999999993;1.88799999999992;43.3262711864537;7.3;NA;22.2739999999994;NA;89.1080000000002;7.50865435600281
"blasted_case_2_b14_1";238;681;1000;0.139999999999418;0.831000000000131;40.7942238267014;2.9;NA;1.55400000000009;1107.85210878562;1.84999999999945;0.101462364196777
"blasted_case_2_b14_2";270;805;1000;0.146999999999935;0.806999999999789;51.7967781908023;3.7;NA;1.49200000000019;777.20647204584;1.47000000000025;0.0814762115478516
"blasted_case_2_b14_3";304;941;1000;0.19800000000032;0.882999999999811;44.9603624009082;8.3;3526.62884099111;1.83500000000004;315.271453793647;1.33700000000044;0.0731523036956787
"blasted_case_3_b14_1";238;681;1000;0.140000000000327;0.976999999999862;46.2640736949212;7.4;3386.08622895717;1.57600000000002;1792.89230443966;1.88400000000001;0.104311227798462
"blasted_case_3_b14_2";270;805;1000;0.149999999999636;0.67200000000048;44.9404761905318;2.4;3018.02019237276;1.46300000000065;789.736511010589;1.56400000000031;0.0936233997344971
"blasted_case_3_b14_3";304;941;1000;0.19800000000032;1.12700000000041;50.754214729362;3.9;3458.30289475145;1.89899999999943;745.39149509699;1.34799999999996;0.0729770660400391
"blasted_case1";187;681;1000;0.105999999999767;1.14800000000014;39.2857142857115;12;1119.84487823395;0.244000000000597;25.8145582167245;0.659999999999854;0.0278639793395996
"blasted_case10";328;878;1000;0.79700000000048;0.814000000000306;46.1916461916539;11.5;NA;141.826;NA;2.11800000000039;0.295817613601685
"blasted_case100";72;178;1000;0.0519999999996799;0.230999999999767;46.3203463203804;13.7;1059.40763637793;0.0829999999996289;15.6369984992468;0.309999999999491;0.0116446018218994
"blasted_case101";72;178;1000;0.0529999999998836;0.292999999999665;58.7030716722755;15.3;1065.03817232618;0.0770000000002256;39.1145978626599;0.309000000000196;0.0120389461517334
"blasted_case102";34;92;1000;0.0340000000005602;0.269000000000233;33.8289962822903;11.4;424.655822854656;0.0299999999997453;5.34843571655484;0.23700000000008;0.0109474658966064
"blasted_case103";32;86;1000;0.032999999999447;0.351999999999862;22.4431818181121;9.9;539.650443100066;0.0299999999997453;6.09000440801808;0.233999999999469;0.0107240676879883
"blasted_case105";170;407;1000;0.161999999999352;0.244000000000597;NA;NA;2677.16972725055;6.52799999999934;785.034390309118;0.663000000000466;0.0505669116973877
"blasted_case106";204;509;1000;0.144000000000233;0.311999999999898;NA;NA;3377.72840236256;8.58200000000033;967.938617096172;0.753999999999905;0.0584621429443359
"blasted_case108";205;800;1000;0.13799999999992;0.800999999999476;NA;NA;2112.7564566145;0.416000000000167;50.9639060456817;0.876999999999498;0.101165294647217
"blasted_case109";241;915;1000;0.156999999999243;0.773000000000138;NA;NA;2469.41131503009;0.618999999999687;364.304175131172;0.9350000000004;0.0736520290374756
"blasted_case11";105;371;1000;0.0690000000004147;0.539999999999964;39.0740740741212;10.2;1491.66096990064;0.0970000000006621;11.5106938034638;0.442000000000007;0.0343348979949951
"blasted_case110";287;1263;1000;0.182999999999993;1.23100000000068;47.5223395613091;8.2;1488.62814741071;0.243999999999687;16.3007598076653;1.03999999999996;0.0653331279754639
"blasted_case111";306;1358;1000;0.172999999999774;1.24300000000039;38.2944489139515;11.8;2050.70323559682;0.220999999999549;24.7562460884173;1.05899999999929;0.0664401054382324
"blasted_case112";137;520;1000;0.0829999999996289;0.337999999999738;NA;NA;1644.93154736837;0.201000000000022;11.4703271785654;0.524999999999636;0.0391173362731934
"blasted_case113";309;1367;1000;0.213999999999942;1.16100000000006;37.9844961240122;6.1;1883.12928960733;0.325000000000728;23.6046399169954;1.10499999999956;0.0672471523284912
"blasted_case114";428;1851;1000;2.72599999999966;2.19599999999991;32.741347905286;8.1;NA;2.3110000000006;1710.62296129853;7.85199999999986;0.48560905456543
"blasted_case115";428;1851;1000;0.998000000000502;1.91299999999956;35.1803450078375;3.8;3349.9162222067;2.20899999999983;2127.45896169641;7.53800000000047;0.562188625335693
"blasted_case116";438;1881;1000;1.07600000000002;1.82499999999982;41.9726027397095;6;NA;2.36999999999989;1476.5005276481;5.64500000000044;0.576071739196777
"blasted_case117";309;1367;1000;0.17200000000048;1.21399999999994;44.2339373970583;6.8;2111.05160120912;0.307999999999993;30.6913065135505;1.10800000000017;0.0668647289276123
"blasted_case118";309;1367;1000;0.172999999999774;1.19300000000021;36.4626990779818;4.1;1950.05524508935;0.302000000000589;36.7533610512003;1.13900000000012;0.0691063404083252
"blasted_case119";267;787;1000;0.157000000000153;1.45600000000013;30.0824175824219;1.2;NA;5.41500000000087;NA;1.13799999999992;0.110589981079102
"blasted_case120";284;851;1000;0.161999999999352;1.36300000000028;35.7300073367556;4.4;NA;3.90200000000004;NA;1.18000000000029;0.0861568450927734
"blasted_case121";291;975;1000;0.175999999999476;0.911000000000058;51.7014270032403;45.6;NA;6.58299999999963;NA;2.69400000000041;0.224432229995728
"blasted_case122";314;1258;1000;0.180000000000291;1.3119999999999;42.7591463414434;9.7;3543.25917832939;0.983000000000175;555.659093714814;1.28200000000015;0.0722086429595947
"blasted_case123";267;980;1000;0.153999999999542;1.10599999999977;47.3779385172199;8.2;NA;1.08699999999953;395.217385390536;1.07999999999993;0.0859692096710205
"blasted_case124";133;386;1000;0.0789999999997235;0.259000000000015;NA;NA;2483.70312828817;0.434000000000196;NA;0.505999999999403;0.0304102897644043
"blasted_case125";393;1555;1000;0.217999999999847;1.40400000000045;38.8888888888961;6.4;NA;1.82099999999991;934.403403531537;2.42099999999937;0.1387038230896
"blasted_case126";302;1129;1000;0.182999999999993;1.14199999999983;41.8563922942328;10.8;NA;1.25900000000001;491.223980745508;1.20899999999983;0.0950717926025391
"blasted_case127";36;104;1000;0.0370000000002619;0.274000000000342;29.5620437956313;4.2;477.904009903391;0.0230000000001382;6.50013479973839;0.23700000000008;0.010432243347168
"blasted_case128";36;104;1000;0.0370000000002619;0.175000000000182;NA;NA;496.054280864542;0.0239999999994325;8.83727144231666;0.23700000000008;0.0106017589569092
"blasted_case130";644;2056;1000;0.409999999999854;5.24200000000019;18.1037771842901;6.3;NA;4.04500000000007;NA;4.52999999999975;0.673245906829834
"blasted_case131";432;1830;1000;0.384000000000015;1.96399999999994;51.5274949083374;10.1;NA;1.85100000000057;2960.31864589511;2.83599999999933;0.412666797637939
"blasted_case132";236;708;1000;0.125;1.4360000000006;NA;NA;2073.77025660883;0.159999999999854;153.191089517572;0.680000000000291;0.0336024761199951
"blasted_case133";211;615;1000;0.114999999999782;0.682999999999993;39.8243045387903;8;3362.03802371145;0.845000000000255;625.453858633317;0.605999999999767;0.0276775360107422
"blasted_case134";60;146;1000;0.0450000000000728;0.126000000000204;NA;NA;1188.29778267043;0.0489999999999782;7.70951813107607;0.282000000000153;0.0120892524719238
"blasted_case135";236;708;1000;0.126000000000204;1.04100000000017;NA;NA;2600.65360052405;0.153999999999542;145.405662726576;0.681999999999789;0.032966136932373
"blasted_case136";211;615;1000;0.114999999999782;0.748999999999796;46.5954606140648;9.2;NA;0.779999999999745;660.016264006132;0.625999999999294;0.0280165672302246
"blasted_case137";60;146;1000;0.0450000000000728;0.0869999999995343;NA;NA;1197.92743047713;0.0489999999999782;11.8578768407273;0.283000000000357;0.0117814540863037
"blasted_case14";247;649;1000;0.164999999999964;0.796999999999571;32.9987452948634;2.5;NA;97.4709999999995;NA;1.16799999999967;0.144100666046143
"blasted_case144";765;2340;1000;1.04600000000028;3.1909999999998;29.7712315888398;12.5;NA;11.5289999999995;NA;12.4889999999996;0.674112319946289
"blasted_case145";219;558;1000;0.148000000000138;0.289999999999964;NA;NA;NA;60.5100000000002;NA;0.864000000000487;0.0902941226959229
"blasted_case146";219;558;1000;0.148000000000138;0.344000000000051;NA;NA;NA;58.5349999999999;NA;0.855999999999767;0.0894558429718018
"blasted_case15";296;774;1000;0.335000000000036;0.76299999999992;51.6382699869298;9.4;NA;203.365;NA;2.80299999999988;0.407698154449463
"blasted_case17";77;235;1000;0.0529999999998836;0.391999999999825;41.8367346940669;8.1;1327.94568136246;0.0759999999991123;8.0794693913471;0.337999999999738;0.0158946514129639
"blasted_case19";397;1126;1000;0.213999999999942;1.28999999999905;47.75193798453;11.6;NA;52.601999999999;NA;2.76600000000144;0.401393413543701
"blasted_case2";296;1116;1000;0.17699999999968;2.26599999999962;30.6266548984828;11.7;1823.89569200758;0.957999999998719;481.478175210286;1.29399999999987;0.112631559371948
"blasted_case20";397;1126;1000;0.211999999999534;1.19399999999951;53.5175879396549;8.4;NA;22.0570000000007;NA;3.41899999999987;0.488625526428223
"blasted_case200";14;42;1000;0.0270000000000437;0.81099999999969;NA;NA;118.302713496838;0.0180000000000291;NA;0.195999999999913;0.0102052688598633
"blasted_case201";200;544;1000;0.121000000001004;0.459999999999127;NA;NA;NA;0.774000000001251;969.571729657787;0.781999999999243;0.0293641090393066
"blasted_case202";200;544;1000;0.128999999998996;0.459000000000742;NA;NA;NA;0.795000000000073;1628.33202558794;0.782999999999447;0.0293436050415039
"blasted_case203";214;580;1000;0.122999999999593;0.600000000000364;41.4999999999409;9.5;NA;0.949999999998909;NA;0.842999999998938;0.0315871238708496
"blasted_case204";214;580;1000;0.122999999999593;0.654000000000451;45.1070336391237;10.4;NA;0.936999999999898;NA;0.863999999999578;0.0314266681671143
"blasted_case205";214;580;1000;0.122999999999593;0.67699999999968;50.2215657312122;5.8;NA;0.94300000000112;NA;0.843000000000757;0.0321156978607178
"blasted_case206";14;42;1000;0.0270000000000437;0.70900000000111;NA;NA;138.949135038294;0.0169999999998254;NA;0.199000000000524;0.0100476741790771
"blasted_case207";824;2128;1000;0.47400000000016;2.42999999999847;44.8148148148406;3;NA;20.3559999999998;NA;4.25300000000061;0.399276733398438
"blasted_case208";824;2128;1000;0.477000000000771;2.45600000000013;27.8501628664931;9.3;NA;20.7209999999995;NA;4.32099999999991;0.398355007171631
"blasted_case21";126;411;1000;0.0760000000009313;0.5;35.8000000000175;7.1;1420.54091699804;0.15099999999984;10.1415374157252;0.471999999999753;0.0294017791748047
"blasted_case210";872;2937;1000;0.791999999999462;2.29999999999927;NA;NA;NA;30.398000000001;NA;13.4809999999998;0.755429983139038
"blasted_case211";869;2929;1000;0.966999999998734;5.74900000000162;16.8724995651573;1.4;NA;29.652;NA;12.2780000000002;0.711459398269653
"blasted_case213";648;1891;1000;0.70299999999952;1.42100000000028;42.8571428571611;2.2;NA;32.5939999999991;NA;4.46800000000076;0.320740699768066
"blasted_case214";645;1883;1000;0.477000000000771;1.7390000000014;53.2489936745573;2.4;NA;32.6319999999996;NA;3.33899999999994;0.248674154281616
"blasted_case22";126;411;1000;0.0760000000009313;0.487999999999374;46.9262295081257;7.7;1615.26927218853;0.144999999998618;10.9097992020225;0.470999999999549;0.0314395427703857
"blasted_case23";77;235;1000;0.0540000000000873;0.346000000001368;35.8381502893425;6.2;1018.99611863244;0.081000000000131;7.12638615336536;0.330999999998312;0.0158743858337402
"blasted_case24";65;190;1000;0.0500000000010914;0.566999999999098;23.4567901234607;5;673.04974969249;0.0360000000000582;10.4116389758409;0.302999999999884;0.0126588344573975
"blasted_case25";68;195;1000;0.0499999999992724;0.272000000000844;44.8529411761067;7.4;1121.43259471232;0.0429999999996653;7.62781146488084;0.304000000000087;0.0118787288665771
"blasted_case26";53;148;1000;0.0419999999994616;0.299999999999272;32.9999999995271;11.3;966.564430863727;0.0409999999992579;7.50247264679716;0.284999999999854;0.0125269889831543
"blasted_case27";52;146;1000;0.0419999999994616;0.283999999999651;46.4788732393554;6.8;1122.20399593701;0.0420000000012806;9.54607605848866;0.274999999999636;0.0135750770568848
"blasted_case28";51;143;1000;0.043999999999869;0.275000000001455;38.9090909088744;6.7;1064.95072986107;0.0429999999996653;5.14521567518869;0.273999999999432;0.0120398998260498
"blasted_case29";65;190;1000;0.0490000000008877;0.318999999999505;39.8119122258948;4.2;613.35499122092;0.0379999999986467;6.63090476909955;0.295999999998457;0.0127143859863281
"blasted_case3";294;1110;1000;0.174999999999272;2.66200000000026;19.9849737040199;8.1;1955.30793355647;0.992000000000189;423.53826158192;1.32099999999991;0.110419273376465
"blasted_case30";68;195;1000;0.0499999999992724;0.506999999999607;30.5719921102477;3.8;963.064873865928;0.0489999999990687;7.47652117788889;0.304000000000087;0.0120220184326172
"blasted_case31";53;148;1000;0.0429999999996653;0.242000000000189;49.1735537192164;13.8;1029.51882016599;0.043999999999869;7.03671377074676;0.291999999999462;0.012962818145752
"blasted_case32";52;146;1000;0.0429999999996653;0.252000000000407;49.6031746030944;16.2;942.933434670122;0.0429999999996653;10.949600173075;0.277000000000044;0.0136947631835938
"blasted_case33";51;143;1000;0.0419999999994616;0.1299999999992;NA;NA;982.070273840719;0.0420000000012806;7.47783120996188;0.277000000000044;0.0122537612915039
"blasted_case34";409;1597;1000;0.282000000001062;1.38999999999942;36.7625899281033;6.6;NA;2.57500000000073;2673.19771913822;5.82000000000153;0.915305376052856
"blasted_case35";400;1414;1000;0.355000000001382;1.28700000000026;48.4848484849641;7.3;NA;4.14099999999962;NA;2.7450000000008;0.40429949760437
"blasted_case36";64;208;1000;0.0489999999990687;0.885000000000218;12.8813559321525;11.2;704.237184465189;0.0310000000008586;5.29953707217024;0.314000000000306;0.0128004550933838
"blasted_case38";143;568;1000;0.0859999999993306;0.743000000000393;31.897711978582;6.3;1145.08663171668;0.140000000001237;11.0372220010086;0.558999999999287;0.0297586917877197
"blasted_case39";245;650;1000;0.644000000000233;0.309000000001106;NA;NA;NA;2.23600000000079;NA;15.5610000000015;2.25021624565125
"blasted_case4";103;316;1000;0.0680000000011205;0.394999999998618;47.8481012660676;11;1008.66960979278;0.426000000001295;9.65693845924483;0.575999999999112;0.0654537677764893
"blasted_case40";245;650;1000;0.647999999999229;0.346999999999753;NA;NA;NA;2.24300000000039;NA;16.8639999999996;2.21555972099304
"blasted_case41";245;650;1000;0.641999999999825;0.273000000001048;NA;NA;NA;2.23500000000058;NA;16.387999999999;2.23590350151062
"blasted_case43";116;421;1000;0.0740000000005239;0.458999999998923;43.790849673112;14.9;1483.57833824866;0.210999999999331;14.1404076112332;0.512000000000626;0.0411343574523926
"blasted_case44";173;651;1000;0.121000000001004;0.379000000000815;NA;NA;2054.82095461057;0.42699999999968;24.3695768811872;0.753999999998996;0.0812294483184814
"blasted_case45";116;421;1000;0.0749999999989086;0.439000000000306;40.5466970386696;12.4;1686.07474120383;0.197000000000116;12.7443588031226;0.52100000000064;0.0433857440948486
"blasted_case46";176;660;1000;0.119000000000597;1.06400000000031;37.0300751879812;6.4;2647.59903460394;0.411999999998443;16.9047113703271;0.902000000000044;0.0959658622741699
"blasted_case47";118;328;1000;0.0729999999985012;0.391000000001441;47.5703324810302;23.9;1578.86372704418;0.176000000001295;38.4608890775036;0.449000000000524;0.0279133319854736
"blasted_case5";176;518;1000;0.117000000000189;0.679000000000087;37.1134020619109;4.9;1843.97324964268;0.909999999999854;392.739886322151;0.915000000000873;0.0804340839385986
"blasted_case50";843;3288;1000;1.9369999999999;3.97999999999956;29.3467336683365;14.7;NA;6.77399999999943;NA;13.1769999999997;0.930294513702393
"blasted_case51";132;395;1000;0.081000000000131;0.427999999999884;58.6448598131477;5.6;1595.69804374581;0.197000000000116;22.1521260309456;0.494999999998981;0.0262136459350586
"blasted_case52";132;395;1000;0.0820000000003347;0.229999999999563;NA;NA;1650.01413309017;0.215000000000146;14.9763222356974;0.505000000001019;0.0262529850006104
"blasted_case53";132;395;1000;0.0820000000003347;0.154000000000451;NA;NA;1533.77744516594;0.204999999999927;14.2877272687744;0.486999999999171;0.0267672538757324
"blasted_case54";203;725;1000;0.126000000000204;0.697000000000116;41.4634146342355;9;1647.22980923222;0.363000000001193;88.9352834907914;1.21599999999853;0.132852792739868
"blasted_case55";149;442;1000;0.0990000000001601;0.591000000000349;NA;NA;1681.77511992311;0.170000000000073;73.4379118159436;0.502999999998792;0.0221774578094482
"blasted_case56";202;722;1000;0.122999999999593;0.829999999999927;48.6746987952393;12.7;2274.94880391958;0.367000000000189;101.916269331508;0.783999999999651;0.0445866584777832
"blasted_case57";288;1158;1000;0.230999999999767;1.246000000001;42.696629213534;7.7;3511.81853536271;1.1820000000007;460.345102716998;1.38299999999981;0.125648260116577
"blasted_case58";96;299;1000;0.0609999999996944;0.527999999998428;41.2878787878005;13.8;927.430123723113;0.197000000000116;7.35778778744172;0.363000000001193;0.014662504196167
"blasted_case59";93;285;1000;0.0599999999994907;0.334999999999127;47.1641791044355;13.2;1187.90504428635;0.191000000000713;9.24832816449365;0.377000000000407;0.0183472633361816
"blasted_case59_1";93;285;1000;0.0599999999994907;0.440000000000509;53.1818181818426;21.9;1202.62969166905;0.183000000000902;10.5643857385046;0.376000000000204;0.0146100521087646
"blasted_case6";329;996;1000;0.177999999999884;1.16400000000067;33.7628865979212;3.3;3526.08367663927;1.93999999999869;1040.04442251474;1.21999999999935;0.114827156066895
"blasted_case60";15;35;1000;0.0270000000000437;0.64000000000015;NA;NA;243.134740740288;0.0209999999988213;NA;0.197000000000116;0.0105879306793213
"blasted_case61";282;753;1000;0.701999999999316;1.03700000000026;45.1301832207155;33.9;NA;266.287;NA;1.42399999999907;0.198974609375
"blasted_case62";291;1165;1000;0.200999999999112;1.27000000000044;50.1574803149927;9.4;3256.55138618728;1.253999999999;646.796748083558;1.29999999999927;0.0811994075775146
"blasted_case63";96;299;1000;0.0619999999998981;0.440000000000509;45.2272727273394;17.7;1099.37824705681;0.191000000000713;7.6088260232174;0.380999999999403;0.0153622627258301
"blasted_case64";93;285;1000;0.0599999999994907;0.401000000001659;47.1321695759411;18.6;1021.65176894514;0.191999999999098;9.14719673846282;0.352999999999156;0.0142452716827393
"blasted_case68";178;553;1000;0.194000000001324;0.691999999999098;45.6647398845556;17.1;1640.88027243257;0.663000000000466;54.4642629472957;3.61200000000099;0.953086137771606
"blasted_case7";116;365;1000;0.0720000000001164;0.489999999999782;34.8979591837454;9.1;1348.26619032596;0.265000000001237;9.56062284006871;0.461999999999534;0.0306947231292725
"blasted_case8";160;525;1000;0.104000000001179;0.32300000000032;NA;NA;1760.29098851407;0.711999999999534;351.470372226832;0.773000000001048;0.0859510898590088
"blasted_case9";279;753;1000;0.161999999998443;0.898000000001048;50.7795100222271;10.4;3268.25336779048;230.548000000001;NA;1.31999999999971;0.153557300567627
"blasted_squaring22";695;2193;1000;1.20000000000073;7.9890000000014;12.5172111653502;8.2;NA;0.639999999999418;2343.12886909279;NA;NA
"blasted_squaring26";894;3187;1000;2.6299999999992;14.6650000000009;10.7125809751096;5.7;NA;3.05099999999948;NA;7.09199999999873;0.849320411682129
"blasted_squaring50";500;1965;1000;2.08100000000013;4.29500000000007;19.9767171129257;7.2;NA;3.77900000000045;1603.66331013858;14.6660000000011;4.3149950504303
"blasted_squaring51";496;1947;1000;0.876000000000204;4.81399999999849;16.30660573328;5.4;NA;3.38799999999901;2267.95779226643;14.405999999999;4.2805757522583
"busybox";613;530;1000;0.257000000001426;0.665000000000873;77.1428571428806;68.1;NA;0.173000000000684;NA;1.86800000000039;0.0175511837005615
"DellSPLOT";118;2181;1000;0.0750000000007276;0.43999999999869;74.772727272887;1.2;3278.09086878955;0.066000000000713;187.583775506178;0.439000000000306;0.0200824737548828
"embtoolkit-onlybool";2331;6437;1000;2.61000000000058;4.61700000000019;50.812215724524;3.2;NA;9.14999999999964;NA;NA;NA
"fiasco";113;4717;1000;0.0679999999993015;1.46600000000035;88.6084583900927;1.7;NA;0.0560000000004948;NA;0.447000000000116;0.0478208065032959
"GuidanceService2.sk_2_27";715;2181;1000;0.394000000000233;1.48099999999977;61.0398379473729;8.4;NA;0.748999999999796;NA;1.9380000000001;0.0589570999145508
"jhipster";45;104;1000;0.0409999999992579;0.0670000000009168;NA;NA;911.076909694594;0.0280000000002474;3.5942999250303;0.265999999999622;0.0104806423187256
"LargeAutomotive";17365;321897;1000;12.0719999999983;77.0550000000003;55.4487054701169;96.8;NA;24.5709999999999;NA;119.262000000001;15.1331102848053
"polynomial.sk_7_25";313;1027;1000;0.199000000000524;190.303;0.160270726157912;3.2;NA;0.0270000000000437;6.74444975136436;1.12699999999859;0.0192394256591797
"registerlesSwap.sk_3_10";372;1493;1000;0.178999999998268;0.971000000001368;56.1277033984866;13.8;1087.19520210431;0.227999999999156;12.4967629928956;1.04800000000068;0.0326390266418457
"s1196a_3_2";690;1805;1000;6.07999999999993;2.02400000000125;39.5750988142688;2.7;NA;1.99599999999919;415.23065425535;7.81099999999969;0.941529273986816
"s1196a_7_4";708;1881;1000;2.55400000000009;2.52599999999984;33.8875692794862;2.8;NA;2.17499999999927;225.656485318966;8.98599999999897;1.2229859828949
"s1238a_3_2";686;1850;1000;3.35800000000017;3.51599999999962;23.5210466438966;3;NA;2.21499999999833;721.429374573381;7.8760000000002;1.7725043296814
"s1238a_7_4";704;1926;1000;5.23700000000099;3.37299999999959;25.704120960524;1.7;NA;2.16799999999785;279.454776250856;7.94599999999991;1.4596734046936
"s1488_15_7";941;2783;1000;0.685999999997875;3.01699999999983;NA;NA;NA;0.457999999998719;17.3330486686476;2.72200000000157;0.162406921386719
"s1488_7_4";872;2499;1000;0.801000000003114;3.38299999999799;34.2299733963977;4.2;NA;0.680999999996857;20.329980350904;2.71399999999994;0.176295280456543
"s27_15_7";32;103;1000;0.036999999996624;0.413000000000466;10.6537530261502;7;NA;0.0280000000020664;3.20954919428693;0.238000000001193;0.0119657516479492
"s27_3_2";20;43;1000;0.0319999999992433;0.341000000000349;NA;NA;NA;0.021999999997206;6.80344767733075;0.230999999999767;0.00881004333496094
"s27_7_4";24;63;1000;0.0339999999996508;0.338999999999942;NA;NA;NA;0.0240000000012515;5.12597008426791;0.221000000001368;0.0104682445526123
"s27_new_15_7";17;43;1000;0.0309999999990396;0.372999999999593;8.04289544205593;4.8;NA;0.022000000000844;5.23668992408298;0.210999999999331;0.0110747814178467
"s27_new_3_2";17;31;1000;0.0320000000028813;0.394000000000233;7.61421319859292;4.8;NA;0.0210000000006403;6.47735748320112;0.218999999997322;0.0104708671569824
"s27_new_7_4";17;35;1000;0.0300000000024738;0.395000000000437;7.088607594531;4.8;NA;0.022000000000844;4.49894662516631;0.209999999999127;0.0103378295898438
"s298_15_7";292;870;1000;0.292000000001281;0.289999999997235;NA;NA;NA;0.652000000001863;13.7695013546292;1.94399999999951;0.154754400253296
"s298_3_2";205;510;1000;0.147000000000844;0.233000000000175;NA;NA;NA;0.0830000000023574;5.61652526236268;0.634000000001834;0.0257253646850586
"s298_7_4";223;586;1000;0.245999999999185;0.550999999999476;59.7096188744496;21.9;NA;0.217000000000553;7.2467956898411;0.766999999999825;0.0410065650939941
"s344_15_7";284;824;1000;0.256000000001222;0.815999999998894;56.7401960784762;21.4;NA;0.38799999999901;95.9595198442734;0.975000000002183;0.0650506019592285
"s344_3_2";197;464;1000;0.217999999997119;0.138000000002648;NA;NA;NA;0.270000000000437;101.435124017952;0.836000000002969;0.101342678070068
"s344_7_4";215;540;1000;0.261999999998807;0.575000000000728;68.8695652174155;100;NA;0.359000000000378;189.847065615668;0.721000000001368;0.0483818054199219
"s349_15_7";285;829;1000;0.204999999998108;0.692999999999302;66.8109668109963;90.4;NA;0.319999999999709;64.4143760425783;1.17700000000332;0.1090407371521
"s349_3_2";198;469;1000;0.138000000002648;0.190000000002328;NA;NA;NA;0.183000000000902;144.196372160219;0.679000000000087;0.0551443099975586
"s349_7_4";216;545;1000;0.174999999999272;0.56499999999869;59.8230088496498;70.5;NA;0.26299999999901;125.795304950654;0.69800000000032;0.0371096134185791
"s382_15_7";350;995;1000;0.257999999997992;0.299999999999272;NA;NA;NA;0.372999999999593;197.832212952328;1.49799999999959;0.13797402381897
"s382_3_2";263;635;1000;0.144000000000233;0.621999999999389;70.0964630222353;100;NA;0.161000000000058;18.8743142590136;0.820999999999913;0.0283079147338867
"s382_7_4";281;711;1000;0.15400000000227;0.672999999998865;70.1337295694454;86.2;NA;0.208999999998923;31.1942017457602;0.828999999997905;0.0344951152801514
"s420_15_7";366;994;1000;0.288000000000466;0.938000000001921;74.6268656715665;100;NA;0.291999999997643;418.63904596798;1.47000000000116;0.132063150405884
"s420_3_2";294;694;1000;0.175999999999476;0.694999999999709;75.9712230213884;100;NA;0.180000000000291;377.269416987931;0.815999999998894;0.0329973697662354
"s420_7_4";312;770;1000;0.209999999999127;0.775000000001455;73.9354838708702;100;NA;0.224000000001979;179.664748160109;0.988000000001193;0.0569548606872559
"s420_new_15_7";351;934;1000;0.217000000000553;0.868999999998778;76.0644418873404;100;NA;0.367999999998574;419.81336339153;1.08599999999933;0.0698528289794922
"s420_new_3_2";294;694;1000;0.179000000000087;0.705000000001746;74.4680851064049;100;NA;0.190999999998894;209.943890439863;0.823999999996886;0.0385904312133789
"s420_new_7_4";312;770;1000;0.184999999997672;0.764999999999418;73.0718954245612;100;NA;0.368999999998778;368.717481846304;0.919000000001688;0.0508341789245605
"s420_new1_15_7";366;994;1000;0.289000000000669;0.943999999999505;73.3050847457056;100;NA;0.299000000002707;296.963009128094;1.4519999999975;0.134087324142456
"s420_new1_3_2";294;694;1000;0.177999999999884;0.699000000000524;74.5350500715665;100;NA;0.183000000000902;595.659734002231;0.810999999997875;0.0331227779388428
"s420_new1_7_4";312;770;1000;0.211999999999534;0.757000000001426;74.7688243066665;100;NA;0.244999999998981;170.30096785617;0.986000000000786;0.0572459697723389
"s444_15_7";377;1072;1000;0.221000000001368;0.965000000000146;47.0466321245051;16;NA;0.348000000001775;87.8252749466118;1.30400000000009;0.0711023807525635
"s444_3_2";290;712;1000;0.151999999998225;0.599000000001979;57.7629382304215;39.6;NA;0.177999999999884;25.1734674796955;0.832000000002154;0.0358066558837891
"s444_7_4";308;788;1000;0.182000000000698;0.693999999999505;61.2391930835123;14.8;NA;0.377000000000407;116.729791166719;0.974000000001979;0.0540719032287598
"s510_15_7";340;948;1000;0.184000000001106;0.744999999998981;67.2483221477703;96.1;NA;0.0999999999985448;104.020603776386;0.915000000000873;0.0282578468322754
"s510_3_2";298;768;1000;0.165000000000873;0.625;67.6799999998184;97.4;NA;0.0869999999995343;66.9713080136919;0.815000000002328;0.0252249240875244
"s510_7_4";316;844;1000;0.170999999998457;0.791000000001077;72.5663716813834;100;NA;0.101999999998952;102.920283177204;0.863000000001193;0.0261187553405762
"s526_15_7";452;1303;1000;1.04000000000087;1.18799999999828;60.858585858517;22.9;NA;1.86999999999898;226.256407615781;3.88099999999758;0.622381210327148
"s526_3_2";365;943;1000;0.272000000000844;0.834999999999127;58.5628742512899;17.1;NA;0.812000000001717;32.3374458462244;1.68799999999828;0.136335611343384
"s526_7_4";383;1019;1000;0.388999999999214;0.67500000000291;53.3333333331896;11.3;NA;1.12800000000061;91.4059424062016;2.56999999999971;0.271867036819458
"s526a_15_7";453;1304;1000;0.883999999998196;1.19100000000253;53.7363560035009;10.4;NA;1.53399999999965;138.724058979929;3.7410000000018;0.721909761428833
"s526a_3_2";366;944;1000;0.311000000001513;0.879000000000815;57.9067121730787;19.3;NA;0.873999999999796;63.0679392089431;1.90299999999843;0.11388087272644
"s526a_7_4";384;1020;1000;0.443999999999505;0.882000000001426;59.2970521542179;18.8;NA;1.03199999999924;60.3040387846696;2.25599999999758;0.24373984336853
"s641_15_7";576;1399;1000;3.71899999999732;1.0480000000025;61.8320610686546;42.6;NA;1.55600000000049;NA;28.5060000000012;3.95793604850769
"s641_3_2";489;1039;1000;0.860000000000582;1.04299999999785;70.2780441037093;94;NA;1.15399999999863;NA;6.46700000000055;0.879210948944092
"s641_7_4";507;1115;1000;4.02899999999863;0.902000000001863;59.645232815893;43.2;NA;1.55500000000029;NA;9.5789999999979;1.15739941596985
"s713_15_7";596;1477;1000;9.04999999999927;1.19599999999991;55.6020066887361;31;NA;1.91000000000349;NA;21.1280000000006;3.01282739639282
"s713_3_2";509;1117;1000;1.14400000000023;1.05600000000049;61.3636363637068;71.3;NA;1.0570000000007;NA;8.1339999999982;0.748272895812988
"s713_7_4";527;1193;1000;2.13299999999799;0.936000000001513;65.2777777777562;75.8;NA;1.28399999999965;NA;8.93800000000192;1.09296083450317
"s820a_15_7";685;1987;1000;0.358000000000175;1.72699999999895;54.4875506658636;28.4;NA;0.453000000001339;17.6796456804887;1.74200000000201;0.0434410572052002
"s820a_3_2";598;1627;1000;0.286000000000058;1.14700000000084;57.8901482127446;39.7;NA;0.151000000001659;14.6041401876072;1.38000000000102;0.0260565280914307
"s820a_7_4";616;1703;1000;0.316999999999098;1.4890000000014;68.435191403578;100;NA;0.22899999999936;18.1179206139972;1.49199999999837;0.0338747501373291
"s832a_15_7";693;2017;1000;0.525999999998021;1.88100000000122;55.5023923445513;70.9;NA;0.958999999998923;31.5533225398876;2.07900000000154;0.102273225784302
"s832a_3_2";606;1657;1000;0.298000000002503;1.31999999999971;63.4848484848426;60.6;NA;0.240000000001601;15.5447274963802;1.42900000000009;0.0298416614532471
"s832a_7_4";624;1733;1000;0.32300000000032;1.4989999999998;60.1067378253356;66.5;NA;0.493000000002212;20.7033703006438;1.53299999999945;0.0417394638061523
"s838_15_7";685;1774;1000;1.33699999999953;1.66899999999805;69.3229478730135;100;NA;1.2609999999986;NA;3.2510000000002;0.265580415725708
"s838_3_2";598;1414;1000;0.639999999999418;1.35399999999936;70.8271787296438;100;NA;0.996999999999389;NA;1.64500000000044;0.0935299396514893
"s838_7_4";616;1490;1000;0.519000000000233;1.39300000000003;71.7157214644491;100;NA;0.677999999999884;NA;1.81499999999869;0.103386878967285
"s953a_3_2";515;1297;1000;0.825000000000728;1.06100000000151;65.4099905751323;36.5;NA;1.01800000000003;900.797909161784;2.86899999999878;0.319221973419189
"s953a_7_4";533;1373;1000;0.812999999998283;1.24399999999878;60.4501607717963;44.2;NA;1.06200000000172;775.395554852404;2.71200000000317;0.261975526809692
"tableBasedAddition.sk_240_1024";1026;961;1000;0.443999999999505;9.99200000000201;0.250200160142616;0.1;603.799171043984;0.0229999999974098;NA;2.3739999999998;0.0104062557220459
"toybox";544;1020;1000;0.246000000002823;0.783999999999651;71.9387755105071;100;NA;0.0930000000007567;NA;1.25;0.0115871429443359
"uClibc";298;903;1000;0.138000000002648;0.504999999997381;74.455445544981;1.2;NA;0.225999999998749;NA;0.991000000001804;0.0225577354431152