@relation 'x'
@attribute 'instance_id' string
@attribute 'repetition' numeric
@attribute 'algorithm' {'abcdSAT','ADS.cryptominisat','ADS.cryptominisat.autotune','ADS.glucose.adapt','ADS.glucose.community.switching','BreakIDGlucose2','CCAglucose2015','COMiniSatPS_Main_Sequence','COMiniSatPS_Subdwarf','glucose.default','Glucose_nbSat','Glucose_nbSatRsltn','glueminisat.Actmini','GlueMiniSat_2.2.10','GlueMiniSat_2.2.10.5','Lingeling_sr15bal','Lingeling_sr15baq','minisat_BCD','multi.sat.g2_0','multi.sat.g2_2','Nigma.1.2.86','Nigma.1.2.87','none','or.tools','riss_505_1','riss_505_2','satUZK.seq'}
@attribute 'nvarsOrig' numeric
@attribute 'nclausesOrig' numeric
@attribute 'nvars' numeric
@attribute 'nclauses' numeric
@attribute 'reducedVars' numeric
@attribute 'reducedClauses' numeric
@attribute 'Pre.featuretime' numeric
@attribute 'vars.clauses.ratio' numeric
@attribute 'POSNEG.RATIO.CLAUSE.mean' numeric
@attribute 'POSNEG.RATIO.CLAUSE.coeff.variation' numeric
@attribute 'POSNEG.RATIO.CLAUSE.min' numeric
@attribute 'POSNEG.RATIO.CLAUSE.max' numeric
@attribute 'POSNEG.RATIO.CLAUSE.entropy' numeric
@attribute 'VCG.CLAUSE.mean' numeric
@attribute 'VCG.CLAUSE.coeff.variation' numeric
@attribute 'VCG.CLAUSE.min' numeric
@attribute 'VCG.CLAUSE.max' numeric
@attribute 'VCG.CLAUSE.entropy' numeric
@attribute 'UNARY' numeric
@attribute 'BINARY.' numeric
@attribute 'TRINARY.' numeric
@attribute 'Basic.featuretime' numeric
@attribute 'VCG.VAR.mean' numeric
@attribute 'VCG.VAR.coeff.variation' numeric
@attribute 'VCG.VAR.min' numeric
@attribute 'VCG.VAR.max' numeric
@attribute 'VCG.VAR.entropy' numeric
@attribute 'POSNEG.RATIO.VAR.mean' numeric
@attribute 'POSNEG.RATIO.VAR.stdev' numeric
@attribute 'POSNEG.RATIO.VAR.min' numeric
@attribute 'POSNEG.RATIO.VAR.max' numeric
@attribute 'POSNEG.RATIO.VAR.entropy' numeric
@attribute 'HORNY.VAR.mean' numeric
@attribute 'HORNY.VAR.coeff.variation' numeric
@attribute 'HORNY.VAR.min' numeric
@attribute 'HORNY.VAR.max' numeric
@attribute 'HORNY.VAR.entropy' numeric
@attribute 'horn.clauses.fraction' numeric
@attribute 'VG.mean' numeric
@attribute 'VG.coeff.variation' numeric
@attribute 'VG.min' numeric
@attribute 'VG.max' numeric
@attribute 'KLB.featuretime' numeric
@attribute 'CG.mean' numeric
@attribute 'CG.coeff.variation' numeric
@attribute 'CG.min' numeric
@attribute 'CG.max' numeric
@attribute 'CG.entropy' numeric
@attribute 'cluster.coeff.mean' numeric
@attribute 'cluster.coeff.coeff.variation' numeric
@attribute 'cluster.coeff.min' numeric
@attribute 'cluster.coeff.max' numeric
@attribute 'cluster.coeff.entropy' numeric
@attribute 'CG.featuretime' numeric
@data
"002-80-12.cnf",1,"minisat_BCD",13408,478488,12701,307271,0.055664908,0.557218221,0.6,0.041334848,0.375447991,0.589576128,0,1,2.190191543,0.000453158,0.201277531,0.000157468,0.001574679,1.444064777,0,0.001158586,0.038073883,0.04,0.000453158,0.43993018,5.2071e-05,0.000881958,3.717319408,0.117466706,0.0684204,0,0.672727273,2.813879478,7.3751e-05,0.497450974,6.509e-06,0.000188758,3.281792079,0.193614106,6.3609e-05,0.419276748,1.6272e-05,0.000123669,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"002-80-4.cnf",1,"Lingeling_sr15bal",13408,478480,12703,307362,0.055498701,0.556731151,0.66,0.041329117,0.375392467,0.589368533,0,1,2.190122854,0.000453143,0.201203907,0.000157443,0.001574431,1.443771955,0,0.001102934,0.037948738,0.04,0.000453143,0.439697914,4.5549e-05,0.000881697,3.714047469,0.11744557,0.068528818,0,0.672727273,2.814368285,7.3699e-05,0.497643504,3.253e-06,0.000188703,3.283719684,0.193481953,6.3536e-05,0.417922517,1.6267e-05,0.000120379,0.32,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"002-80-8.cnf",1,"ADS.cryptominisat",13408,478484,12702,307158,0.055581798,0.557778082,0.62,0.04135331,0.375457131,0.589527845,0,1,2.190413172,0.000453105,0.2012753,0.000157456,0.001574555,1.444209512,0,0.001126456,0.038061844,0.02,0.000453105,0.440278166,2.6045e-05,0.000882282,3.723821403,0.117427008,0.068495791,0,0.672727273,2.813957379,7.3727e-05,0.497987747,3.256e-06,0.000188828,3.285256094,0.193574642,6.3608e-05,0.419094572,1.6278e-05,0.000130226,0.26,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"003-80-8.cnf",1,"Glucose_nbSatRsltn",13408,478484,12700,307161,0.055748031,0.557762867,0.66,0.041346395,0.37547051,0.589531393,0,1,2.18998863,0.000453171,0.201237775,0.00015748,0.001574803,1.443919389,0,0.001103656,0.03804845,0.04,0.000453171,0.440173917,2.6045e-05,0.000882273,3.719604253,0.117440869,0.068640282,0,0.672727273,2.815424822,7.3721e-05,0.497679442,3.256e-06,0.000188826,3.284511103,0.193530429,6.3564e-05,0.418147955,1.6278e-05,0.000130225,0.28,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"004-80-8.cnf",1,"ADS.cryptominisat",13408,478484,12706,307403,0.055249488,0.556536533,0.64,0.041333364,0.375440424,0.589434573,0,1,2.190435338,0.000453034,0.201327418,0.000157406,0.001574059,1.444316231,0,0.001135317,0.037998979,0.04,0.000453034,0.439993836,2.6024e-05,0.000881579,3.719650623,0.117515262,0.068585346,0,0.672727273,2.814011938,7.3701e-05,0.497830122,3.253e-06,0.000188677,3.282513836,0.193540727,6.3681e-05,0.420668611,1.6265e-05,0.000139882,0.28,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"005-80-12.cnf",1,"ADS.cryptominisat",13408,478488,12701,307265,0.055664908,0.557248629,0.6,0.041335655,0.375467782,0.589605958,0,1,2.189775839,0.000453151,0.201208404,0.000157468,0.001102275,1.443605422,0,0.001129318,0.038061608,0.04,0.000453151,0.439955426,3.9054e-05,0.000881975,3.714489086,0.117450989,0.068599409,0,0.672727273,2.813350324,7.3724e-05,0.497324673,6.509e-06,0.000188762,3.281839884,0.193543033,6.3503e-05,0.418343534,1.6273e-05,0.000139944,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"007-80-12.cnf",1,"Glucose_nbSatRsltn",13408,478488,12703,307309,0.055498701,0.557025665,0.64,0.041336245,0.375449933,0.589590458,0,1,2.190145409,0.000453077,0.201257257,0.000157443,0.001259545,1.443975418,0,0.001148681,0.038078937,0.04,0.000453077,0.44003828,3.2541e-05,0.000881849,3.716499791,0.117482351,0.068491552,0,0.672727273,2.813337407,7.3722e-05,0.497440406,6.508e-06,0.000188735,3.282735022,0.193599927,6.359e-05,0.418147865,1.627e-05,0.000123654,0.28,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"007-80-8.cnf",1,"ADS.cryptominisat",13408,478484,12704,307387,0.055415617,0.556617554,0.58,0.041329009,0.375392507,0.589415475,0,1,2.190268412,0.0004531,0.201278898,0.000157431,0.001574307,1.444233682,0,0.001148389,0.037978184,0.02,0.0004531,0.43980893,4.5545e-05,0.000881625,3.716710686,0.117477912,0.06870241,0,0.714285714,2.812406799,7.3703e-05,0.497554673,6.506e-06,0.000188687,3.28188523,0.193521522,6.361e-05,0.419637157,1.6266e-05,0.000130129,0.26,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"008-80-12.cnf",1,"minisat_BCD",13408,478488,12701,307077,0.055664908,0.558202014,0.6,0.041360962,0.375427191,0.589560927,0,1,2.190297792,0.000453092,0.201326111,0.000157468,0.001181009,1.444576627,0,0.001133266,0.038195632,0.04,0.000453092,0.440515267,3.2565e-05,0.000882515,3.726860046,0.117396328,0.068523692,0,0.672727273,2.81907294,7.374e-05,0.497307309,6.513e-06,0.000188878,3.280526651,0.19361919,6.3672e-05,0.418404573,1.6283e-05,0.000123747,0.26,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"008-80-4.cnf",1,"Nigma.1.2.87",13408,478480,12703,307376,0.055498701,0.556660247,0.58,0.041327234,0.375466743,0.589475103,0,1,2.190533099,0.00045317,0.20133845,0.000157443,0.001574431,1.444309361,0,0.00109963,0.037937249,0.04,0.00045317,0.439762102,5.2054e-05,0.000881656,3.717702136,0.117475237,0.068448923,0,0.672727273,2.812320999,7.3713e-05,0.497689167,3.253e-06,0.000188694,3.28084143,0.193495914,6.3749e-05,0.423749303,1.6267e-05,0.000159414,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"008-80-8.cnf",1,"Lingeling_sr15bal",13408,478484,12698,306923,0.055914317,0.558970817,0.6,0.04137194,0.375423126,0.589520554,0,1,2.190098171,0.000453186,0.201316525,0.000157505,0.001575051,1.444261219,0,0.001111028,0.038139859,0.02,0.000453186,0.440466106,5.213e-05,0.000882958,3.72641525,0.11743364,0.068549042,0,0.672727273,2.815587539,7.3741e-05,0.497857267,3.258e-06,0.000188972,3.28686326,0.193572981,6.3581e-05,0.418564736,1.6291e-05,0.000136842,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"009-23-64.cnf",1,"or.tools",4288,132576,3571,73596,0.200784094,0.80140225,0.14,0.048521659,0.370492509,0.607362459,0,1,2.176451839,0.001590791,0.218627593,0.000560067,0.001960235,1.497840491,0,0.004877982,0.070601663,0.02,0.001590791,0.499179561,8.1526e-05,0.003627915,4.171618882,0.131231479,0.083645353,0,0.672727273,3.102403407,0.000266648,0.507217691,2.7175e-05,0.000760911,3.266572112,0.204223056,0.000226878,0.434511161,6.7938e-05,0.000475569,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"009-80-4.cnf",1,"Lingeling_sr15baq",13408,478480,12702,307263,0.055581798,0.557232729,0.66,0.041339178,0.375428943,0.589395352,0,1,2.190146896,0.000453147,0.201278836,0.000157456,0.001574555,1.443910252,0,0.001093526,0.037947947,0.02,0.000453147,0.439966718,5.2073e-05,0.000881981,3.718190831,0.117463541,0.06856873,0,0.672727273,2.81475274,7.3731e-05,0.497491589,3.255e-06,0.000188763,3.28021627,0.193550802,6.3592e-05,0.419412155,1.6273e-05,0.000139945,0.3,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"009-80-8.cnf",1,"Lingeling_sr15bal",13408,478484,12701,307256,0.055664908,0.557281225,0.64,0.041336866,0.375397478,0.589363625,0,1,2.189575783,0.000453159,0.201165995,0.000157468,0.001338477,1.443282025,0,0.001106569,0.038010649,0.04,0.000453159,0.439840424,5.2074e-05,0.000882001,3.714764592,0.117447919,0.0685981,0,0.672727273,2.814633412,7.3736e-05,0.497023385,6.509e-06,0.000188768,3.279493095,0.193571484,6.3461e-05,0.416978102,1.6273e-05,0.000107402,0.28,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"010-22-144.cnf",1,"or.tools",4128,126564,3267,60949,0.263544536,1.076555809,0.14,0.053602192,0.373284143,0.613987429,0,1,2.184193207,0.001697651,0.229889237,0.000612182,0.002142639,1.543788626,0,0.007022265,0.087368127,0,0.001697651,0.573079364,0.00011485,0.004249454,4.41016395,0.129488392,0.087503557,0,0.672727273,3.219694333,0.000305001,0.522844119,1.6407e-05,0.000885987,3.308465491,0.218937144,0.000259501,0.452984131,8.2036e-05,0.000541436,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"010-23-80.cnf",1,"GlueMiniSat_2.2.10",4288,132592,3532,70830,0.214043035,0.871975152,0.14,0.049865876,0.372050718,0.609492851,0,1,2.179991089,0.00159638,0.220658019,0.000566251,0.00198188,1.509648519,0,0.004800226,0.074827051,0,0.00159638,0.512823638,8.471e-05,0.003769589,4.317149306,0.130017062,0.084543055,0,0.672727273,3.148630978,0.000275755,0.510023955,2.8237e-05,0.000734152,3.301809337,0.209402795,0.000232345,0.436147307,7.0592e-05,0.000465904,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"010-80-12.cnf",1,"COMiniSatPS_Subdwarf",13408,478488,12706,307415,0.055249488,0.556488786,0.64,0.04133175,0.375394981,0.589479292,0,1,2.190128036,0.000453001,0.201261441,0.000157406,0.001337951,1.444064132,0,0.001177561,0.038046289,0.04,0.000453001,0.440025676,3.9035e-05,0.000881544,3.718379691,0.117457808,0.068512707,0,0.672727273,2.81485453,7.3707e-05,0.497367558,3.253e-06,0.00018867,3.279882423,0.19357546,6.3608e-05,0.419148256,1.6265e-05,0.000123611,0.28,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"10pipe_q0_k.cnf",1,"ADS.glucose.community.switching",77639,2082017,46760,2015434,0.660372113,0.033036557,4.36,0.023200958,0.874155766,0.353556977,0,1,0.755775538,6.9448e-05,2.629748259,4.2772e-05,0.005624465,0.542011587,0,0.915093722,0.928225385,0.14,6.9448e-05,3.273242936,3.473e-06,0.006132178,4.98020501,0.485140607,0.332452678,0,0.97833935,3.94491329,3.9972e-05,2.526249251,0,0.00163538,4.814041187,0.927887492,0.000114562,2.166107028,3.473e-06,0.004702213,3.4,-1,0,-1,0,-512,-1,0,-1,0,0,21.78
"11pipe_k.cnf",1,"Lingeling_sr15bal",89315,5584003,79604,5548259,0.121991357,0.006442381,24.18,0.014347564,0.939245786,0.24261679,0,1,0.416040455,3.6075e-05,2.970654382,2.5124e-05,0.003705844,0.254164819,0,0.967923992,0.971648404,0.4,3.6075e-05,6.636063687,5.41e-07,0.007762075,5.232507728,0.569973188,0.28278978,0,1,4.226605472,2.4458e-05,6.463624009,0,0.005047529,4.954114687,0.971555401,5.3764e-05,4.06070112,5.41e-07,0.006432649,9.72,0,0,0,0,-512,0,0,0,0,0,20.58
"13pipe_q0_k.cnf",1,"Lingeling_sr15baq",176066,5761591,100858,5603534,0.745682048,0.028206664,13.42,0.017998998,0.897948825,0.312084569,0,1,0.656807955,3.2032e-05,3.110022771,1.983e-05,0.003975887,0.479769889,0,0.925305709,0.936539334,0.4,3.2032e-05,3.888349649,1.249e-06,0.004109906,5.079426949,0.509768561,0.350061134,0,0.9875,3.825304396,1.8666e-05,2.999946572,0,0.001113761,4.92879999,0.935851554,5.2956e-05,2.535993458,1.249e-06,0.003298454,14.8,-1,0,-1,0,-512,-1,0,-1,0,0,21.78
"38bits_10.dimacs.cnf",1,"ADS.glucose.community.switching",448,12700,448,12700,0,0,0,0.035275591,0.326501693,0.694314602,0,1,2.588577049,0.016100429,0.292954698,0.004464286,0.040178571,2.099954076,0,0.006692913,0.05007874,0,0.016100429,1.16539176,0.000708661,0.080944882,5.211915668,0.09376261,0.107242799,0,0.785714286,3.105171653,0.001200436,0.588438391,7.874e-05,0.003779528,3.359375129,0.103700787,0.002602995,0.40679037,0.000314961,0.005354331,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"40bits_10.dimacs.cnf",1,"Lingeling_sr15baq",446,12980,446,12980,0,0,0.02,0.034360555,0.325051478,0.694805451,0,1,2.587668338,0.016223821,0.287485404,0.004484305,0.042600897,2.088378627,0,0.005624037,0.046533128,0,0.016223821,1.134491834,0.000693374,0.079198767,5.202259986,0.10359417,0.119541079,0,0.785714286,3.198442744,0.001150615,0.603404993,7.7042e-05,0.003697997,3.346723675,0.098844376,0.002545828,0.409844466,0.00046225,0.005238829,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"42bits_12.dimacs.cnf",1,"GlueMiniSat_2.2.10.5",538,14509,538,14509,0,0,0.02,0.037080433,0.328695097,0.695604536,0,1,2.582674757,0.013199345,0.295388755,0.003717472,0.037174721,2.099064377,0,0.006961196,0.050244676,0,0.013199345,1.183407931,0.000689227,0.070852574,5.210225294,0.096719204,0.111240855,0,0.8125,3.139222409,0.000991949,0.59171933,6.8923e-05,0.0030326,3.294266325,0.104417947,0.002263945,0.410676746,0.000413536,0.004755669,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"44bits_11.dimacs.cnf",1,"glueminisat.Actmini",609,15417,609,15417,0,0,0.02,0.039501849,0.332836599,0.689219788,0,1,2.578390925,0.011497022,0.301855919,0.003284072,0.034482759,2.105693681,0,0.007329571,0.052928585,0,0.011497022,1.269805464,0.000648635,0.070117403,5.042724016,0.089389519,0.103252819,0,0.8,3.059680053,0.000960384,0.60631042,0.00019459,0.003308037,3.320044059,0.114743465,0.002103536,0.425230576,0.000389181,0.004799896,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"46bits_11.dimacs.cnf",1,"COMiniSatPS_Subdwarf",689,16922,689,16922,0,0,0.02,0.040716227,0.337889724,0.678910299,0,1,2.575809417,0.010078257,0.304212357,0.002902758,0.031930334,2.107786278,0,0.006914076,0.055135327,0,0.010078257,1.238947456,0.000531852,0.063881338,5.160658888,0.086171816,0.101912798,0,0.793103448,3.029593895,0.00085237,0.596656622,0.000177284,0.002954733,3.284870824,0.115589174,0.001971481,0.415855601,0.000354568,0.004313911,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"46bits_12.dimacs.cnf",1,"COMiniSatPS_Main_Sequence",697,17080,697,17080,0,0,0.02,0.040807963,0.337536599,0.680842968,0,1,2.574135577,0.009949298,0.304359127,0.00286944,0.031563845,2.106091943,0,0.007494145,0.054859485,0,0.009949298,1.237600084,0.000526932,0.063290398,5.165745401,0.086698166,0.10317995,0,0.806451613,3.049958368,0.000821688,0.5989589,0.000175644,0.002985948,3.257577684,0.11323185,0.001954008,0.416318913,0.000351288,0.004274005,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.1
"46bits_14.dimacs.cnf",1,"BreakIDGlucose2",690,16938,690,16938,0,0,0.02,0.040736805,0.338937555,0.676713351,0,1,2.576476554,0.010070231,0.303926756,0.002898551,0.031884058,2.107389257,0,0.006907545,0.0553194,0,0.010070231,1.238832955,0.00053135,0.063820994,5.177147525,0.087180996,0.104729522,0,0.785714286,3.03878066,0.000848619,0.604958459,0.000177117,0.002892904,3.288047755,0.115184792,0.001964026,0.419196884,0.000354233,0.004309836,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.1
"48bits_11.dimacs.cnf",1,"riss_505_1",687,18258,687,18258,0,0,0.02,0.037627341,0.331463493,0.686297371,0,1,2.582709644,0.010343176,0.299137393,0.002911208,0.033478894,2.102749643,0,0.006024756,0.047650345,0,0.010343176,1.246321116,0.000547705,0.059206923,5.154577044,0.08870188,0.106280729,0,0.793103448,3.055291506,0.000795886,0.610226239,0.000164312,0.002738526,3.300164795,0.106254792,0.001859646,0.412125152,0.000328623,0.004107788,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
"48bits_12.dimacs.cnf",1,"ADS.cryptominisat",685,18047,685,18047,0,0,0.04,0.037956447,0.335121417,0.68340734,0,1,2.586072733,0.010341934,0.298923382,0.002919708,0.033576642,2.100389913,0,0.005873552,0.048706156,0,0.010341934,1.244060077,0.000554109,0.059899152,5.222930571,0.085657365,0.104197359,0,0.785714286,3.033848935,0.00082631,0.639796216,0.000166233,0.002936776,3.338533386,0.109436471,0.001864232,0.417898127,0.000332465,0.004155815,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
"48bits_13.dimacs.cnf",1,"ADS.glucose.community.switching",688,18146,688,18146,0,0,0.02,0.037914692,0.332879065,0.687362014,0,1,2.585137053,0.010306343,0.298988054,0.002906977,0.033430233,2.101355388,0,0.006227268,0.048826188,0,0.010306343,1.246834903,0.000551086,0.059572358,5.193860379,0.086634609,0.104491393,0,0.785714286,3.035526467,0.000814453,0.622523874,0.000165326,0.002755428,3.328873145,0.107847459,0.001859273,0.416323218,0.000330651,0.004133142,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.1
"48bits_14.dimacs.cnf",1,"COMiniSatPS_Main_Sequence",688,18150,688,18150,0,0,0.04,0.037906336,0.333124344,0.687811349,0,1,2.585330297,0.010309036,0.298770331,0.002906977,0.033430233,2.101029053,0,0.006225895,0.048319559,0,0.010309036,1.245922543,0.000550964,0.059559229,5.186722951,0.085637339,0.10280927,0,0.785714286,3.022195836,0.0008206,0.620797353,0.000165289,0.002754821,3.333585662,0.108870523,0.001861106,0.415118754,0.000330579,0.004132231,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"50bit.dimacs.cnf",1,"Lingeling_sr15baq",1652,33258,1212,33258,0.363036304,0,0.06,0.03644236,0.340111385,0.665505977,0,1,2.596431127,0.005869627,0.28962086,0.001650165,0.02640264,2.0867882,0,0.005833183,0.045162066,0,0.005869627,1.043461226,0.000270612,0.029707138,5.275058921,0.082705494,0.100903041,0,0.785714286,2.986444923,0.000455733,0.570555406,3.0068e-05,0.001503398,3.310147696,0.103223285,0.001132609,0.418194831,0.000120272,0.003307475,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"50bits_10.dimacs.cnf",1,"ADS.glucose.community.switching",842,19430,842,19430,0,0,0.02,0.043335049,0.344030018,0.671043921,0,1,2.566258469,0.008110361,0.308810212,0.002375297,0.028503563,2.105484183,0,0.007720021,0.057025219,0,0.008110361,1.235112276,0.000514668,0.055635615,5.128374046,0.084974611,0.104345784,0,0.785714286,3.00434261,0.000726036,0.586510974,0.0001544,0.00257334,3.264262172,0.120586722,0.001725299,0.427609575,0.000308801,0.004168811,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
"50bits_11.dimacs.cnf",1,"ADS.cryptominisat",836,19244,836,19244,0,0,0.02,0.043442112,0.344268688,0.671808914,0,1,2.566424105,0.008164416,0.309448049,0.002392344,0.028708134,2.106908431,0,0.007742673,0.05736853,0.02,0.008164416,1.243631026,0.000519642,0.056173353,5.130096514,0.090291777,0.110660381,0,0.793103448,3.070262564,0.000731602,0.595535203,0.000155893,0.002546248,3.278993027,0.121024735,0.001727376,0.428362277,0.000311785,0.004261068,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"50bits_13.dimacs.cnf",1,"multi.sat.g2_0",837,19228,837,19228,0,0,0.02,0.043530268,0.344681671,0.668606986,0,1,2.562716422,0.008125658,0.308772732,0.002389486,0.028673835,2.101919039,0,0.007697108,0.057676305,0,0.008125658,1.233235952,0.00041606,0.056220096,5.138215477,0.083442148,0.098994321,0,0.785714286,3.004641432,0.000751779,0.598578093,0.000156022,0.002652382,3.289835294,0.123413772,0.001739672,0.42468557,0.000312045,0.004212607,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.12
"50bits_14.dimacs.cnf",1,"Glucose_nbSat",834,19141,834,19141,0,0,0.02,0.043571391,0.343568093,0.67331516,0,1,2.563425977,0.008156246,0.309588138,0.002398082,0.028776978,2.104111149,0,0.007732093,0.057781725,0,0.008156246,1.236105145,0.000522439,0.056475628,5.131572941,0.088236393,0.106031782,0,0.833333333,3.051098364,0.00073154,0.599249334,0.000104488,0.002612194,3.273515488,0.120631106,0.00174259,0.423227488,0.000313463,0.004283998,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"52bits_12.dimacs.cnf",1,"minisat_BCD",905,19257,904,19244,0.001106195,0.000675535,0.02,0.046975681,0.352948754,0.658334415,0,1,2.547370219,0.007316555,0.310781436,0.002212389,0.027654867,2.088784914,0,0.007846602,0.062045313,0,0.007316555,1.122744241,0.000519642,0.052899605,5.10000094,0.089837551,0.10965877,0,0.785714286,3.058345009,0.000723361,0.564233768,0.000155893,0.002390355,3.246663061,0.129390979,0.001745631,0.426967057,0.000311785,0.004468925,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"54bits_13.dimacs.cnf",1,"ADS.cryptominisat.autotune",1008,21377,1008,21377,0,0,0.02,0.047153483,0.354547388,0.654795024,0,1,2.546657469,0.006547888,0.309652303,0.001984127,0.025793651,2.08472142,0,0.008373486,0.062777752,0.02,0.006547888,1.063744371,0.000421013,0.047621275,5.143322045,0.08458625,0.101802858,0,0.8,3.026269762,0.000635186,0.5437276,9.3558e-05,0.002151845,3.208326828,0.127286336,0.001583719,0.424640757,0.000187117,0.004069795,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"56bits_12.dimacs.cnf",1,"riss_505_1",1063,20928,1063,20928,0,0,0.04,0.050793196,0.362493513,0.64439552,0,1,2.519049005,0.006018754,0.308102286,0.001881468,0.025399812,2.0540044,0,0.009030963,0.066418196,0,0.006018754,0.910222622,0.000430046,0.04720948,5.095063485,0.083611267,0.099298296,0,0.785714286,3.005621683,0.000645496,0.518506983,9.5566e-05,0.001959098,3.190449682,0.13713685,0.001611132,0.426306099,0.000191131,0.00415711,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"58bits_10.dimacs.cnf",1,"CCAglucose2015",1103,24009,1103,24009,0,0,0.04,0.045941105,0.35765069,0.647303566,0,1,2.55449833,0.006017991,0.304963787,0.001813237,0.025385313,2.080382516,0,0.008371861,0.05885293,0,0.006017991,0.969019803,0.000374859,0.041151235,5.155933102,0.080902851,0.10064599,0,0.857142857,2.954155584,0.000585758,0.530209854,0.000124953,0.001832646,3.20682952,0.125911117,0.001482143,0.40821508,0.000166604,0.003831896,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"58bits_11.dimacs.cnf",1,"none",1111,24120,1110,24115,0.000900901,0.00020734,0.04,0.046029442,0.357500852,0.648138894,0,1,2.552362851,0.005971761,0.305487277,0.001801802,0.025225225,2.079991251,0,0.008335061,0.059465063,0,0.005971761,0.970275348,0.000373212,0.04097035,5.155928048,0.083446091,0.103146454,0,0.857142857,2.987258042,0.000587799,0.541052412,0.000124404,0.001824591,3.240845346,0.126933444,0.001474317,0.408032997,0.000165872,0.003815053,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"58bits_13.dimacs.cnf",1,"none",1097,23771,1096,23761,0.000912409,0.000420858,0.04,0.046126005,0.357299592,0.648386502,0,1,2.553106244,0.006047142,0.304944159,0.001824818,0.025547445,2.078367866,0,0.007996296,0.059551366,0,0.006047142,0.979461832,0.000378772,0.041580742,5.174746734,0.081630038,0.100199909,0,0.785714286,2.971583962,0.00059523,0.537306037,8.4172e-05,0.00189386,3.232348484,0.127099028,0.001486211,0.412615728,0.000168343,0.003829805,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.1
"62bits_10.dimacs.cnf",1,"none",1160,28773,1160,28773,0,0,0.06,0.040315574,0.346105092,0.659624374,0,1,2.580162413,0.005958801,0.297467751,0.001724138,0.025862069,2.090992882,0,0.006950961,0.051159073,0,0.005958801,1.035850726,0.000312793,0.034337747,5.241119703,0.082656387,0.10175452,0,0.785714286,2.972545952,0.000503795,0.552348821,3.4755e-05,0.001494457,3.270040619,0.111771452,0.001270708,0.409606453,0.000139019,0.003649255,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"62bits_11.dimacs.cnf",1,"none",1162,28910,1161,28910,0.000861326,0,0.06,0.040159114,0.346828135,0.658098586,0,1,2.581965157,0.005959956,0.297183424,0.001722653,0.025839793,2.09120844,0,0.006710481,0.050294016,0,0.005959956,1.028578409,0.000311311,0.034175026,5.210430067,0.08186068,0.101928344,0,0.785714286,2.958152868,0.000501512,0.549243622,3.459e-05,0.001487375,3.262742074,0.110895884,0.001274799,0.406198287,0.00013836,0.003631961,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"62bits_14.dimacs.cnf",1,"none",1164,28980,1163,28980,0.000859845,0,0.06,0.040131125,0.346612711,0.655560344,0,1,2.577668551,0.005947916,0.297015301,0.00171969,0.025795357,2.089978781,0,0.006763285,0.050448585,0,0.005947916,1.026929325,0.000310559,0.034092478,5.214261038,0.081970123,0.101101915,0,0.785714286,2.967415015,0.000498461,0.554468666,3.4507e-05,0.001656315,3.262996764,0.110869565,0.00127072,0.406825885,0.000138026,0.003623188,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"64bits_11.dimacs.cnf",1,"none",1150,29431,1150,29431,0,0,0.06,0.039074445,0.347094223,0.65671222,0,1,2.587327511,0.006044499,0.293188879,0.00173913,0.026956522,2.085095016,0,0.006149978,0.048010601,0,0.006044499,0.997892962,0.000237844,0.033570045,5.236634227,0.082277397,0.102558149,0,0.857142857,2.969397048,0.000498173,0.563513518,3.3978e-05,0.001630933,3.273787054,0.107471713,0.001285896,0.406104026,0.000203867,0.0036696,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
"64bits_13.dimacs.cnf",1,"none",1152,29555,1152,29555,0,0,0.06,0.038978176,0.348486865,0.652847367,0,1,2.588138066,0.006044903,0.292439984,0.001736111,0.026909722,2.084534097,0,0.006056505,0.046827948,0,0.006044903,0.991393168,0.000304517,0.0334292,5.215067898,0.079839416,0.100163547,0,0.793103448,2.910656761,0.000497043,0.569223272,3.3835e-05,0.001725596,3.278928813,0.107257655,0.001285445,0.406874871,0.000203011,0.003654204,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
"66bit.dimacs.cnf",1,"Lingeling_sr15baq",1652,33258,1212,33258,0.363036304,0,0.06,0.03644236,0.340111385,0.665505977,0,1,2.596431127,0.005869627,0.28962086,0.001650165,0.02640264,2.0867882,0,0.005833183,0.045162066,0,0.005869627,1.043461226,0.000270612,0.029707138,5.275058921,0.082705494,0.100903041,0,0.785714286,2.986444923,0.000455733,0.570555406,3.0068e-05,0.001503398,3.310147696,0.103223285,0.001132609,0.418194831,0.000120272,0.003307475,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"6s11-opt.cnf",1,"Lingeling_sr15baq",33279,97312,11093,54947,2,0.771015706,0.3,0.201885453,0.482206538,0.772377438,0,1,1.606861871,0.000297572,0.568599385,0.000180294,0.0044172,1.406417961,0,0.247365643,0.720021111,0.02,0.000297572,1.592540369,5.4598e-05,0.03785466,3.032203839,0.154674847,0.1349894,0,1,3.082880226,0.000121312,1.845319722,1.8199e-05,0.019273118,2.489118995,0.512657652,0.000329078,1.335360341,5.4598e-05,0.028481992,0.14,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"6s13-opt.cnf",1,"Lingeling_sr15baq",52436,153557,17338,84146,2.024339601,0.824887695,0.52,0.206046633,0.469307001,0.779398658,0,1,1.64858967,0.000190479,0.571149353,0.000115354,0.002826162,1.446493895,0,0.275841989,0.718703206,0,0.000190479,2.158560622,3.5652e-05,0.045777577,3.03154752,0.163894636,0.136233933,0,1,3.073944234,7.8011e-05,2.089200419,1.1884e-05,0.017291375,2.4515944,0.52054762,0.000214055,1.519973464,3.5652e-05,0.029543888,0.36,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"6s130-opt.cnf",1,"Lingeling_sr15baq",49370,144361,16430,80179,2.004869142,0.800483917,0.48,0.204916499,0.475868097,0.770672568,0,1,1.648872862,0.000202614,0.58611985,0.000121729,0.002982349,1.447874948,0,0.262974095,0.715499071,0.02,0.000202614,1.738229665,3.7416e-05,0.032377555,3.039032803,0.168308898,0.139128854,0,1,3.096454022,8.3322e-05,1.620787637,1.2472e-05,0.010289477,2.457364162,0.523802991,0.000227898,1.300180451,3.7416e-05,0.017760261,0.3,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
"6s131-opt.cnf",1,"Lingeling_sr15baq",49325,144226,16390,80071,2.009456986,0.801226412,0.56,0.204693335,0.474977189,0.771525861,0,1,1.647742908,0.00020314,0.586370173,0.000122026,0.002989628,1.446299441,0,0.261792659,0.715477514,0.02,0.00020314,1.73773516,3.7467e-05,0.032396248,3.038554659,0.167225262,0.138571599,0,1,3.088305278,8.3164e-05,1.622961681,1.2489e-05,0.010340823,2.453259943,0.521562114,0.000228441,1.298865193,3.7467e-05,0.017721772,0.36,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"6s133.cnf",1,"riss_505_2",48258,140968,16163,77097,1.985708099,0.828449875,0.5,0.209644993,0.452138856,0.799194997,0,1,1.669807811,0.000206629,0.614195104,0.000123739,0.003093485,1.48284511,0,0.296340973,0.717122586,0,0.000206629,1.929221401,5.1883e-05,0.038107838,2.991812941,0.179286239,0.140508276,0,1,3.049646787,8.746e-05,1.871493727,0,0.013943474,2.451145907,0.549917636,0.000238518,1.369459409,5.1883e-05,0.02176479,0.32,-1,0,-1,0,-512,-1,0,-1,0,0,20.1
"6s151.cnf",1,"Lingeling_sr15baq",35883,107188,13255,61432,1.707129385,0.744823545,0.26,0.215767027,0.456345555,0.716317354,0,1,1.269729108,0.000224099,0.367152599,0.000150886,0.004526594,1.021791287,0,0.235903112,0.843078526,0,0.000224099,1.073450197,0.000113947,0.004671832,2.554612324,0.093727969,0.096432323,0,0.90625,2.278790534,0.000101825,0.999309636,1.6278e-05,0.001920823,2.129168598,0.503239354,0.000208638,1.194710413,8.1391e-05,0.005322959,0.22,0.000648481,1.013995903,8.1391e-05,0.008562313,4.360753889,0.172391611,0.694463861,0.007580252,0.712121212,3.605182114,3.56
"6s16-opt.cnf",1,"Lingeling_sr15baq",30823,89899,10202,50419,2.021270339,0.78303814,0.28,0.202344354,0.489406855,0.769184755,0,1,1.614352131,0.000323871,0.594183347,0.00019604,0.00480298,1.405304265,0,0.249112438,0.720660862,0,0.000323871,1.654631137,5.9501e-05,0.042206311,3.02374785,0.154648137,0.137099728,0,1,3.08815383,0.000131144,1.958052743,1.9834e-05,0.021837006,2.487536822,0.511156508,0.000365625,1.352522577,5.9501e-05,0.0316349,0.14,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"6s16.cnf",1,"Lingeling_sr15baq",31486,91888,10511,51463,1.995528494,0.785515807,0.3,0.204243826,0.493097526,0.771213139,0,1,1.608803535,0.000314776,0.608581604,0.000190277,0.004756921,1.423499441,0,0.265472281,0.727998756,0,0.000314776,1.630668282,5.8294e-05,0.038105046,2.981473013,0.160312382,0.141084422,0,1,3.085768427,0.000132772,1.907742221,1.9431e-05,0.021199697,2.450994637,0.536210481,0.000355157,1.354769683,5.8294e-05,0.02854478,0.14,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"6s165-nonopt.cnf",1,"Lingeling_sr15bal",3295,9586,832,4127,2.960336538,1.322752605,0.02,0.201599225,0.384120818,0.565356793,0,1,1.252462361,0.004046989,0.55896428,0.002403846,0.058894231,1.089141812,0,0.14732251,0.585897747,0,0.004046989,0.481382882,0.001696147,0.019626848,2.235970908,0.052555744,0.100704017,0,0.866666667,1.330138263,0.00235288,0.746568932,0.000484614,0.015507633,1.716659957,0.621274534,0.002617612,1.124909064,0.001211534,0.017688394,0,0.006472238,0.469730684,0.000969227,0.041676763,3.321541297,0.314242584,0.46796576,0.031543052,1,3.320450936,0.06
"6s167-opt.cnf",1,"Lingeling_sr15baq",4640,13523,822,4048,4.644768856,2.340662055,0.02,0.203063241,0.434864954,0.760941109,0,1,1.463779133,0.003825144,0.387836971,0.00243309,0.02919708,1.169860356,0,0.241600791,0.678853755,0,0.003825144,0.681409753,0.001976285,0.028656126,2.404278722,0.078234332,0.092846434,0,0.666666667,2.014668398,0.002057728,0.941891285,0,0.01729249,2.240526632,0.5993083,0.002202283,0.984900675,0.001235178,0.019762846,0,0.007459644,0.791876666,0.001235178,0.048913043,3.960139628,0.273726973,0.557503904,0.017714837,1,3.524854803,0.12
"6s168-opt.cnf",1,"Lingeling_sr15baq",5638,16519,1924,9330,1.93035343,0.770525188,0.04,0.206216506,0.444041385,0.751813126,0,1,1.456608699,0.001628942,0.502897713,0.001039501,0.025467775,1.140460395,0,0.222400857,0.717148982,0,0.001628942,0.924977062,0.000643087,0.029046088,2.429031791,0.091425426,0.104647423,0,0.866666667,2.117604473,0.000861237,1.093282216,0.000107181,0.014898178,2.352363894,0.58306538,0.001164174,1.260688337,0.000535906,0.014898178,0,0.004103785,0.941891812,0.000428725,0.027116827,4.24397482,0.250375092,0.63404551,0.01800995,1,3.60980906,0.52
"6s169-opt.cnf",1,"Lingeling_sr15baq",6061,17575,1932,9365,2.137163561,0.876668446,0.04,0.206300053,0.433286626,0.770239356,0,1,1.455048479,0.001633544,0.576607976,0.001035197,0.025362319,1.150143081,0,0.234063001,0.696102509,0,0.001633544,1.115309333,0.000106781,0.040363054,2.466661597,0.092064073,0.10634263,0,1,2.158106609,0.000860379,1.337724812,0.000106781,0.018686599,2.329693622,0.588254138,0.001276724,1.375950174,0.000106781,0.021890016,0,0.005095001,1.080530984,0.000427122,0.036412173,4.381648351,0.249442681,0.67183498,0.01250144,1,3.59728674,0.9
"6s17-opt.cnf",1,"Lingeling_sr15baq",47657,139163,15646,75909,2.045954238,0.833287225,0.48,0.206115217,0.471903422,0.776447885,0,1,1.655187061,0.00021156,0.585965209,0.000127828,0.003131791,1.447586652,0,0.274987156,0.717372117,0,0.00021156,2.241553311,3.9521e-05,0.052088685,3.046627938,0.166245684,0.13869638,0,1,3.092822566,8.6042e-05,2.128746475,0,0.019220382,2.480289571,0.517659303,0.000241467,1.537585626,3.9521e-05,0.033922196,0.3,-1,0,-1,0,-512,-1,0,-1,0,0,20.16
"6s9.cnf",1,"riss_505_2",34320,100384,11472,56459,1.991631799,0.777998193,0.32,0.203191697,0.485794533,0.775269516,0,1,1.602015419,0.000288161,0.579443995,0.000174338,0.004271269,1.421501681,0,0.259710586,0.724632034,0.02,0.000288161,1.595750914,5.3136e-05,0.034325794,2.99525711,0.158885786,0.138290301,0,1,3.088529277,0.000120874,1.858667252,1.7712e-05,0.019323757,2.462077333,0.530615137,0.000317031,1.369801368,5.3136e-05,0.025948033,0.16,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"7pipe_k.cnf",1,"Lingeling_sr15baq",23909,751116,20783,740841,0.150411394,0.013869373,1.72,0.028053253,0.883783597,0.345384838,0,1,0.686770753,0.000148469,2.19626036,9.6232e-05,0.006976856,0.430540057,0,0.940616138,0.949447992,0.08,0.000148469,4.307086521,8.099e-06,0.015929194,4.738204481,0.481826538,0.275218358,0,1,4.253240964,9.177e-05,3.773641442,0,0.00856999,4.510430905,0.949040347,0.000224733,2.643442174,8.099e-06,0.012677484,0.82,-1,0,-1,0,-512,-1,0,-1,0,0,20.34
"aaai10-planning-ipc5-pathways-13-step17.cnf",1,"abcdSAT",25631,142227,19609,125436,0.307103881,0.133861093,0.32,0.156326732,0.492501641,0.971825608,0,1,1.063923398,0.000115817,0.870155665,0.000101994,0.002498853,0.451639991,0,0.900546892,0.96437227,0.02,0.000115817,0.643262268,1.5944e-05,0.000502248,2.558747946,0.388239479,0.29470842,0,1,2.829980806,9.2742e-05,0.846492059,0,0.000454415,2.634664388,0.906366593,0.000285871,0.778945828,1.5944e-05,0.000597914,0.46,0.00013936,1.387792175,1.5944e-05,0.006186422,2.770122457,0.237121714,0.54302217,0.00990099,0.714285714,2.989128206,1.88
"aaai10-planning-ipc5-pathways-17-step20.cnf",1,"minisat_BCD",50277,283903,37813,249569,0.329622088,0.137573176,0.64,0.151513209,0.490927635,0.9717684,0,1,1.080670719,6.0542e-05,0.932208721,5.2892e-05,0.001613202,0.473634065,0,0.893844989,0.960239453,0.02,6.0542e-05,0.693797188,8.014e-06,0.000304525,2.693071414,0.384713492,0.292452602,0,1,3.041001044,4.781e-05,0.920309157,0,0.000292504,2.718521025,0.900560566,0.000160021,0.839363574,8.014e-06,0.000536926,1.7,7.8648e-05,1.37366244,8.014e-06,0.003562141,3.043186057,0.226878241,0.606435896,0.009984639,0.733333333,3.101827986,4.44
"aaai10-planning-ipc5-TPP-21-step11.cnf",1,"minisat_BCD",99736,783991,97280,779390,0.025246711,0.005903335,1.48,0.124815561,0.436803172,1.114165373,0,1,0.936718774,2.3662e-05,0.995932846,2.0559e-05,0.000935444,0.277435118,0,0.954418199,0.964197642,0.08,2.3662e-05,0.848503589,6.415e-06,0.000493976,2.569502934,0.427190007,0.314477334,0,0.968421053,2.539250661,1.9628e-05,0.973482264,3.849e-06,0.000481146,2.34472351,0.954606808,6.1585e-05,0.810706681,5.132e-06,0.000799343,12.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"ACG-15-10p0.cnf",1,"abcdSAT",262253,1131732,158000,777919,0.659829114,0.454819846,3.02,0.203105979,0.352132464,1.082532467,0,1,1.383059414,1.6905e-05,0.444383363,1.2658e-05,6.3291e-05,1.026221894,0,0.623094435,0.87454735,0.06,1.6905e-05,0.783709096,8.998e-06,8.7413e-05,2.515500298,0.160124862,0.160436802,0,0.714285714,2.481803194,1.0373e-05,0.82726416,3.856e-06,6.0418e-05,2.251143434,0.752733896,1.7335e-05,0.834625416,6.427e-06,9.384e-05,28.68,2.8297e-05,0.777706072,3.856e-06,0.000236528,3.633418237,0.152443349,0.528125014,0.013538947,0.5,2.984312617,14.8
"aes_24_4_keyfind_5.cnf",1,"Lingeling_sr15bal",520,5968,320,5424,0.625,0.100294985,0,0.05899705,0.337881023,0.753867933,0,1,1.915309827,0.019091077,0.225780638,0.00625,0.025,1.219953515,0,0.008849558,0.132743363,0,0.019091077,0.435148768,0.001843658,0.02710177,2.884206434,0.02162791,0.025116444,0,0.101694915,1.538704279,0.001652378,0.349374473,0.000553097,0.002949853,2.392651578,0.104535398,0.002820796,0.275441928,0.000921829,0.003871681,0,0.043172728,0.226199369,0.002765487,0.055862832,4.325913591,0.689631785,0.196786667,0.239833865,0.777399567,2.342766066,11.76
"aes_32_2_keyfind_1.cnf",1,"Nigma.1.2.87",528,5016,312,4584,0.692307692,0.094240838,0,0.068062827,0.351657941,0.703201889,0,1,1.998197073,0.018864389,0.24412938,0.006410256,0.025641026,1.430374903,0,0.006980803,0.104712042,0,0.018864389,0.663170954,0.001745201,0.033813264,3.301647554,0.015904252,0.022448124,0,0.1,1.32412829,0.002194086,0.459746653,0.0004363,0.004799302,2.748766809,0.145287958,0.003096053,0.430308727,0.00109075,0.005235602,0,0.051734312,0.271032806,0.003272251,0.071335079,4.736210982,0.634919137,0.192015554,0.232835201,0.768595041,3.132136037,9.2
"aes_32_3_keyfind_1.cnf",1,"Lingeling_sr15bal",708,2664,450,2204,0.573333333,0.208711434,0,0.204174229,0.462794918,0.618562451,0,1,1.409081811,0.007836257,0.165367895,0.004444444,0.011111111,0.876551581,0,0.01814882,0.482758621,0,0.007836257,0.291026915,0.003176044,0.015426497,2.663525158,0.050908712,0.069138697,0,0.25,1.781994609,0.00317806,0.300827008,0.000907441,0.005898367,2.038184838,0.407894737,0.004081468,0.279957471,0.002268603,0.006805808,0,0.012439024,0.208541807,0.004083485,0.023139746,3.084916036,0.319490343,0.170505104,0.167948718,0.520467836,3.047872342,0.04
"aes_64_1_keyfind_1.cnf",1,"Glucose_nbSat",596,2780,400,2248,0.49,0.236654804,0,0.177935943,0.40776987,0.761171225,0,1,1.700614666,0.00997331,0.267903505,0.005,0.0125,1.205814352,0,0.09252669,0.391459075,0,0.00997331,0.597986128,0.004003559,0.024466192,2.543529677,0.029116831,0.0554347,0,0.25,1.360608736,0.002264235,0.568112968,0.00088968,0.005338078,2.130840835,0.289590747,0.003914591,0.538784981,0.002224199,0.008896797,0,0.021019871,0.366953011,0.004003559,0.036032028,3.438301137,0.309537009,0.226856476,0.181168831,0.48,2.760686695,0.12
"aes_id.cnf",1,"none",325041,1161168,131825,902184,1.46570074,0.287063393,4.22,0.146117643,0.481461412,0.605142513,0,1,1.651564769,2.932e-05,0.307763728,1.5172e-05,6.8272e-05,1.263886275,0,0.037454666,0.409870935,0.08,2.932e-05,1.947752625,7.759e-06,0.000729341,2.708924505,0.020034913,0.046597108,0,0.529411765,1.037960557,1.1446e-05,1.208025704,1.108e-06,0.000176239,2.713933649,0.438359581,1.3343e-05,1.389174569,4.434e-06,0.000169588,22.26,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"AProVE07-03.cnf",1,"COMiniSatPS_Subdwarf",3114,10827,1304,7470,1.38803681,0.44939759,0.02,0.174564926,0.385361727,0.585937712,0,1,1.300205435,0.00259648,0.708996371,0.001533742,0.091257669,1.117620239,0,0.130522088,0.565327979,0,0.00259648,0.787223404,0.000937082,0.02356091,2.851926377,0.069591949,0.098553647,0,0.4,1.98728495,0.001338483,0.791388888,0.000401606,0.011780455,2.448892629,0.536947791,0.002697087,1.678259445,0.000669344,0.017135207,0,0.006205455,0.700458135,0.000669344,0.067603748,4.470551665,0.22348971,0.404492445,0.005992261,0.535714286,3.53732662,0.5
"AProVE07-27.cnf",1,"minisat_BCD",7729,29194,3611,19862,1.14040432,0.469841909,0.08,0.181804451,0.32174576,0.884748422,0,1,1.568230194,0.000870016,0.34023267,0.000553863,0.002215453,1.373363623,0,0.312053167,0.687644749,0,0.000870016,3.149838976,0.000352432,0.155724499,2.575129082,0.128922013,0.128351126,0,0.666666667,2.571335832,0.000474501,4.428235193,0.000100695,0.120279932,2.36827659,0.600845836,0.000513122,2.787520364,0.000251737,0.074614842,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"AProVE09-06.cnf",1,"GlueMiniSat_2.2.10.5",77262,263137,37512,193019,1.059660909,0.363269937,0.94,0.194343562,0.357213813,0.561610055,0,1,1.156535958,8.6607e-05,0.269979076,5.3316e-05,0.000586479,1.059986487,0,0.16381807,0.610634186,0,8.6607e-05,1.080179426,3.6266e-05,0.003274289,1.973237198,0.044148703,0.064348409,0,0.739130435,1.301991915,4.8804e-05,1.853210885,5.181e-06,0.00309296,1.650839027,0.600122268,4.3628e-05,2.19932433,2.0723e-05,0.003269108,1.86,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"atco_enc1_opt1_04_32.cnf",1,"ADS.cryptominisat",57220,582308,28587,495733,1.001609123,0.174640381,1.52,0.057666123,0.59236298,0.497201888,0,1,1.887192729,0.000151652,0.423188963,6.9962e-05,0.000839542,1.852588708,0,0.132006544,0.408096697,0.04,0.000151652,2.757035295,4.034e-06,0.002529587,3.732115293,0.32282963,0.216524537,0,1,3.608665647,8.2538e-05,2.828761645,2.017e-06,0.001621841,3.316490428,0.554992304,7.528e-05,1.116578715,4.034e-06,0.000453873,1.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"atco_enc1_opt1_10_15.cnf",1,"or.tools",46759,261059,22282,202936,1.098510008,0.286410494,0.84,0.109798163,0.547749562,0.598413983,0,1,1.96809359,0.000176932,0.517409334,8.9759e-05,0.000987344,1.836488773,0,0.260027792,0.528871171,0.02,0.000176932,2.814027116,9.855e-06,0.005144479,3.240879759,0.306218892,0.198859855,0,1,3.20702686,0.000103691,3.235982442,4.928e-06,0.002897465,2.989338212,0.593285568,0.000118084,1.025682763,9.855e-06,0.00067509,0.6,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"atco_enc1_opt1_10_21.cnf",1,"Lingeling_sr15baq",46993,270831,22514,212686,1.087279026,0.273384238,0.98,0.105855581,0.555845653,0.59564429,0,1,1.959557106,0.000177741,0.512517963,8.8834e-05,0.00097717,1.854669433,0,0.250726423,0.515511129,0.02,0.000177741,2.757153027,9.404e-06,0.004908645,3.301240122,0.306038193,0.199303495,0,1,3.229299984,0.000102764,3.150302276,4.702e-06,0.00303264,3.040241835,0.589469923,0.000114046,1.013280565,9.404e-06,0.000644142,0.68,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"atco_enc1_opt2_10_14.cnf",1,"BreakIDGlucose2",9569,150316,6577,134488,0.454918656,0.117690798,0.22,0.048903991,0.571421229,0.460226965,0,1,1.968281065,0.000676198,0.414450137,0.00030409,0.00334499,1.866117642,0,0.097465945,0.363117899,0,0.000676198,1.851296023,1.4871e-05,0.007762774,4.270408806,0.362908407,0.280136559,0,1,4.079308871,0.000416673,2.017696371,7.436e-06,0.004156505,3.814617822,0.597257748,0.000343598,0.699520099,1.4871e-05,0.001018678,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"atco_enc1_opt2_10_16.cnf",1,"COMiniSatPS_Main_Sequence",9643,152744,6657,136922,0.448550398,0.115554841,0.24,0.048618922,0.575415987,0.462948994,0,1,1.96504964,0.000668557,0.412953628,0.000300436,0.003304792,1.866374636,0,0.097172113,0.359934853,0.02,0.000668557,1.831992115,1.4607e-05,0.007624779,4.281556759,0.361180991,0.280239814,0,1,4.086269638,0.000410471,2.000781976,7.303e-06,0.004082616,3.857360502,0.595572662,0.000337061,0.695607236,1.4607e-05,0.00100057,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"atco_enc1_opt2_20_12.cnf",1,"COMiniSatPS_Main_Sequence",171148,6595658,143059,6141803,0.196345564,0.073896053,11.48,0.023292672,0.5551386,0.599357502,0,1,1.131795457,2.2877e-05,0.45810949,1.398e-05,0.000174753,0.732693642,0,0.06482331,0.90017166,0.48,2.2877e-05,1.051275742,3.26e-07,0.000297958,4.97854616,0.356480161,0.33862614,0,1,3.916912744,1.2076e-05,1.53125688,1.63e-07,0.000290306,4.420344965,0.51542959,3.0473e-05,0.879322876,3.26e-07,0.000120649,24.36,-1,0,-1,0,-512,-1,0,-1,0,0,20.18
"atco_enc2_opt2_05_9.cnf",1,"COMiniSatPS_Main_Sequence",14912,390488,10495,354901,0.42086708,0.100273034,0.9,0.029571627,0.57778253,0.404587971,0,1,1.84231826,0.00042219,0.355818662,0.000190567,0.001429252,1.712524359,0,0.061253702,0.335578091,0.04,0.00042219,1.91112292,5.635e-06,0.00353338,4.297150341,0.374326047,0.283990835,0,1,4.1562792,0.000237637,1.941108801,2.818e-06,0.002093542,3.696075937,0.551331216,0.000195356,0.73329625,5.635e-06,0.00063398,0.18,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"atco_enc2_opt2_10_21.cnf",1,"GlueMiniSat_2.2.10",9824,160531,6638,144050,0.479963845,0.114411663,0.46,0.046081222,0.583607797,0.467126468,0,1,1.9652097,0.0006804,0.429101792,0.000301296,0.003314251,1.881995972,0,0.092530371,0.354529677,0.02,0.0006804,1.773231677,1.3884e-05,0.007247484,4.369508933,0.365437654,0.279965776,0,1,4.114560472,0.000410689,1.931067146,6.942e-06,0.00440125,3.92201904,0.589934051,0.000331034,0.668570446,1.3884e-05,0.000951059,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"atco_enc2_opt2_20_11.cnf",1,"COMiniSatPS_Main_Sequence",167075,6571833,142408,6129633,0.173213584,0.07214135,11.52,0.023232712,0.554338327,0.599348145,0,1,1.134387242,2.2923e-05,0.449531474,1.4044e-05,0.000175552,0.730336188,0,0.064716109,0.901379577,0.52,2.2923e-05,1.041853348,3.26e-07,0.00029855,4.991717969,0.360164005,0.340798293,0,1,3.92491235,1.2094e-05,1.52983048,0,0.000290882,4.422807009,0.515561535,3.0644e-05,0.87648506,3.26e-07,0.000120888,24.12,-1,0,-1,0,-512,-1,0,-1,0,0,20.16
"beempgsol2b1.cnf",1,"Lingeling_sr15baq",26455,76534,7112,33500,2.719769404,1.284597015,0.34,0.212298507,0.411729344,0.879319951,0,1,1.323875517,0.000443833,1.222254328,0.000281215,0.056664792,1.266653748,0,0.320358209,0.812119403,0,0.000443833,1.375374294,0.000208955,0.023522388,2.203656737,0.141577218,0.167478121,0,0.985257985,2.144587179,0.00019884,1.474872131,5.9701e-05,0.012029851,2.151791344,0.544746269,0.001217207,2.410897005,0.000149254,0.036358209,0.06,0.001688536,1.850549665,0.000149254,0.270865672,4.197121114,0.195344691,0.719802592,0.000840132,0.730769231,3.306775594,11.84
"beempgsol5b1.cnf",1,"Lingeling_sr15baq",26455,76534,7112,33500,2.719769404,1.284597015,0.3,0.212298507,0.412689309,0.87784751,0,1,1.32390091,0.000443833,1.222254328,0.000281215,0.056664792,1.266653748,0,0.320358209,0.812119403,0,0.000443833,1.375374294,0.000208955,0.023522388,2.203656737,0.141577218,0.167478121,0,0.985257985,2.144587179,0.00019884,1.474872131,5.9701e-05,0.012029851,2.151791344,0.544746269,0.001217207,2.410897005,0.000149254,0.036358209,0.06,0.001688536,1.850549665,0.000149254,0.270865672,4.197121114,0.195341706,0.719773752,0.000840132,0.730769231,3.305679931,10.6
"bjrb07amba10andenv.cnf",1,"riss_505_2",196289,588610,45996,280393,3.267523263,1.099232149,5.12,0.164041185,0.500855226,0.715793974,0,1,1.850920445,7.9636e-05,0.406851704,4.3482e-05,0.00106531,1.664221288,0,0.221753039,0.544892348,0.02,7.9636e-05,14.29427245,2.1399e-05,0.113890147,2.936980751,0.179937444,0.134662102,0,0.75,3.202916008,2.4227e-05,13.184525754,3.566e-06,0.038139326,2.163755136,0.416839935,7.4924e-05,10.505195009,1.7832e-05,0.07030846,2.5,-1,0,-1,0,-512,-1,0,-1,0,0,20.76
"bob12m02-opt.cnf",1,"Lingeling_sr15baq",26256,77806,6306,36931,3.163653663,1.106793751,0.16,0.17075086,0.484998968,0.750372008,0,1,1.471675621,0.000563243,0.322171256,0.000317158,0.007770377,0.936728656,0,0.038829168,0.460588665,0,0.000563243,1.201498533,0.000189543,0.017789933,2.764919801,0.042320289,0.080501574,0,0.862068966,1.56612454,0.00020163,1.095099978,5.4155e-05,0.004088706,2.635588251,0.386287942,0.000346142,1.570573388,0.000135388,0.010587311,0.04,0.001989347,1.415672568,0.000135388,0.018900111,4.601001737,0.202863254,0.685855481,0.006448138,0.733333333,3.782454849,10.88
"bob12m09-opt.cnf",1,"Lingeling_sr15baq",51144,152446,14436,77811,2.542809643,0.959183149,0.6,0.185526468,0.452828655,0.831914005,0,1,1.739377075,0.000235242,0.478573665,0.000138543,0.003394292,1.562503133,0,0.298916606,0.637442007,0,0.000235242,2.979763149,8.9962e-05,0.024790839,2.982618936,0.144375966,0.122040332,0,0.866666667,2.982318099,9.7135e-05,2.620330611,1.2852e-05,0.008417833,2.362797365,0.52646798,0.000279247,2.304157816,6.4258e-05,0.019752991,0.3,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"bob12s02.cnf",1,"Lingeling_sr15baq",26294,77920,6311,37011,3.166376169,1.10532004,0.16,0.170516873,0.482790579,0.759362177,0,1,1.472667673,0.000562668,0.319051356,0.000316907,0.007764221,0.933971926,0,0.038556105,0.458971657,0,0.000562668,1.204833864,0.000189133,0.017751479,2.742080631,0.041927849,0.07953523,0,0.862068966,1.543109242,0.000202032,1.090184842,5.4038e-05,0.003593526,2.637225736,0.387803626,0.000345035,1.572207464,0.000135095,0.01021318,0.04,0.001995643,1.408510931,0.000135095,0.018832239,4.595372571,0.202196872,0.686600995,0.006448138,1,3.778970019,10.84
"complete-400-0.1-16-98765432140016.cnf",1,"Glucose_nbSat",800,47114,800,47114,0,0,0.18,0.016980091,0.639421466,0.72565407,0,1,1.467145612,0.017887491,1.275650193,0.0025,0.07625,1.623260348,0,0.680477141,0.680477141,0,0.017887491,0.924174111,0.001294732,0.053635862,5.298363968,0.442787396,0.364331245,0,0.846693387,3.227315993,0.002131797,0.222393564,0.001273507,0.003502144,4.314168973,0.688967186,0.009262586,0.017548899,0.008617396,0.009784777,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.78
"complete-400-0.1-3-9876543214003.cnf",1,"Glucose_nbSat",800,47369,800,47369,0,0,0.2,0.016888682,0.638886303,0.726710607,0,1,1.481220415,0.017936282,1.28308104,0.0025,0.07625,1.638678657,0,0.681838333,0.681838333,0,0.017936282,0.925031558,0.001203319,0.050771602,5.304646584,0.444543932,0.362947794,0,0.858666667,3.251034246,0.002136023,0.22432666,0.001182208,0.003525512,4.344540963,0.690282674,0.009224862,0.017797829,0.008127678,0.009732103,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.26
"complete-500-0.1-1-9876543215001.cnf",1,"Glucose_nbSat",1000,73331,1000,73331,0,0,0.36,0.013636798,0.642837033,0.7251162,0,1,1.391010625,0.017410972,1.313666648,0.002,0.072,1.67150538,0,0.681812603,0.681812603,0,0.017410972,0.938540382,0.000940939,0.046446932,5.478246047,0.457455906,0.385060637,0,0.874010554,3.072050552,0.001707941,0.219571237,0.000927302,0.002631902,4.479497292,0.688631002,0.007471656,0.013443816,0.007145682,0.007759338,0.22,-1,0,-1,0,-512,-1,0,-1,0,0,29.04
"complete-500-0.1-15-98765432150015.cnf",1,"Glucose_nbSat",1000,74037,1000,74037,0,0,0.38,0.01350676,0.642976862,0.725082089,0,1,1.369576719,0.01754154,1.313760484,0.002,0.07,1.656924856,0,0.681848265,0.681848265,0,0.01754154,0.938965452,0.001040021,0.048178613,5.475547746,0.459592244,0.384073955,0,0.876863253,3.081171143,0.001707997,0.218249141,0.001026514,0.002620311,4.470426583,0.688601645,0.007408458,0.013186333,0.007050529,0.007739374,0.26,-1,0,-1,0,-512,-1,0,-1,0,0,24.9
"complete-500-0.1-17-98765432150017.cnf",1,"Glucose_nbSat",1000,74812,1000,74812,0,0,0.38,0.01336684,0.642676662,0.725849493,0,1,1.375209248,0.017700289,1.319689015,0.002,0.079,1.668838116,0,0.682885099,0.682885099,0.02,0.017700289,0.937315439,0.001042613,0.045500722,5.474513425,0.45698438,0.38824492,0,0.881291218,3.023942123,0.001710554,0.217346482,0.001029247,0.002633267,4.465559681,0.689568518,0.007345212,0.012830051,0.007017591,0.007685933,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,22.34
"complete-500-0.1-8-9876543215008.cnf",1,"Glucose_nbSat",1000,74222,1000,74222,0,0,0.38,0.013473094,0.643348055,0.724462224,0,1,1.375548135,0.017614279,1.31279008,0.002,0.07,1.664446354,0,0.68109186,0.68109186,0,0.017614279,0.93986307,0.001037428,0.04789685,5.48420998,0.459455028,0.384938045,0,0.877918425,3.093824266,0.001706098,0.218646744,0.001023955,0.002775457,4.492177902,0.687828407,0.00739301,0.012989298,0.007073374,0.00770661,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,21.14
"countbitssrl032.cnf",1,"abcdSAT",18607,55724,6781,34365,1.743990562,0.621533537,0.16,0.197322858,0.380051228,0.944867704,0,1,1.43479901,0.000456432,0.437576156,0.000294942,0.005308951,1.256529764,0,0.32463262,0.668703623,0,0.000456432,1.183102733,0.000232795,0.008293322,1.833125923,0.077520986,0.058195308,0,0.6,1.767132863,0.000192946,1.268796104,2.9099e-05,0.00372472,1.568758219,0.54139386,0.000486763,1.053137656,0.000174596,0.006401862,0.06,0.001553037,1.147429873,0.000203696,0.011028663,3.152329599,0.128945558,0.474343792,0.008776559,0.527272727,2.931257229,4.08
"dated-10-13-u.cnf",1,"ADS.cryptominisat",180608,815261,49204,286487,2.670595887,1.845717258,1.96,0.171749503,0.355383258,1.069977295,0,1,1.335210242,5.2707e-05,0.404143137,4.0647e-05,0.000243883,0.974263884,0,0.610404661,0.917095715,0.02,5.2707e-05,0.45246552,2.0943e-05,0.000136132,2.762578341,0.246477397,0.157733031,0,0.777777778,3.105696693,3.4049e-05,0.442951638,1.0472e-05,9.7736e-05,2.523741395,0.76161222,5.1702e-05,0.466756794,1.3962e-05,0.000139622,2.82,7.0953e-05,0.579002186,1.0472e-05,0.000286226,3.493019581,0.153771596,0.636017782,0.026851852,0.611111111,3.243823013,4.22
"dated-10-17-u.cnf",1,"Lingeling_sr15bal",229544,1070757,62370,393294,2.680359147,1.722535813,2.58,0.158583655,0.34628096,1.049870403,0,1,1.305242794,4.1834e-05,0.378509473,3.2067e-05,0.0001924,0.971554531,0,0.567308426,0.927674971,0.04,4.1834e-05,0.553648755,1.5256e-05,0.000104248,2.866164098,0.239777697,0.158491042,0,0.80952381,3.130810935,2.6755e-05,0.505438991,7.628e-06,7.1194e-05,2.608284499,0.745020265,4.0771e-05,0.55595979,1.0171e-05,0.000101705,4.58,6.3205e-05,0.654135198,7.628e-06,0.000205953,3.628911466,0.140332816,0.718074315,0.027401385,0.611111111,3.208696954,8.74
"dated-5-13-u.cnf",1,"ADS.cryptominisat.autotune",138808,626501,44244,248601,2.137329355,1.520106516,1.56,0.177971931,0.37097579,1.041604591,0,1,1.375095464,6.0101e-05,0.446414561,4.5204e-05,0.000271223,1.013198461,0,0.615331394,0.892003652,0.02,6.0101e-05,0.445125461,2.4135e-05,0.000156878,2.732985984,0.249896725,0.156515862,0,0.764705882,3.082899933,3.7321e-05,0.457102661,1.2068e-05,0.00011263,2.453619708,0.755206134,6.1686e-05,0.451072472,1.609e-05,0.0001609,2.32,8.1487e-05,0.56326228,1.2068e-05,0.000329846,3.483942687,0.155451754,0.613145094,0.026447252,0.611111111,3.271775987,3.62
"dimacs.cnf",1,"none",2835,9747,1717,8037,0.651135702,0.212765957,0,0.213636929,0.546059308,0.618296453,0,1,0.901122681,0.001788757,0.266545025,0.001164822,0.019219569,0.362233449,0,0.020654473,0.937538883,0,0.001788757,1.132461591,0.001119821,0.017917133,1.526208285,0.088476576,0.04695304,0,0.5,1.458277352,0.000728865,0.732918605,0.000248849,0.005101406,1.351047598,0.421177056,0.001071196,1.090337737,0.000622123,0.008834142,0,0.005687023,0.782197349,0.000995396,0.022645266,3.348130929,0.202719122,0.591215201,0.046760711,0.638095238,3.063631992,0.46
"E02F20.cnf",1,"Glucose_nbSat",10420,395383,8988,391407,0.159323543,0.010158224,1.24,0.022963309,0.920181246,0.274833506,0,1,0.400138515,0.000792036,0.525138264,0.000222519,0.005896751,2.207620024,0,0.059127711,0.110695516,0.04,0.000792036,3.64249203,1.7884e-05,0.016297613,1.614323671,0.372421988,0.227833341,0.25,0.996544575,1.213062244,0.000689905,4.099453564,5.11e-06,0.016231186,1.57345743,0.949788839,9.1223e-05,1.256091638,5.8762e-05,0.001290217,0.22,-1,0,-1,0,-512,-1,0,-1,0,0,20.34
"E02F22.cnf",1,"multi.sat.g2_0",13574,1301188,11448,1262053,0.185709294,0.031008999,11.86,0.009070934,0.966448319,0.173290526,0,1,0.205696234,0.000723407,0.427897245,0.000174703,0.005852551,2.204110153,0,0.02364243,0.044865786,0.12,0.000723407,4.033201404,5.547e-06,0.01620138,1.608575446,0.373302988,0.228168779,0.189873418,0.99885031,1.110715913,0.000674487,4.31179149,1.585e-06,0.016179194,1.617097601,0.974911513,3.055e-05,1.293370734,1.9809e-05,0.00046353,1.06,-1,0,-1,0,-512,-1,0,-1,0,0,36.62
"grieu-vmpc-31.cnf",1,"glueminisat.Actmini",961,146909,961,146909,0,0,0.12,0.006541464,0.595062249,0.547632859,0,1,0.675011071,0.00272497,0.290471812,0.002081165,0.032258065,0.673614124,0,0.393120912,0.99957797,0.02,0.00272497,0.003985258,0.002661512,0.002729581,0.646101803,0.526353199,0.001467637,0.521410579,0.534526854,0.303763946,0.002711356,0.004005268,0.002647898,0.002715967,0.646101803,0.99957797,0.001524668,0.077632088,0.000810025,0.001572402,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.42
"gss-18-s100.cnf",1,"Nigma.1.2.87",31364,94269,13582,56442,1.309232808,0.67019241,0.44,0.240636406,0.188958736,1.551596236,0,1,1.12991398,0.000219152,1.081874961,0.000147254,0.002429686,0.980556871,0,0.661829843,0.9400978,0,0.000219152,0.801665528,0.000124021,0.001895751,2.462592293,0.18267232,0.151998028,0,0.777777778,2.358443814,0.000150381,0.944029846,5.3152e-05,0.00157684,1.876576717,0.894936395,0.000410172,0.758301432,7.0869e-05,0.002179228,0.22,0.000444428,0.909657297,8.8587e-05,0.003756068,3.78859978,0.17201847,0.465697148,0.018578107,0.527777778,3.223673517,1.74
"gss-19-s100.cnf",1,"riss_505_1",31435,94548,13682,56829,1.297544219,0.663728026,0.44,0.24075736,0.189879469,1.548930087,0,1,1.131973514,0.000217475,1.081900916,0.000146177,0.002411928,0.980914641,0,0.661440462,0.940083408,0,0.000217475,0.79932847,0.000123177,0.001865245,2.460904486,0.182015329,0.152301284,0,0.777777778,2.354194573,0.000149127,0.939773223,5.279e-05,0.001566102,1.876013738,0.893997783,0.000406984,0.759141038,7.0387e-05,0.002164388,0.24,0.000439569,0.911200787,8.7983e-05,0.00373049,3.780412828,0.172360286,0.466100066,0.018378002,0.527777778,3.22694261,1.76
"gss-22-s100.cnf",1,"Lingeling_sr15baq",31616,95110,13864,57628,1.280438546,0.650412994,0.44,0.240577497,0.191856769,1.53987783,0,1,1.142642169,0.000215569,1.085142492,0.000144259,0.002380265,0.990912479,0,0.658603457,0.93858888,0,0.000215569,0.796914174,0.000121469,0.001787326,2.479568604,0.184227521,0.154298082,0,0.777777778,2.38262329,0.000146712,0.933394634,5.2058e-05,0.001509683,1.878670981,0.890938433,0.000398668,0.75951928,6.9411e-05,0.002099674,0.24,0.000435972,0.913729009,8.6763e-05,0.003626709,3.787387851,0.172921625,0.463596014,0.018378002,0.527777778,3.2303215,1.78
"hitag2-10-60-0-0x8edc44db7837bbf-65.cnf",1,"abcdSAT",2271,30273,2159,30001,0.051875868,0.009066364,0.04,0.071964268,0.313583357,0.854329531,0,1,1.734388682,0.002739402,0.313376679,0.000926355,0.003242242,0.99737441,0,0.142228592,0.164361188,0,0.002739402,1.836112952,0.000333322,0.042331922,2.922128345,0.038378902,0.053991176,0,0.285714286,1.809776522,0.000294725,1.671289308,3.3332e-05,0.004699843,2.546984156,0.204059865,0.000380719,1.229146785,0.000166661,0.003799873,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"hitag2-10-60-0-0xe14721bd199894a-99.cnf",1,"abcdSAT",2294,30374,2183,30078,0.050847458,0.00984108,0.04,0.072577964,0.313105766,0.859053473,0,1,1.736345443,0.002701999,0.315351575,0.00091617,0.003206596,0.996118797,0,0.143028127,0.165104063,0,0.002701999,1.842204609,0.000365716,0.041425627,2.905645696,0.039515143,0.054811863,0,0.294117647,1.830396363,0.000294821,1.716344999,3.3247e-05,0.004687812,2.545756697,0.206396702,0.000379377,1.227467924,0.000166234,0.003823393,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.12
"hitag2-8-60-0-0x1eb82244d7f1c3c-47.cnf",1,"abcdSAT",2282,30260,2179,29976,0.04726939,0.009474246,0.04,0.072691487,0.313221371,0.857981467,0,1,1.740645145,0.002706693,0.315101784,0.000917852,0.003212483,1.006536486,0,0.142947691,0.165465706,0,0.002706693,1.824808444,0.00036696,0.041700027,2.917875554,0.038866149,0.054576596,0,0.269230769,1.81542592,0.000298357,1.726084951,3.336e-05,0.004703763,2.543934787,0.207399253,0.000379775,1.210385791,0.0001668,0.003769682,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf",1,"Lingeling_sr15baq",163622,488120,28580,187665,4.725052484,1.601017771,1.98,0.152292649,0.506885342,0.721876544,0,1,1.751465964,0.000123541,0.383080089,6.9979e-05,0.001714486,1.557300724,0,0.207646604,0.582085098,0,0.000123541,1.990247041,5.329e-06,0.003767351,3.11644309,0.134481194,0.125673514,0,1,2.917349071,4.7495e-05,1.904006091,0,0.001422748,2.635351116,0.473236885,0.000106813,1.587791878,5.329e-06,0.002365918,1.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf",1,"minisat_BCD",88352,262658,23820,135563,2.709151973,0.937534578,0.8,0.175711662,0.456017642,0.758248031,0,1,1.70477701,0.000142424,0.368747663,8.3963e-05,0.001763224,1.490727025,0,0.235853441,0.634538923,0,0.000142424,1.193016128,5.1637e-05,0.002124473,3.125283771,0.126784427,0.119242967,0,0.814814815,2.895982093,5.4432e-05,1.27825547,7.377e-06,0.000730288,2.641113856,0.467642351,0.000138465,1.017164434,3.6883e-05,0.001549095,0.68,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf",1,"Lingeling_sr15baq",183325,546914,32046,210225,4.720682769,1.60156499,2.02,0.152436675,0.506953787,0.720985513,0,1,1.746800628,0.000109938,0.378928107,6.241e-05,0.001685078,1.547449965,0,0.206864074,0.582033535,0.02,0.000109938,1.99836591,4.757e-06,0.003363063,3.114865711,0.134881653,0.126570768,0,1,2.936841234,4.2527e-05,1.900552484,0,0.001270068,2.636267323,0.473630634,9.4584e-05,1.597581018,4.757e-06,0.002112023,1.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"itox_vc1130.cnf",1,"multi.sat.g2_2",152428,441729,41484,197664,2.674380484,1.234746843,2.1,0.209871297,0.397924212,0.68246403,0,1,1.24141783,8.1844e-05,0.762084031,4.8211e-05,0.001711503,1.017896268,0,0.092798891,0.830818966,0.02,8.1844e-05,5.242446859,3.5414e-05,0.043002266,2.082672607,0.088371456,0.096443596,0,1,1.782978695,2.5134e-05,3.872079674,0,0.012146876,1.683326131,0.357966043,6.5775e-05,2.831603988,2.0236e-05,0.014883843,2.22,-1,0,-1,0,-512,-1,0,-1,0,0,20.48
"jgiraldezlevy.2200.9086.08.40.108.cnf",1,"abcdSAT",2200,9086,2147,9018,0.024685608,0.007540475,0,0.238079397,0.498728469,0.586829756,0,1,0.705071602,0.001413413,0.060623364,0.001397299,0.002328831,0.150977573,0,0,0.965624307,0,0.001413413,0.289889366,0.000221779,0.003548459,2.690981698,0.231576154,0.173498504,0,1,3.334219957,0.000699424,0.399512818,0,0.002106897,2.308493203,0.496229763,0.002447829,0.262252936,0.000443557,0.005100909,0,0.002111816,0.243315456,0.000332668,0.005433577,2.926706124,0.141037506,0.274150901,0.052631579,0.571428571,2.678615702,0.1
"jgiraldezlevy.2200.9086.08.40.109.cnf",1,"abcdSAT",2200,9086,2150,9031,0.023255814,0.006090134,0,0.238068874,0.495371498,0.583970703,0,1,0.692031041,0.00140946,0.057447046,0.001395349,0.002325581,0.136689274,0,0,0.970102979,0,0.00140946,0.29455079,0.000221459,0.003211162,2.710852751,0.22367862,0.169018079,0,1,3.328961113,0.000690181,0.415900772,0,0.002214594,2.332881741,0.490754069,0.002430594,0.264562157,0.000442919,0.005757945,0,0.002120748,0.238703486,0.000775108,0.004650648,2.917974918,0.14120901,0.268020786,0.056410256,0.428571429,2.682421209,0.12
"jgiraldezlevy.2200.9086.08.40.117.cnf",1,"abcdSAT",2200,9086,2125,8979,0.035294118,0.011916695,0,0.236663326,0.499413446,0.586123434,0,1,0.739342102,0.001432624,0.071578454,0.001411765,0.002352941,0.183142305,0,0,0.958235884,0,0.001432624,0.296568649,0.000111371,0.003675242,2.715616888,0.222822751,0.167160204,0,1,3.334117527,0.00070093,0.401739191,0,0.002004678,2.314421068,0.492036975,0.002472069,0.265353006,0.000222742,0.005568549,0,0.002162748,0.243221322,0.000668226,0.004677581,2.947336397,0.14016319,0.27430505,0.053426249,0.392857143,2.688131849,0.14
"jgiraldezlevy.2200.9086.08.40.135.cnf",1,"abcdSAT",2200,9086,2127,8994,0.034320639,0.010229042,0,0.236490994,0.48908161,0.591516654,0,1,0.741908191,0.001432131,0.072598272,0.001410437,0.002350729,0.188944519,0,0,0.956304203,0,0.001432131,0.290642624,0.000333556,0.003557928,2.704710744,0.226920963,0.177354595,0,1,3.341786857,0.000700044,0.39878881,0,0.001778964,2.319021808,0.492439404,0.002482457,0.262793721,0.000667111,0.005781632,0,0.002139988,0.243937181,0.000667111,0.005448076,2.939665092,0.140409997,0.276017918,0.047346939,0.39047619,2.690089694,0.14
"jgiraldezlevy.2200.9086.08.40.136.cnf",1,"abcdSAT",2200,9086,2141,9016,0.027557216,0.007763975,0.02,0.237466726,0.500865129,0.58835681,0,1,0.719995851,0.001418569,0.065292953,0.001401214,0.002802429,0.160121269,0,0,0.964507542,0,0.001418569,0.290588263,0.000332742,0.00366016,2.698443785,0.233710855,0.176224604,0,1,3.361332557,0.00069926,0.409403114,0,0.002107365,2.342075205,0.495785271,0.002464662,0.258833221,0.000665484,0.005545697,0,0.002120921,0.246985046,0.000665484,0.004436557,2.952522603,0.140727664,0.274449307,0.051282051,0.380952381,2.693416544,0.12
"jgiraldezlevy.2200.9086.08.40.149.cnf",1,"abcdSAT",2200,9086,2133,8981,0.031411158,0.011691348,0,0.237501392,0.497724826,0.587551119,0,1,0.720552639,0.001424636,0.06501245,0.00140647,0.002344116,0.165295143,0,0,0.9621423,0,0.001424636,0.280758051,0.000111346,0.003563078,2.656817116,0.224099741,0.168021773,0,1,3.293921576,0.000693656,0.400491137,0,0.002449616,2.29528664,0.488809709,0.002473315,0.251832013,0.000222692,0.005790001,0,0.002131459,0.23693461,0.000668077,0.004899232,2.907123071,0.140728336,0.2667474,0.057142857,0.378787879,2.66913814,0.1
"jgiraldezlevy.2200.9086.08.40.158.cnf",1,"COMiniSatPS_Main_Sequence",2200,9086,2136,8978,0.029962547,0.012029405,0,0.237914903,0.497089181,0.586000689,0,1,0.714990898,0.001421077,0.063039878,0.001404494,0.002340824,0.154315488,0,0,0.965805302,0,0.001421077,0.290705257,0.000556917,0.003230118,2.699455327,0.232283793,0.168948076,0,1,3.341406024,0.000702873,0.399087266,0.000111383,0.001782134,2.318014956,0.497772332,0.002469624,0.261106047,0.000891067,0.005457786,0,0.002127152,0.241662012,0.000556917,0.004566719,2.929820633,0.140375821,0.269526349,0.053426249,0.428571429,2.665762378,0.16
"jgiraldezlevy.2200.9086.08.40.167.cnf",1,"none",2200,9086,2138,9010,0.028999065,0.008435072,0,0.237291898,0.502286349,0.587330987,0,1,0.734382109,0.001421921,0.066886521,0.001403181,0.002338634,0.169703952,0,0,0.961376249,0,0.001421921,0.290101528,0.000332963,0.003218646,2.704944941,0.232709094,0.172199004,0,1,3.356534738,0.00068991,0.401061894,0,0.002108768,2.306083031,0.488124306,0.002458862,0.263762855,0.000665927,0.00554939,0,0.002119239,0.241897865,0.000665927,0.004661487,2.926413729,0.141941517,0.270933599,0.055370986,0.416666667,2.698933289,0.1
"jgiraldezlevy.2200.9086.08.40.180.cnf",1,"abcdSAT",2200,9086,2123,8979,0.03626943,0.011916695,0.02,0.236440584,0.493882021,0.591066377,0,1,0.748839165,0.001436387,0.079524336,0.001413095,0.002826189,0.197229531,0,0,0.955228867,0,0.001436387,0.291074185,0.000556855,0.0034525,2.698577072,0.228250778,0.170375693,0,1,3.350017003,0.000708357,0.391793715,0,0.001781936,2.306571901,0.49716004,0.002503565,0.262834283,0.000890968,0.006125404,0,0.002160962,0.249809964,0.000668226,0.005011694,2.961893704,0.139346599,0.273311244,0.046511628,0.428571429,2.680499961,0.12
"jgiraldezlevy.2200.9086.08.40.188.cnf",1,"COMiniSatPS_Subdwarf",2200,9086,2139,9010,0.028517999,0.008435072,0,0.237402886,0.495009249,0.587570145,0,1,0.719047383,0.001420841,0.065694854,0.001402525,0.002337541,0.16677452,0,0,0.961931188,0,0.001420841,0.28977667,0.000554939,0.003440622,2.692650354,0.229856589,0.171857892,0,1,3.321773958,0.000697319,0.403775936,0,0.00199778,2.323952121,0.49345172,0.002461345,0.259736084,0.000776915,0.006215316,0,0.002123328,0.247070406,0.000554939,0.004661487,2.946326474,0.141375723,0.273210251,0.056478405,0.392857143,2.685304605,0.12
"jgiraldezlevy.2200.9086.08.40.194.cnf",1,"multi.sat.g2_0",2200,9086,2137,9024,0.02948058,0.006870567,0,0.236812943,0.501710254,0.590534365,0,1,0.737462815,0.001422972,0.066219742,0.001403837,0.002339729,0.172049116,0,0,0.959773936,0,0.001422972,0.282885543,0.000332447,0.003546099,2.671578292,0.226000822,0.168529011,0,1,3.320845804,0.000688955,0.389249293,0,0.00177305,2.28627724,0.48714539,0.002469886,0.254205601,0.000664894,0.005873227,0,0.002132562,0.241582633,0.000664894,0.004986702,2.928894809,0.140703755,0.26751913,0.058558559,0.416666667,2.669154678,0.12
"jgiraldezlevy.2200.9086.08.40.2.cnf",1,"Lingeling_sr15bal",2200,9086,2140,9019,0.028037383,0.007428762,0,0.23727686,0.499722807,0.588204022,0,1,0.722608261,0.001419796,0.067265755,0.001401869,0.002336449,0.163682689,0,0,0.96407584,0,0.001419796,0.290221592,0.000554385,0.003215434,2.694259824,0.231894457,0.175041094,0,1,3.358657758,0.00071324,0.4012808,0.000110877,0.002106664,2.337323124,0.504934028,0.002458465,0.261672213,0.000997893,0.005765606,0,0.00211302,0.24763466,0.000554385,0.005543852,2.941451851,0.141427951,0.271191355,0.048163265,0.4,2.690116075,0.1
"jgiraldezlevy.2200.9086.08.40.20.cnf",1,"COMiniSatPS_Main_Sequence",2200,9086,2141,9032,0.027557216,0.005978742,0,0.237046058,0.497401831,0.586386566,0,1,0.701666816,0.001418021,0.066060924,0.001401214,0.002802429,0.155520097,0,0,0.966341895,0,0.001418021,0.287916409,0.000221435,0.003210806,2.699166202,0.229716649,0.173844466,0,1,3.319037313,0.000704537,0.408730737,0,0.001882197,2.347581202,0.498782108,0.002458848,0.259526311,0.00044287,0.005093003,0,0.002124201,0.234858964,0.000664305,0.004650133,2.909608517,0.139742701,0.269525285,0.055128205,0.5,2.661443651,0.14
"jgiraldezlevy.2200.9086.08.40.22.cnf",1,"Lingeling_sr15baq",2200,9086,2138,9008,0.028999065,0.00865897,0,0.237344583,0.499256217,0.58777435,0,1,0.732871992,0.0014226,0.07086447,0.001403181,0.002338634,0.17344802,0,0,0.961811723,0,0.0014226,0.296234367,0.00044405,0.00455151,2.710580933,0.230054167,0.174832122,0,1,3.318489203,0.000688402,0.400443716,0,0.002331261,2.301983793,0.48678952,0.002471039,0.271260344,0.000777087,0.006660746,0,0.002130704,0.248156074,0.000666075,0.00499556,2.944218079,0.14083015,0.277300138,0.052048726,0.444444444,2.708174929,0.12
"jgiraldezlevy.2200.9086.08.40.28.cnf",1,"abcdSAT",2200,9086,2118,8962,0.03871577,0.013836197,0,0.236331176,0.495149892,0.589204788,0,1,0.739129235,0.001438926,0.074713404,0.001416431,0.002832861,0.193560767,0,0,0.955255523,0,0.001438926,0.291787639,0.000334747,0.004128543,2.698417094,0.2287198,0.173044552,0,1,3.349272278,0.00070595,0.405730093,0,0.001785316,2.343701415,0.493193484,0.002502856,0.2630973,0.000669493,0.006360187,0,0.002153306,0.248266036,0.000669493,0.005579112,2.953033762,0.139625109,0.274418916,0.044705882,0.333333333,2.693690288,0.12
"jgiraldezlevy.2200.9086.08.40.33.cnf",1,"abcdSAT",2200,9086,2121,8978,0.037246582,0.012029405,0.02,0.236244152,0.499383679,0.590272458,0,1,0.758483055,0.001438584,0.075180233,0.001414427,0.002357379,0.204627136,0,0,0.950768545,0,0.001438584,0.294767901,0.000111383,0.003564268,2.719789476,0.224615077,0.173482663,0,1,3.336586367,0.00070317,0.405099125,0,0.002450434,2.317049961,0.49209178,0.002495072,0.262510947,0.000222767,0.006237469,0,0.002162783,0.243679676,0.000445534,0.005346402,2.945624077,0.139520511,0.269225442,0.058072009,0.4,2.663675627,0.12
"jgiraldezlevy.2200.9086.08.40.35.cnf",1,"BreakIDGlucose2",2200,9086,2140,9018,0.028037383,0.007540475,0,0.237303171,0.491820064,0.58657943,0,1,0.702808861,0.001418658,0.064739164,0.001401869,0.002803738,0.155910229,0,0,0.965956975,0,0.001418658,0.284854193,0.000221779,0.003548459,2.674805609,0.231419278,0.174834179,0,1,3.359518671,0.000703733,0.40165352,0,0.002328676,2.317641462,0.497782213,0.00244112,0.258681841,0.000443557,0.005544467,0,0.002108102,0.24317612,0.000443557,0.004768241,2.926564861,0.142667266,0.278178188,0.056410256,0.454545455,2.708340348,0.1
"jgiraldezlevy.2200.9086.08.40.41.cnf",1,"GlueMiniSat_2.2.10",2200,9086,2149,9026,0.023731968,0.006647463,0,0.238089962,0.494630327,0.585594808,0,1,0.695163841,0.001411104,0.062041852,0.001395998,0.002791996,0.143906736,0,0,0.96931088,0,0.001411104,0.284510172,0.000443164,0.00321294,2.678916098,0.235043614,0.175715426,0,1,3.365059809,0.000688925,0.39921018,0,0.001772657,2.310648064,0.49047197,0.002443074,0.255595516,0.000775537,0.004985597,0,0.002094547,0.242333362,0.000664746,0.004431642,2.925401622,0.141796611,0.273351757,0.056097561,0.4,2.685840209,0.1
"jgiraldezlevy.2200.9086.08.40.46.cnf",1,"GlueMiniSat_2.2.10.5",2200,9086,2137,9012,0.02948058,0.008211274,0,0.237128273,0.498527889,0.589382616,0,1,0.739204663,0.00142414,0.068881014,0.001403837,0.002807674,0.180189883,0,0,0.957723036,0,0.00142414,0.297425903,0.000443853,0.003772747,2.718146561,0.222677413,0.168169221,0,1,3.309932704,0.000693299,0.397938954,0,0.001775411,2.304231569,0.489569463,0.002464452,0.265673825,0.000887705,0.005215269,0,0.002154325,0.242122802,0.000554816,0.005326232,2.94187822,0.139911131,0.27117641,0.06037415,0.422222222,2.681377035,0.14
"jgiraldezlevy.2200.9086.08.40.62.cnf",1,"multi.sat.g2_0",2200,9086,2144,9020,0.026119403,0.007317073,0,0.237694013,0.495347376,0.59083707,0,1,0.718299654,0.00141668,0.063202867,0.001399254,0.00233209,0.1604241,0,0,0.96308204,0,0.00141668,0.28410461,0.000443459,0.003547672,2.672955061,0.230108982,0.171457326,0,1,3.329187581,0.000705056,0.392661899,0,0.00232816,2.302652736,0.499778271,0.002455675,0.255061577,0.000886918,0.005210643,0,0.002106996,0.242183912,0.000776053,0.004878049,2.92177694,0.14169541,0.271470671,0.055128205,0.4,2.683942412,0.12
"jgiraldezlevy.2200.9086.08.40.79.cnf",1,"abcdSAT",2200,9086,2128,8969,0.033834586,0.013044933,0,0.237261679,0.492091277,0.589738752,0,1,0.730714031,0.001429789,0.069211564,0.001409774,0.002349624,0.177829227,0,0,0.959192775,0,0.001429789,0.290218093,0.000111495,0.004013825,2.688910758,0.22700902,0.170217487,0,1,3.328658937,0.00070266,0.406248409,0,0.002006913,2.326409703,0.494258,0.002493447,0.265104129,0.00022299,0.006132233,0,0.002144899,0.245461982,0.000557476,0.005128777,2.939926949,0.139655208,0.272534962,0.055128205,0.444444444,2.679741994,0.1
"jgiraldezlevy.2200.9086.08.40.8.cnf",1,"COMiniSatPS_Subdwarf",2200,9086,2124,8994,0.035781544,0.010229042,0,0.236157438,0.494881773,0.590157445,0,1,0.758829967,0.001436928,0.075190304,0.001412429,0.002354049,0.206917559,0,0,0.949633089,0,0.001436928,0.307752965,0.000555926,0.004113854,2.746233881,0.239836984,0.178640526,0,1,3.403608071,0.00070611,0.427524817,0,0.002112519,2.383256244,0.493662442,0.002498422,0.277384059,0.001000667,0.006226373,0,0.002152103,0.260715651,0.000667111,0.005114521,3.005895063,0.140684185,0.286335678,0.056899004,0.361111111,2.729018163,0.14
"jgiraldezlevy.2200.9086.08.40.81.cnf",1,"or.tools",2200,9086,2146,9020,0.025163094,0.007317073,0,0.237915743,0.493555063,0.587356403,0,1,0.709423246,0.001415463,0.065057864,0.00139795,0.002329916,0.16153855,0,0,0.963858093,0,0.001415463,0.281412452,0.000554324,0.003325942,2.659863521,0.230700257,0.169781373,0,1,3.321248426,0.0007013,0.3987732,0,0.001995565,2.311593399,0.497228381,0.002459069,0.253883369,0.000886918,0.005321508,0,0.00211029,0.241131307,0.000776053,0.005099778,2.917743002,0.140907497,0.267667242,0.057057057,0.381818182,2.668363639,0.12
"jgiraldezlevy.2200.9086.08.40.83.cnf",1,"none",2200,9086,2136,9015,0.029962547,0.007875763,0,0.236938436,0.493318543,0.587840578,0,1,0.734099815,0.001424488,0.06962215,0.001404494,0.002340824,0.178160645,0,0,0.959290072,0,0.001424488,0.284935498,0.000443705,0.003771492,2.680811116,0.228466211,0.172451671,0,1,3.318135354,0.000699677,0.39683659,0,0.001885746,2.301757838,0.493843594,0.002456268,0.256540655,0.000776484,0.006100943,0,0.002125969,0.243106295,0.000665557,0.004547976,2.933938953,0.14181379,0.272998918,0.058974359,0.476190476,2.696919482,0.12
"jgiraldezlevy.2200.9086.08.40.85.cnf",1,"BreakIDGlucose2",2200,9086,2136,8964,0.029962547,0.013609996,0,0.238286479,0.49435148,0.587982352,0,1,0.718612161,0.001421991,0.062639087,0.001404494,0.002340824,0.159896468,0,0,0.962739848,0,0.001421991,0.287779035,0.000557787,0.003123606,2.686939399,0.233188296,0.171324764,0,1,3.34774945,0.000702665,0.401951549,0.000111557,0.002008032,2.311375093,0.496764837,0.002452381,0.258512654,0.001004016,0.004685408,0,0.002114238,0.245482399,0.000669344,0.004908523,2.92930877,0.142729562,0.271702263,0.049941928,0.416666667,2.698443474,0.12
"jgiraldezlevy.2200.9086.08.40.93.cnf",1,"minisat_BCD",2200,9086,2135,9013,0.030444965,0.008099412,0,0.236880062,0.492928733,0.590501786,0,1,0.718056811,0.001424432,0.066418546,0.001405152,0.002810304,0.17256695,0,0,0.959391989,0,0.001424432,0.291906486,0.000332853,0.003772329,2.706660112,0.226783586,0.169136518,0,1,3.325663661,0.000697873,0.400927372,0,0.001886164,2.319428709,0.492177965,0.002452559,0.259905711,0.000665705,0.005880395,0,0.002144812,0.246956292,0.000554754,0.004770886,2.95548472,0.142003297,0.270528484,0.052631579,0.362637363,2.687640608,0.12
"k2fix_gr_rcs_w9.shuffled.cnf",1,"or.tools",11313,305160,9937,303750,0.138472376,0.004641975,0.86,0.032714403,0.451578899,1.026003767,0,1,1.32683868,0.000357837,0.875752366,0.000201268,0.002314582,0.561110028,0,0.790251852,0.790251852,0.04,0.000357837,0.849178171,3.292e-06,0.001804115,4.86579381,0.002622657,0.036387979,0,1,0.109315849,0.000122733,0.970759642,0,0.00082963,4.574039595,0.594982716,0.000620811,0.826093851,2.6337e-05,0.003315226,0.24,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"manol-pipe-c10nid_i.cnf",1,"riss_505_2",252516,750877,41437,320735,5.093973985,1.34111338,2.18,0.129193883,0.378182019,0.695412263,0,1,1.768869107,9.4236e-05,0.378914472,4.8266e-05,0.00103772,1.618890056,0,0.120997085,0.469736699,0.02,9.4236e-05,2.060377199,2.1825e-05,0.01283926,2.87703743,0.169209956,0.147332625,0,0.970149254,2.766499788,3.3174e-05,2.417154549,0,0.006466397,2.519492024,0.453963552,7.6477e-05,1.80141563,1.5589e-05,0.0072708,2.1,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_DimacsSorter_28_0.cnf",1,"or.tools",3986,13057,2202,11015,0.81017257,0.185383568,0.02,0.199909215,0.285242418,1.177398976,0,1,1.406215734,0.001229559,0.423202354,0.000908265,0.010899183,1.137487312,0,0.571674989,0.844757149,0,0.001229559,0.617717763,0.000635497,0.021152973,2.501441234,0.19218845,0.155907512,0,0.714285714,2.91933687,0.000773736,0.731575615,9.0785e-05,0.014798003,2.237743277,0.744439401,0.001043742,0.559478539,0.000453926,0.014616432,0,0.001798117,1.12556426,0.000453926,0.038492964,3.45319633,0.17646203,0.484222061,0.004716981,0.571428571,3.410868933,0.2
"manthey_DimacsSorter_28_3.cnf",1,"or.tools",3553,11381,1942,9521,0.829557158,0.195357631,0.02,0.203970171,0.271142987,1.189442027,0,1,1.389967815,0.001401964,0.412079786,0.001029866,0.010298661,1.15755209,0,0.560655393,0.835836572,0,0.001401964,0.553156571,0.000735217,0.019850856,2.49261067,0.18479614,0.146758947,0,0.714285714,2.884610109,0.00087497,0.657888558,0.000105031,0.014494276,2.169175877,0.738998004,0.001202827,0.493229679,0.000630186,0.012918811,0,0.001974331,0.965903309,0.000525155,0.033294822,3.426309698,0.176955149,0.471260005,0.006388509,0.571428571,3.401908672,0.14
"manthey_DimacsSorter_28_4.cnf",1,"or.tools",3666,11883,2050,10053,0.788292683,0.182035213,0.02,0.203919228,0.274785068,1.20161269,0,1,1.37981776,0.001317796,0.414203463,0.00097561,0.012195122,1.134422411,0,0.571670148,0.844921914,0,0.001317796,0.546897193,0.00069631,0.016910375,2.471485111,0.193268271,0.156415211,0,0.741935484,2.918003686,0.000831107,0.663970402,9.9473e-05,0.012533572,2.2576254,0.744255446,0.001118559,0.493635989,0.000596837,0.010743062,0,0.001793439,0.961321475,0.000497364,0.041082264,3.380219086,0.181580574,0.467484622,0.004877706,0.571428571,3.385406125,0.14
"manthey_DimacsSorter_28_7.cnf",1,"or.tools",3507,11386,1934,9560,0.813340228,0.191004184,0.02,0.202301255,0.284172146,1.179535,0,1,1.393070797,0.001399045,0.417356902,0.001034126,0.012926577,1.139412626,0,0.569769874,0.842573222,0,0.001399045,0.552908934,0.000732218,0.018828452,2.505238039,0.19108068,0.157514084,0,0.741935484,2.916123727,0.000881387,0.676888542,0.000104603,0.013912134,2.239214556,0.744351464,0.001194546,0.503242009,0.000523013,0.012133891,0,0.001907398,0.978915202,0.000523013,0.043410042,3.385022875,0.180560713,0.462952838,0.004830862,0.571428571,3.391862701,0.14
"manthey_DimacsSorter_29_8.cnf",1,"or.tools",4495,14793,2710,13217,0.658671587,0.119240372,0.02,0.205038965,0.283585294,1.17398411,0,1,1.364034841,0.000998267,0.45456191,0.000738007,0.008856089,1.101396879,0,0.56714837,0.853219339,0,0.000998267,0.520981086,0.000605281,0.008322615,2.260784964,0.196666223,0.163851282,0,0.6875,2.79838648,0.000627923,0.666412983,7.566e-05,0.005977151,2.278770356,0.741015359,0.00081914,0.513338804,0.000378301,0.006052811,0.02,0.001308015,0.935928373,0.000378301,0.031928577,3.325868185,0.185896476,0.478731456,0.004750541,0.571428571,3.436999968,0.18
"manthey_DimacsSorter_30_1.cnf",1,"or.tools",3606,11560,1927,9110,0.871302543,0.268935236,0.02,0.211525796,0.275249072,1.188823533,0,1,1.313428946,0.001359273,0.360965663,0.001037883,0.010378827,1.061518108,0,0.579582876,0.862349067,0,0.001359273,0.503408892,0.000658617,0.015587267,2.236145336,0.185092687,0.146522223,0,0.692307692,2.680809943,0.00091034,0.592312591,0.000109769,0.012074643,2.198377106,0.760043908,0.001151469,0.454094579,0.000439078,0.009989023,0,0.001746359,0.900645185,0.000548847,0.031064764,3.197473002,0.183037869,0.448087584,0.007092022,0.549450549,3.29417706,0.1
"manthey_DimacsSorter_30_4.cnf",1,"or.tools",3723,11743,1979,9246,0.881253158,0.27006273,0.02,0.214038503,0.254367397,1.214836576,0,1,1.304859302,0.001332289,0.359674243,0.001010611,0.008084891,1.077855453,0,0.571382219,0.856911097,0,0.001332289,0.503091726,0.000648929,0.018386329,2.26071275,0.175183572,0.133812328,0,0.666666667,2.686175672,0.000886334,0.602540804,0.000108155,0.015574302,2.15464179,0.75654337,0.001127019,0.436013484,0.00043262,0.011356262,0,0.001767348,0.914591442,0.000540774,0.023036989,3.212964618,0.179594223,0.451189662,0.009389671,0.549450549,3.286830927,0.1
"manthey_DimacsSorter_30_5.cnf",1,"or.tools",3843,12306,2058,9733,0.867346939,0.264358368,0.02,0.211445597,0.266625569,1.208070544,0,1,1.320720891,0.001275304,0.366959448,0.000971817,0.007774538,1.067871353,0,0.582348711,0.86068016,0,0.001275304,0.542077337,0.000616459,0.020343162,2.281045982,0.183560234,0.139931802,0,0.666666667,2.702103102,0.000855395,0.62879734,0.000102743,0.016027946,2.2008331,0.762354875,0.001078455,0.464781776,0.000410973,0.012534676,0,0.001726948,1.052442438,0.000513716,0.021987054,3.213472511,0.180380564,0.455365611,0.009389263,0.549450549,3.289731445,0.12
"manthey_DimacsSorter_30_6.cnf",1,"or.tools",3638,11677,1941,9247,0.874291602,0.262787931,0.02,0.209905915,0.278889936,1.182985735,0,1,1.319897383,0.00134853,0.360819459,0.001030397,0.010303967,1.058067538,0,0.579755596,0.862766303,0,0.00134853,0.53188489,0.000648859,0.01935763,2.260123965,0.185982439,0.145221992,0,0.692307692,2.724667534,0.000905539,0.620588478,0.000108143,0.014491186,2.200478932,0.761003569,0.001142496,0.469447773,0.000432573,0.01189575,0,0.001774802,1.000932869,0.000540716,0.031037093,3.20117416,0.181435761,0.448304204,0.006968641,0.527777778,3.286696456,0.12
"manthey_DimacsSorter_31_0.cnf",1,"or.tools",4358,14320,2617,12780,0.665265571,0.120500782,0.02,0.204773083,0.278585209,1.180639763,0,1,1.358843809,0.001032463,0.443114596,0.000764234,0.011463508,1.107251919,0,0.56314554,0.852269171,0,0.001032463,0.541027724,0.000625978,0.010641628,2.278134942,0.192560763,0.159518903,0,0.777777778,2.839683004,0.00064936,0.681378656,7.8247e-05,0.007355243,2.304105087,0.738341158,0.000847235,0.529130904,0.000469484,0.008450704,0,0.00138265,0.978376532,0.000391236,0.044522692,3.356084922,0.184473184,0.488947857,0.003545771,0.666666667,3.439441816,0.2
"manthey_DimacsSorter_31_4.cnf",1,"or.tools",3903,12581,2357,11222,0.655918541,0.121101408,0.02,0.210033862,0.267505792,1.190440866,0,1,1.338041267,0.001153297,0.447781348,0.000848536,0.008485363,1.113142025,0,0.55542684,0.850026733,0,0.001153297,0.468833857,0.000712885,0.008821957,2.256693502,0.19289561,0.15444622,0,0.666666667,2.813523816,0.000718519,0.588262297,8.9111e-05,0.005970415,2.283892634,0.733737302,0.000942751,0.456009941,0.000534664,0.006861522,0,0.001497745,0.838029811,0.000445553,0.027089645,3.297685753,0.187964947,0.477268264,0.006578947,0.666666667,3.434257613,0.14
"manthey_DimacsSorter_31_6.cnf",1,"or.tools",4521,15036,2725,13473,0.659082569,0.116009797,0.02,0.202256365,0.294329753,1.159098344,0,1,1.373001313,0.000987064,0.443624948,0.000733945,0.009174312,1.096831221,0,0.570548504,0.852890967,0,0.000987064,0.518161972,0.00059378,0.007793365,2.2861676,0.19745042,0.161301309,0,0.696969697,2.902845642,0.000626002,0.665069179,7.4223e-05,0.005344021,2.295127462,0.743264306,0.000814623,0.51246357,0.000371113,0.006160469,0,0.001275065,0.949577261,0.000371113,0.033251689,3.29151399,0.183260926,0.470695894,0.004484171,0.571428571,3.384900766,0.18
"manthey_DimacsSorter_31_8.cnf",1,"or.tools",5471,18706,3331,16846,0.642449715,0.110411967,0.04,0.197732399,0.297762504,1.168722029,0,1,1.376711476,0.000806536,0.46710479,0.00060042,0.010807565,1.089022735,0,0.585777039,0.857592307,0,0.000806536,0.586279881,0.00047489,0.007063991,2.301593123,0.20254574,0.166406771,0,0.80952381,2.893586554,0.000513348,0.747178049,5.9361e-05,0.004867624,2.345867824,0.750385848,0.000661653,0.574237179,0.000296806,0.005520598,0.02,0.001077714,1.130709485,0.000296806,0.046717322,3.363164367,0.18266354,0.485433522,0.002547746,0.666666667,3.425240292,0.24
"manthey_DimacsSorter_32_1.cnf",1,"or.tools",4927,16333,2805,14051,0.756506239,0.16240837,0.04,0.19962992,0.294873776,1.172596267,0,1,1.408887014,0.000957043,0.434949739,0.000713012,0.010695187,1.112571509,0,0.5874315,0.85310654,0,0.000957043,0.592265287,0.000498185,0.014945555,2.490164891,0.192932443,0.159694623,0,0.777777778,2.888203787,0.000614263,0.72622058,7.1169e-05,0.011031243,2.254783917,0.756387446,0.000822976,0.549967916,0.000427016,0.010034873,0.02,0.001307771,1.087979005,0.000355847,0.040708846,3.382992647,0.178186838,0.464228011,0.00351481,0.571428571,3.364763782,0.2
"manthey_DimacsSorter_35_1.cnf",1,"or.tools",6945,23459,3799,19124,0.828112661,0.226678519,0.04,0.19865091,0.294722787,1.181622872,0,1,1.364410637,0.000684991,0.403097261,0.000526454,0.007896815,1.044151926,0,0.60766576,0.871052081,0,0.000684991,0.639227307,0.000313742,0.011451579,2.26355656,0.19080717,0.155942861,0,0.736842105,2.745193018,0.000468438,0.758063722,5.229e-05,0.009778289,2.237951257,0.778707383,0.000581126,0.581973358,0.000209161,0.00669316,0.02,0.000933788,1.227296464,0.000261452,0.03137419,3.290372571,0.173488711,0.459560942,0.00333888,0.549450549,3.277594243,0.28
"manthey_DimacsSorter_35_7.cnf",1,"or.tools",6838,23203,3734,18865,0.831280129,0.229949642,0.06,0.19793268,0.297371378,1.180366116,0,1,1.371143268,0.000695282,0.403457259,0.000535619,0.009373326,1.040580847,0,0.611396766,0.871296051,0,0.000695282,0.672990413,0.000318049,0.013994169,2.266618583,0.190495876,0.157948348,0,0.804878049,2.763390602,0.000476776,0.797301937,5.3008e-05,0.011237742,2.251937376,0.78038696,0.000590359,0.614363455,0.000212033,0.009064405,0.02,0.00096904,1.326941061,0.000265041,0.040286244,3.288967101,0.175238067,0.460186006,0.002635037,0.549450549,3.268821029,0.32
"manthey_DimacsSorter_35_8.cnf",1,"or.tools",7351,24835,4009,20208,0.833624345,0.228968725,0.06,0.198386778,0.292942718,1.185903151,0,1,1.368505137,0.000649074,0.404833171,0.000498878,0.007483163,1.043458765,0,0.609461599,0.87010095,0,0.000649074,0.682763289,0.000296912,0.015389945,2.290627737,0.189830091,0.156105663,0,0.736842105,2.794599091,0.00044522,0.81529542,4.9485e-05,0.012866192,2.247487172,0.780779889,0.000550992,0.605493622,0.000197941,0.009253761,0.02,0.000929961,1.403268946,0.000247427,0.031175772,3.283344507,0.172807078,0.459215419,0.003179634,0.549450549,3.253185006,0.42
"manthey_DimacsSorter_36_4.cnf",1,"or.tools",4965,16282,2873,14058,0.728158719,0.158201736,0.04,0.20436762,0.28972347,1.178485955,0,1,1.389466392,0.000932366,0.438340155,0.000696136,0.008701706,1.104117819,0,0.589344146,0.858941528,0,0.000932366,0.505722125,0.000497937,0.011594821,2.515127933,0.188600779,0.14977877,0,0.741935484,2.897490943,0.000605071,0.616897128,7.1134e-05,0.008678333,2.208511574,0.76184379,0.000819934,0.481811022,0.000426803,0.007326789,0.02,0.00119526,0.935002081,0.000355669,0.029733959,3.274420412,0.177106176,0.434219964,0.004807528,0.571428571,3.278212803,0.16
"manthey_DimacsSorter_36_7.cnf",1,"or.tools",4119,13249,2346,11400,0.755754476,0.162192982,0.02,0.205789474,0.282990393,1.180083146,0,1,1.383436447,0.001147231,0.430418732,0.000852515,0.008525149,1.109689322,0,0.575789474,0.855964912,0,0.001147231,0.465868566,0.000614035,0.010175439,2.48105301,0.184065114,0.151725791,0,0.75,2.882723487,0.000740155,0.565014153,8.7719e-05,0.007894737,2.207037877,0.756140351,0.001001855,0.45370727,0.000526316,0.006315789,0,0.001443429,0.810443551,0.000438596,0.025263158,3.281531557,0.178846753,0.431512466,0.006992503,0.571428571,3.300749134,0.14
"manthey_DimacsSorter_37_3.cnf",1,"or.tools",6634,23392,4156,21298,0.596246391,0.098319091,0.06,0.195135693,0.329986316,1.120332323,0,1,1.393622846,0.000637489,0.508388756,0.000481232,0.008662175,1.038754302,0,0.609399944,0.875762982,0,0.000637489,0.627675297,0.000375622,0.007418537,2.30408734,0.216811595,0.187646147,0,0.80952381,2.872783977,0.000419332,0.825078471,4.6953e-05,0.00493004,2.347477422,0.770776599,0.000533359,0.644714605,0.000234764,0.005493474,0.02,0.000803409,1.242266092,0.000234764,0.037233543,3.239061482,0.185642851,0.466281625,0.002528421,0.666666667,3.308327613,0.36
"manthey_DimacsSorter_37_6.cnf",1,"or.tools",7665,26841,4819,24472,0.590578958,0.096804511,0.06,0.196918928,0.309337641,1.158556623,0,1,1.393539907,0.000555327,0.52091471,0.000415024,0.008715501,1.060361387,0,0.603710363,0.871404054,0,0.000555327,0.64730308,0.000326904,0.00715103,2.366858896,0.213446865,0.178005352,0,0.833333333,2.87186488,0.00035989,0.821521228,4.0863e-05,0.004740111,2.375818767,0.765773128,0.000459694,0.64398165,0.000245178,0.005434783,0.04,0.000750439,1.308921096,0.000204315,0.04225237,3.347461383,0.181538886,0.489824086,0.001941711,0.571428571,3.3534778,0.4
"manthey_DimacsSorterHalf_28_4.cnf",1,"or.tools",3666,11883,2050,10053,0.788292683,0.182035213,0.02,0.203919228,0.274785068,1.20161269,0,1,1.37981776,0.001317796,0.414203463,0.00097561,0.012195122,1.134422411,0,0.571670148,0.844921914,0,0.001317796,0.546897193,0.00069631,0.016910375,2.471485111,0.193268271,0.156415211,0,0.741935484,2.918003686,0.000831107,0.663970402,9.9473e-05,0.012533572,2.2576254,0.744255446,0.001118559,0.493635989,0.000596837,0.010743062,0,0.001793439,0.961321475,0.000497364,0.041082264,3.380219086,0.181580574,0.467484622,0.004877706,0.571428571,3.385406125,0.16
"manthey_DimacsSorterHalf_29_2.cnf",1,"or.tools",5467,18397,3328,16515,0.642728365,0.113957009,0.04,0.201513775,0.289592233,1.176205344,0,1,1.356825291,0.000808869,0.467579125,0.000600962,0.008413462,1.085749662,0,0.579533757,0.857462913,0,0.000808869,0.564058563,0.000484408,0.007023918,2.256532162,0.200168664,0.165044257,0,0.722222222,2.836578983,0.000513938,0.713950743,6.0551e-05,0.004965183,2.333973861,0.748168332,0.00066537,0.549771929,0.000363306,0.00538904,0.02,0.001081889,1.071905234,0.000302755,0.032697548,3.34685333,0.182393001,0.492778835,0.003717396,0.571428571,3.4297264,0.24
"manthey_DimacsSorterHalf_29_8.cnf",1,"or.tools",4495,14793,2710,13217,0.658671587,0.119240372,0.04,0.205038965,0.283585294,1.17398411,0,1,1.364034841,0.000998267,0.45456191,0.000738007,0.008856089,1.101396879,0,0.56714837,0.853219339,0,0.000998267,0.520981086,0.000605281,0.008322615,2.260784964,0.196666223,0.163851282,0,0.6875,2.79838648,0.000627923,0.666412983,7.566e-05,0.005977151,2.278770356,0.741015359,0.00081914,0.513338804,0.000378301,0.006052811,0.02,0.001308015,0.935928373,0.000378301,0.031928577,3.325868185,0.185896476,0.478731456,0.004750541,0.571428571,3.436999968,0.18
"manthey_DimacsSorterHalf_30_0.cnf",1,"or.tools",3612,11612,1947,9266,0.855161787,0.253183682,0.02,0.21012303,0.278621792,1.187580702,0,1,1.330607222,0.001343392,0.365979871,0.001027221,0.008217771,1.058136803,0,0.583639111,0.864234837,0,0.001343392,0.484641887,0.000647529,0.011979279,2.257043734,0.185461357,0.143887776,0,0.666666667,2.71793779,0.000905997,0.568603894,0.000107921,0.009928772,2.234239413,0.764947118,0.001132981,0.451713937,0.000431686,0.0075545,0,0.001688378,0.844004545,0.000539607,0.024174401,3.193782769,0.182666653,0.447457083,0.008888889,0.549450549,3.283202099,0.08
"manthey_DimacsSorterHalf_30_3.cnf",1,"or.tools",3740,11875,2006,9334,0.86440678,0.272230555,0.02,0.21491322,0.262731233,1.207028645,0,1,1.304487204,0.001304475,0.354985711,0.000997009,0.00997009,1.058947116,0,0.576708807,0.864795372,0,0.001304475,0.551800424,0.000642811,0.021105635,2.233986771,0.179856698,0.139429667,0,0.692307692,2.703905077,0.000874599,0.641498584,0.000107135,0.016605957,2.192061614,0.759588601,0.001102328,0.473554631,0.000428541,0.013070495,0,0.001778141,1.053948605,0.000535676,0.030426398,3.209540999,0.183352513,0.452696967,0.007116383,0.549450549,3.29490096,0.12
"manthey_DimacsSorterHalf_30_7.cnf",1,"or.tools",3922,12464,2080,9880,0.885576923,0.261538462,0.02,0.210526316,0.268394062,1.192328253,0,1,1.31056752,0.001264404,0.358914556,0.000961538,0.009615385,1.069858469,0,0.572874494,0.858906883,0,0.001264404,0.519223328,0.000607287,0.019331984,2.246496911,0.18175224,0.13702316,0,0.666666667,2.72498313,0.000846407,0.613472655,0.000101215,0.015283401,2.196343132,0.759210526,0.001070733,0.456839414,0.000404858,0.012651822,0,0.001678482,0.995698391,0.000506073,0.030566802,3.188520332,0.17874157,0.445770333,0.006622517,0.549450549,3.262790398,0.12
"manthey_DimacsSorterHalf_31_2.cnf",1,"or.tools",5408,18446,3325,16597,0.626466165,0.111405676,0.04,0.20033741,0.291718513,1.1838714,0,1,1.371360891,0.000806704,0.475561926,0.000601504,0.010526316,1.084648601,0,0.590046394,0.86407182,0,0.000806704,0.577754413,0.000482015,0.005904682,2.278585805,0.204181731,0.166051092,0,0.76744186,2.846451679,0.000515665,0.729388189,6.0252e-05,0.004277882,2.374717511,0.754112189,0.000659672,0.563261314,0.000361511,0.004579141,0.02,0.001075763,1.136955723,0.000301259,0.046755438,3.334457747,0.183665771,0.498670063,0.00257732,0.666666667,3.431354588,0.24
"manthey_DimacsSorterHalf_31_8.cnf",1,"or.tools",5471,18706,3331,16846,0.642449715,0.110411967,0.04,0.197732399,0.297762504,1.168722029,0,1,1.376711476,0.000806536,0.46710479,0.00060042,0.010807565,1.089022735,0,0.585777039,0.857592307,0,0.000806536,0.586279881,0.00047489,0.007063991,2.301593123,0.20254574,0.166406771,0,0.80952381,2.893586554,0.000513348,0.747178049,5.9361e-05,0.004867624,2.345867824,0.750385848,0.000661653,0.574237179,0.000296806,0.005520598,0.02,0.001077714,1.130709485,0.000296806,0.046717322,3.363164367,0.18266354,0.485433522,0.002547746,0.666666667,3.425240292,0.28
"manthey_DimacsSorterHalf_32_1.cnf",1,"or.tools",4927,16333,2805,14051,0.756506239,0.16240837,0.04,0.19962992,0.294873776,1.172596267,0,1,1.408887014,0.000957043,0.434949739,0.000713012,0.010695187,1.112571509,0,0.5874315,0.85310654,0,0.000957043,0.592265287,0.000498185,0.014945555,2.490164891,0.192932443,0.159694623,0,0.777777778,2.888203787,0.000614263,0.72622058,7.1169e-05,0.011031243,2.254783917,0.756387446,0.000822976,0.549967916,0.000427016,0.010034873,0.02,0.001307771,1.087979005,0.000355847,0.040708846,3.382992647,0.178186838,0.464228011,0.00351481,0.571428571,3.364763782,0.2
"manthey_DimacsSorterHalf_33_1.cnf",1,"or.tools",3762,12254,2313,11008,0.626459144,0.113190407,0.02,0.210119913,0.292832774,1.157085023,0,1,1.348669805,0.001163246,0.463529701,0.000864678,0.008646779,1.06754997,0,0.568949855,0.86237282,0,0.001163246,0.433499601,0.000726744,0.005904797,2.2717473,0.202939467,0.166903788,0,0.692307692,2.843410635,0.000741354,0.583091123,9.0843e-05,0.003997093,2.318979351,0.746366279,0.000968757,0.454758152,0.000545058,0.004723837,0,0.001402637,0.798526385,0.000454215,0.026344477,3.177757595,0.19103171,0.450029592,0.006920251,0.571428571,3.34540225,0.1
"manthey_DimacsSorterHalf_35_8.cnf",1,"or.tools",7351,24835,4009,20208,0.833624345,0.228968725,0.06,0.198386778,0.292942718,1.185903151,0,1,1.368505137,0.000649074,0.404833171,0.000498878,0.007483163,1.043458765,0,0.609461599,0.87010095,0,0.000649074,0.682763289,0.000296912,0.015389945,2.290627737,0.189830091,0.156105663,0,0.736842105,2.794599091,0.00044522,0.81529542,4.9485e-05,0.012866192,2.247487172,0.780779889,0.000550992,0.605493622,0.000197941,0.009253761,0.02,0.000929961,1.403268946,0.000247427,0.031175772,3.283344507,0.172807078,0.459215419,0.003179634,0.549450549,3.253185006,0.38
"manthey_DimacsSorterHalf_35_9.cnf",1,"or.tools",8300,28853,4570,23732,0.81619256,0.215784595,0.08,0.192566998,0.313459758,1.158099207,0,1,1.384897305,0.000565846,0.415489665,0.000437637,0.008752735,1.02897845,0,0.622829934,0.873967639,0,0.000565846,0.726719963,0.000252823,0.013357492,2.275723617,0.195366911,0.163180542,0,0.791666667,2.7668709,0.000391221,0.87235024,4.2137e-05,0.011082083,2.254627141,0.787038598,0.00048195,0.665805163,0.000168549,0.008174617,0.04,0.000803497,1.476141866,0.000210686,0.041547278,3.284741932,0.171587703,0.457280467,0.002028398,0.549450549,3.241423402,0.52
"manthey_DimacsSorterHalf_36_0.cnf",1,"or.tools",4551,14683,2602,12671,0.749039201,0.158787783,0.04,0.205350801,0.286919575,1.179251365,0,1,1.382723407,0.001033093,0.439024126,0.00076864,0.007686395,1.101798732,0,0.581958804,0.859758504,0,0.001033093,0.487661382,0.000552443,0.01491595,2.500116039,0.187077705,0.15109579,0,0.75,2.91046276,0.000667638,0.598939875,7.892e-05,0.011522374,2.205586039,0.759056112,0.000902155,0.448258769,0.000473522,0.008365559,0,0.001322967,0.952888772,0.000394602,0.022886907,3.241067971,0.17936134,0.421523185,0.006872852,0.571428571,3.259879369,0.18
"manthey_DimacsSorterHalf_36_7.cnf",1,"or.tools",4119,13249,2346,11400,0.755754476,0.162192982,0.04,0.205789474,0.282990393,1.180083146,0,1,1.383436447,0.001147231,0.430418732,0.000852515,0.008525149,1.109689322,0,0.575789474,0.855964912,0,0.001147231,0.465868566,0.000614035,0.010175439,2.48105301,0.184065114,0.151725791,0,0.75,2.882723487,0.000740155,0.565014153,8.7719e-05,0.007894737,2.207037877,0.756140351,0.001001855,0.45370727,0.000526316,0.006315789,0,0.001443429,0.810443551,0.000438596,0.025263158,3.281531557,0.178846753,0.431512466,0.006992503,0.571428571,3.300749134,0.12
"manthey_DimacsSorterHalf_37_3.cnf",1,"or.tools",6634,23392,4156,21298,0.596246391,0.098319091,0.04,0.195135693,0.329986316,1.120332323,0,1,1.393622846,0.000637489,0.508388756,0.000481232,0.008662175,1.038754302,0,0.609399944,0.875762982,0,0.000637489,0.627675297,0.000375622,0.007418537,2.30408734,0.216811595,0.187646147,0,0.80952381,2.872783977,0.000419332,0.825078471,4.6953e-05,0.00493004,2.347477422,0.770776599,0.000533359,0.644714605,0.000234764,0.005493474,0.02,0.000803409,1.242266092,0.000234764,0.037233543,3.239061482,0.185642851,0.466281625,0.002528421,0.666666667,3.308327613,0.3
"manthey_DimacsSorterHalf_37_6.cnf",1,"or.tools",7665,26841,4819,24472,0.590578958,0.096804511,0.06,0.196918928,0.309337641,1.158556623,0,1,1.393539907,0.000555327,0.52091471,0.000415024,0.008715501,1.060361387,0,0.603710363,0.871404054,0,0.000555327,0.64730308,0.000326904,0.00715103,2.366858896,0.213446865,0.178005352,0,0.833333333,2.87186488,0.00035989,0.821521228,4.0863e-05,0.004740111,2.375818767,0.765773128,0.000459694,0.64398165,0.000245178,0.005434783,0.04,0.000750439,1.308921096,0.000204315,0.04225237,3.347461383,0.181538886,0.489824086,0.001941711,0.571428571,3.3534778,0.4
"manthey_DimacsSorterHalf_37_8.cnf",1,"or.tools",6247,21154,3886,19175,0.60756562,0.103207301,0.04,0.202659713,0.299168541,1.162115473,0,1,1.379924395,0.000690527,0.494121166,0.000514668,0.009006691,1.0733235,0,0.586753585,0.865606258,0,0.000690527,0.569332226,0.00041721,0.00464146,2.313536906,0.205724992,0.173816878,0,0.804878049,2.84297969,0.000443541,0.73952483,5.2151e-05,0.003181226,2.320696458,0.756036506,0.000572993,0.577214519,0.000312907,0.003389831,0.02,0.000885475,1.084681022,0.000260756,0.038644068,3.299117864,0.185366221,0.473697405,0.002699055,0.666666667,3.35703133,0.28
"manthey_DimacsSorterHalf_37_9.cnf",1,"or.tools",8680,31088,5466,28360,0.587998536,0.096191819,0.06,0.192736248,0.313262519,1.161474697,0,1,1.391237848,0.000488273,0.537275686,0.000365898,0.008781559,1.049255147,0,0.615373766,0.876022567,0,0.000488273,0.709967659,0.000282087,0.007087447,2.378547557,0.215022678,0.181823848,0,0.851851852,2.891700018,0.000318645,0.891213496,3.5261e-05,0.004583921,2.40844154,0.772566996,0.000403727,0.702428686,0.000211566,0.005359661,0.04,0.000683632,1.473467514,0.000176305,0.047108604,3.399514277,0.178731566,0.508832748,0.001495886,0.666666667,3.382188379,0.6
"manthey_single-ordered-initialized-w12-b6.cnf",1,"Glucose_nbSat",792,5055,350,3144,1.262857143,0.607824427,0,0.111323155,0.586057814,0.561970227,0,1,1.176680336,0.010210832,0.678701458,0.005714286,0.045714286,1.169912623,0,0.280216285,0.861005089,0,0.010210832,1.08939892,0.002862595,0.055661578,2.157516283,0.509667624,0.226875869,0.005714286,0.694915254,2.283473705,0.004649218,1.467422338,0.000318066,0.033396947,1.883127782,0.635814249,0.009045802,1.029489201,0.002226463,0.04389313,0,0.031929229,0.770316809,0.001590331,0.155534351,4.60433177,0.184458616,0.74783394,0.024853114,0.861471861,3.293464525,1.2
"manthey_single-ordered-initialized-w14-b7.cnf",1,"Glucose_nbSat",1225,8099,602,5389,1.034883721,0.502876229,0.02,0.111709037,0.586966719,0.551172278,0,1,1.101927544,0.005898258,0.732538074,0.003322259,0.034883721,1.061610833,0,0.270365559,0.88754871,0,0.005898258,1.288951305,0.001670069,0.043607348,2.284011403,0.520399908,0.20640439,0.008547009,0.774193548,2.365268903,0.002750466,1.746204056,0.000185563,0.027834478,1.648550143,0.642048618,0.005740129,1.190098102,0.001484505,0.037483763,0,0.022870241,0.813375463,0.000927816,0.149935053,4.752921863,0.15643075,0.821433045,0.017533937,0.812307692,3.163494362,3.14
"manthey_single-ordered-initialized-w18-b7.cnf",1,"COMiniSatPS_Subdwarf",1827,12775,950,9133,0.923157895,0.398773678,0.02,0.104018395,0.571450426,0.560513936,0,1,1.080207581,0.003785809,0.747271182,0.002105263,0.026315789,1.016506447,0,0.250410599,0.885251287,0,0.003785809,1.506182027,0.000985437,0.034599803,2.037310935,0.550027834,0.203736627,0.003174603,0.820512821,2.101350247,0.001767448,1.99631545,0.000109493,0.021679623,1.456518385,0.643162159,0.00369395,1.361053982,0.000875944,0.029563123,0,0.018104297,0.819005391,0.000547465,0.124165116,4.676249182,0.138767887,0.855707227,0.01429401,0.812307692,3.003876799,10.08
"manthey_single-ordered-initialized-w18-b8.cnf",1,"Glucose_nbSat",2160,15054,1195,10964,0.807531381,0.373039037,0.02,0.108993068,0.57740331,0.55364282,0,1,1.02880887,0.002998478,0.783341501,0.00167364,0.020920502,0.978085436,0,0.251641737,0.901587012,0,0.002998478,1.561353319,0.000820868,0.031740241,1.84391295,0.557216225,0.192432724,0.008645533,0.8,1.994543001,0.001400933,2.15178521,9.1208e-05,0.021068953,1.350546046,0.641919008,0.0031006,1.420804783,0.000820868,0.029004013,0,0.015228689,0.830902713,0.000456038,0.106165633,4.568387947,0.124126882,0.909991074,0.012124663,0.802298851,2.728302134,11.38
"manthey_single-ordered-initialized-w20-b10.cnf",1,"glueminisat.Actmini",3400,24005,2076,18339,0.637764933,0.308959049,0.04,0.113201374,0.580282424,0.547729522,0,1,0.995592006,0.001729287,0.862952155,0.000963391,0.013969171,0.913133173,0,0.246632859,0.921587873,0,0.001729287,1.754537846,0.000490757,0.025355799,1.799990861,0.574395586,0.17606482,0,0.782608696,1.733028338,0.000804954,2.547572284,5.4529e-05,0.018158024,1.135973936,0.639238781,0.001966024,1.587718253,0.000599815,0.025410328,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w20-b7.cnf",1,"COMiniSatPS_Subdwarf",2170,15509,1148,11354,0.890243902,0.365950326,0.02,0.101109741,0.56620507,0.563351146,0,1,1.070017871,0.003145141,0.752857949,0.00174216,0.023519164,0.999241109,0,0.243790735,0.88444601,0,0.003145141,1.602030319,0.000792672,0.031354589,1.948775433,0.559826464,0.201573533,0.002816901,0.837209302,1.960230289,0.001471262,2.105521412,8.8075e-05,0.019552581,1.38060058,0.644266338,0.003074328,1.43688112,0.000704597,0.026774705,0,0.016430638,0.820985804,0.000440373,0.123568786,4.554524076,0.132888245,0.865847925,0.012920082,0.812307692,2.984797866,14.7
"manthey_single-ordered-initialized-w20-b8.cnf",1,"COMiniSatPS_Main_Sequence",2560,18240,1444,13599,0.772853186,0.341275094,0.02,0.106184278,0.572157742,0.556608249,0,1,1.020516182,0.00249061,0.791076455,0.001385042,0.018698061,0.960590935,0,0.245165086,0.901242738,0,0.00249061,1.660555182,0.000661813,0.028825649,1.768492754,0.566370808,0.190024448,0.007672634,0.818181818,1.920243272,0.001167289,2.268902673,7.3535e-05,0.019045518,1.278968676,0.643576734,0.002582478,1.497885495,0.000661813,0.026325465,0,0.013841741,0.834033058,0.000367674,0.105669535,4.500820654,0.118400897,0.924144248,0.01097617,0.802298851,2.730515383,19.78
"manthey_single-ordered-initialized-w22-b6.cnf",1,"COMiniSatPS_Main_Sequence",2112,15395,1033,11229,1.044530494,0.371003651,0.02,0.091993944,0.5533265,0.579087645,0,1,1.091767482,0.003550308,0.727412671,0.001936108,0.026137464,1.042340783,0,0.235639861,0.858847627,0,0.003550308,1.599686051,0.000801496,0.031614569,1.703951723,0.570305567,0.218917839,0.002816901,0.818181818,1.662811767,0.001638425,2.01466757,8.9055e-05,0.018256301,1.436585107,0.642710838,0.003200984,1.429468299,0.000623386,0.024757325,0,0.018370005,0.798566402,0.000445276,0.148722059,4.373152558,0.146356872,0.802298541,0.013869228,0.861471861,2.953704368,19.6
"manthey_single-ordered-initialized-w22-b8.cnf",1,"COMiniSatPS_Main_Sequence",2992,21730,1705,16496,0.75483871,0.31728904,0.04,0.10335839,0.56813264,0.558498155,0,1,1.025132123,0.002132571,0.823402612,0.001173021,0.017008798,0.954312844,0,0.240118817,0.899551406,0,0.002132571,1.738334867,0.000545587,0.02643065,1.757077922,0.579451515,0.187394254,0.006896552,0.757009346,1.886373259,0.000994287,2.372630884,6.0621e-05,0.017398157,1.22955101,0.645126091,0.002204391,1.567030992,0.000545587,0.024127061,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w24-b7.cnf",1,"COMiniSatPS_Subdwarf",2940,21769,1582,16472,0.85840708,0.321576008,0.04,0.096041768,0.558542383,0.567120726,0,1,1.062122368,0.002307559,0.784488419,0.001264223,0.020859671,0.980284457,0,0.234458475,0.881981544,0,0.002307559,1.765540345,0.000546382,0.02646916,1.855590301,0.576474116,0.196572437,0.002298851,0.801801802,1.872880181,0.00107845,2.295824213,6.0709e-05,0.016391452,1.270670075,0.64685527,0.00225913,1.571643991,0.000485673,0.022583779,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w24-b9.cnf",1,"glueminisat.Actmini",3996,29400,2417,22957,0.653289201,0.280655138,0.04,0.105283791,0.568650429,0.557559664,0,1,0.903999513,0.001504405,0.873401427,0.000827472,0.013653289,0.911990823,0,0.23700832,0.911922289,0,0.001504405,1.882048887,0.000392037,0.022825282,1.92418638,0.587350944,0.176483371,0.006993007,0.74789916,1.831452597,0.000703587,2.633174961,4.356e-05,0.015681491,1.103225055,0.645859651,0.001642545,1.684727675,0.000435597,0.021954088,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w26-b7.cnf",1,"riss_505_2",3367,25295,1836,19449,0.833877996,0.300581007,0.04,0.09440074,0.554960723,0.569085672,0,1,1.057809238,0.001988078,0.769034085,0.001089325,0.018518519,0.96961617,0,0.230088951,0.880713661,0,0.001988078,1.85208348,0.000462749,0.024525683,1.673496422,0.582335872,0.194558781,0,0.872727273,1.625273945,0.000930902,2.392688494,5.1417e-05,0.015116458,1.205213589,0.646408556,0.00194369,1.638685539,0.000411332,0.020875109,0,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w26-b8.cnf",1,"COMiniSatPS_Main_Sequence",3952,29622,2305,23166,0.714533623,0.278684279,0.06,0.099499266,0.561078895,0.562257579,0,1,1.012010224,0.001580295,0.821560348,0.000867679,0.014750542,0.933057856,0,0.231848399,0.898256065,0,0.001580295,1.915135418,0.0003885,0.022662523,1.523245179,0.589180546,0.182906487,0,0.857142857,1.652891589,0.0007417,2.574967191,4.3167e-05,0.014806181,1.118261097,0.647155314,0.001641122,1.701838809,0.0003885,0.020633687,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w28-b8.cnf",1,"Nigma.1.2.87",4480,34024,2640,26923,0.696969697,0.263752182,0.06,0.098057423,0.558341198,0.563652349,0,1,1.005616846,0.001377835,0.811481739,0.000757576,0.013257576,0.921005161,0,0.228577796,0.898116852,0,0.001377835,2.000493199,0.000334287,0.021134346,1.445591988,0.592061784,0.180439852,0,0.866666667,1.578665013,0.000649861,2.671040033,3.7143e-05,0.013780039,1.066244313,0.648070423,0.001434281,1.766316939,0.000334287,0.019240055,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w32-b9.cnf",1,"Nigma.1.2.87",6480,50184,4039,40804,0.604357514,0.229879424,0.12,0.098985394,0.558540129,0.562742746,0,1,0.874527071,0.000904729,0.896710344,0.000495172,0.010151027,0.878141102,0,0.225590628,0.910572493,0,0.000904729,2.201928586,0.000220567,0.017547299,1.558943133,0.602921642,0.166874186,0.005235602,0.801324503,1.457674409,0.000428148,3.015933551,2.4507e-05,0.011959612,0.944133467,0.651627291,0.001000574,1.929662859,0.000245074,0.016861092,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w40-b10.cnf",1,"or.tools",10800,86325,7174,72791,0.505436298,0.185929579,0.22,0.09855614,0.556446629,0.559234545,0,1,0.951705418,0.00050837,0.929841138,0.000278784,0.00683022,0.83495266,0,0.21916171,0.919935157,0.02,0.00050837,2.548752623,0.000123642,0.013518155,1.398273033,0.614912885,0.152702608,0.0041841,0.88372093,1.312361267,0.000243086,3.540335551,1.3738e-05,0.009520408,0.77343878,0.654352873,0.000592111,2.191769278,0.000151118,0.013545631,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w40-b8.cnf",1,"Nigma.1.2.87",8320,66820,5019,55130,0.657700737,0.212044259,0.16,0.091039362,0.548265812,0.567948447,0,1,1.001783896,0.000734531,0.862570984,0.000398486,0.009364415,0.893640657,0,0.216651551,0.894721567,0,0.000734531,2.398089893,0.00016325,0.015109741,1.205507349,0.617842817,0.165237863,0,0.854748603,1.29508626,0.000347119,3.156518495,1.8139e-05,0.009776891,0.874600944,0.652947578,0.000766816,2.095226145,0.00016325,0.01374932,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w42-b8.cnf",1,"or.tools",9072,73350,5495,60812,0.650955414,0.206176413,0.16,0.090360455,0.546999864,0.568538262,0,1,0.997300339,0.000668987,0.845539824,0.000363967,0.008917197,0.887320027,0,0.215270012,0.894708281,0,0.000668987,2.469880091,0.000147997,0.014421496,1.148786886,0.614979443,0.163845599,0,0.860962567,1.243710708,0.000317615,3.232028271,1.6444e-05,0.009323818,0.845237811,0.653522331,0.00070002,2.146153385,0.000147997,0.01312241,0.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w42-b9.cnf",1,"Nigma.1.2.87",10395,83904,6651,70440,0.562922869,0.191141397,0.18,0.094420784,0.550995427,0.566058704,0,1,0.857875905,0.000550862,0.891412556,0.000300707,0.007367313,0.857956346,0,0.216638274,0.908546281,0,0.000550862,2.544459903,0.000127768,0.013586031,1.31966524,0.617429051,0.156451088,0,0.842931937,1.221568458,0.000262666,3.435789081,1.4196e-05,0.009199319,0.791362424,0.654542873,0.00060952,2.200698041,0.000141965,0.013032368,0.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w44-b6.cnf",1,"or.tools",7128,57855,3598,46296,0.981100611,0.249675998,0.12,0.077717297,0.531806999,0.589330907,0,1,1.043279231,0.001036831,0.756639204,0.000555864,0.013340745,0.966221195,0,0.209456541,0.850246242,0,0.001036831,2.317808708,0.000194401,0.016221704,1.160225979,0.613887769,0.187606233,0.001331558,0.903743316,1.063329231,0.000481495,2.80464086,2.16e-05,0.009180059,0.982003772,0.647291343,0.000936154,2.021411765,0.000151201,0.012657681,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w44-b7.cnf",1,"or.tools",8470,68909,4772,56414,0.774937133,0.221487574,0.16,0.084588932,0.540301131,0.57508298,0,1,1.0272389,0.000772768,0.781913595,0.000419111,0.010687343,0.918590234,0,0.212216826,0.876342752,0,0.000772768,2.444536881,0.000159535,0.014819017,1.354913982,0.611721424,0.172191459,0.001197605,0.923076923,1.31530129,0.000365343,3.073192118,1.7726e-05,0.009040309,0.886678529,0.651877194,0.000759087,2.122709512,0.000141809,0.012620981,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w44-b8.cnf",1,"or.tools",9856,80184,5992,66787,0.644859813,0.20059293,0.18,0.089718059,0.54590673,0.568985531,0,1,0.99570759,0.000612782,0.831085793,0.000333778,0.008511348,0.883684305,0,0.213963795,0.894485454,0,0.000612782,2.534287137,0.000134757,0.013790109,1.137408833,0.616045907,0.162158007,0,0.913043478,1.228577377,0.000291678,3.305684841,1.4973e-05,0.008908919,0.816676187,0.653899711,0.000641279,2.196304417,0.000134757,0.012547352,0.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w44-b9.cnf",1,"or.tools",11286,91680,7251,77284,0.556474969,0.186274002,0.26,0.093822783,0.549953567,0.566586078,0,1,0.851460023,0.000504063,0.877098002,0.000275824,0.007033513,0.85135308,0,0.215452099,0.908868589,0,0.000504063,2.612786153,0.000116454,0.012991046,1.383149788,0.617168233,0.154727238,0.003802281,0.903225806,1.290174077,0.000241444,3.513735532,1.2939e-05,0.008798716,0.763992952,0.65538792,0.00055885,2.251644306,0.000129393,0.012473474,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"manthey_single-ordered-initialized-w46-b7.cnf",1,"COMiniSatPS_Main_Sequence",9177,75075,5178,61703,0.77230591,0.216715557,0.16,0.083918124,0.539359618,0.575431168,0,1,1.025889277,0.000712765,0.783006351,0.00038625,0.010235612,0.915737946,0,0.211091843,0.875921754,0,0.000712765,2.500619442,0.00014586,0.014197041,1.322532416,0.613801093,0.170032246,0.001142857,0.926315789,1.276122426,0.000337113,3.1383749,1.6207e-05,0.00865436,0.862595357,0.652221124,0.000700192,2.169271955,0.000129653,0.012090174,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w46-b8.cnf",1,"ADS.glucose.adapt",10672,87322,6501,73012,0.641593601,0.195995179,0.18,0.089040158,0.544956432,0.569351252,0,1,0.995351116,0.000565224,0.832608572,0.000307645,0.008152592,0.880905113,0,0.212855421,0.894140689,0.02,0.000565224,2.592559469,0.000123267,0.013217005,1.10878263,0.617978305,0.160144694,0,0.916666667,1.202417826,0.000269236,3.375469873,1.3696e-05,0.008532844,0.794351014,0.65438558,0.000591727,2.243808427,0.000123267,0.01202542,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w46-b9.cnf",1,"COMiniSatPS_Main_Sequence",12213,99800,7863,84487,0.55322396,0.181246819,0.24,0.093067573,0.54892069,0.566939693,0,1,0.852704202,0.000465739,0.881354115,0.000254356,0.006867608,0.851174989,0,0.214257815,0.908068697,0,0.000465739,2.670681225,0.000106525,0.012463456,1.246042011,0.620178416,0.152988141,0,0.907216495,1.159662326,0.000222913,3.587158702,1.1836e-05,0.008427332,0.743885455,0.655674838,0.000515976,2.299215752,0.000118361,0.011954502,0.08,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w48-b6.cnf",1,"or.tools",8352,68487,4211,55182,0.98337687,0.241111232,0.14,0.076311116,0.530017727,0.590070669,0,1,1.039917268,0.000887855,0.769680391,0.000474947,0.012823557,0.960356101,0,0.207440832,0.849208075,0,0.000887855,2.421128206,0.000163097,0.014914284,1.106440626,0.617269035,0.182498724,0.001215067,0.911330049,1.023759941,0.000412387,2.919221883,1.8122e-05,0.008426661,0.937416944,0.64800116,0.000804264,2.108642965,0.000126853,0.011634229,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w48-b7.cnf",1,"minisat_BCD",9912,81505,5580,67156,0.776344086,0.213666687,0.16,0.083090119,0.538578342,0.575697084,0,1,1.026035349,0.000663568,0.807429982,0.000358423,0.010215054,0.914532784,0,0.210286497,0.875275478,0.02,0.000663568,2.547875851,0.000134016,0.013639883,1.226977966,0.617296102,0.167596259,0.001092896,0.893719807,1.189952515,0.000313359,3.196656173,1.4891e-05,0.008309012,0.849578505,0.652942403,0.000654193,2.212195388,0.000119126,0.011614748,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w48-b8.cnf",1,"COMiniSatPS_Subdwarf",11520,94764,7004,79420,0.644774415,0.193200705,0.2,0.088189373,0.544183813,0.569617575,0,1,0.99655979,0.000526537,0.860181971,0.000285551,0.008138207,0.879914123,0,0.212087635,0.893553261,0.02,0.000526537,2.640962599,0.000113322,0.012704608,1.019014423,0.621534731,0.157726354,0,0.876777251,1.102858437,0.000250391,3.437828553,1.2591e-05,0.008196928,0.783596934,0.655275749,0.000553272,2.286615164,0.000113322,0.011558801,0.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w48-b9.cnf",1,"or.tools",13176,108264,8471,91820,0.555424389,0.179089523,0.28,0.092256589,0.54820663,0.567265372,0,1,0.849672053,0.000433508,0.908889688,0.0002361,0.00672884,0.847963853,0,0.213602701,0.90798301,0,0.000433508,2.722218572,9.8018e-05,0.011979961,1.265232753,0.622681203,0.150500225,0.003484321,0.860465116,1.185597762,0.000207458,3.65356872,1.0891e-05,0.00810281,0.73412995,0.656991941,0.000482657,2.341988759,0.000108909,0.011500762,0.1,-1,0,-1,0,-512,-1,0,-1,0,0,20.12
"manthey_single-ordered-initialized-w50-b6.cnf",1,"or.tools",9000,74139,4549,59973,0.978456804,0.236206293,0.14,0.0758508,0.529201586,0.590381547,0,1,1.037787763,0.000821752,0.760156441,0.000439657,0.011870741,0.957272197,0,0.206359528,0.848881997,0,0.000821752,2.47443375,0.000150068,0.014323112,1.074419669,0.61945188,0.180444104,0.001164144,0.914691943,0.97684026,0.000381944,2.979246699,1.6674e-05,0.008086972,0.908527685,0.647941574,0.000742116,2.152766682,0.000116719,0.011171694,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"manthey_single-ordered-initialized-w50-b7.cnf",1,"or.tools",10675,88199,6038,72989,0.767969526,0.208387565,0.18,0.082724794,0.537702325,0.576030169,0,1,1.023236734,0.000612141,0.784934883,0.000331236,0.009440212,0.910715439,0,0.209113702,0.875159271,0.02,0.000612141,2.608884194,0.000123306,0.013097864,1.262606243,0.617511439,0.165902717,0.00104712,0.932038835,1.217374335,0.000289732,3.264455386,1.3701e-05,0.007973804,0.818565569,0.652838099,0.000601401,2.25936603,0.000109606,0.011152365,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"manthey_single-ordered-initialized-w52-b6.cnf",1,"or.tools",9672,80015,4890,64924,0.97791411,0.232441008,0.14,0.075318834,0.528466705,0.590669497,0,1,1.035619501,0.00076489,0.761147755,0.000408998,0.011451943,0.954743269,0,0.205486415,0.848484382,0,0.00076489,2.524324429,0.000138624,0.013785349,1.048862989,0.621049588,0.178208817,0.001117318,0.917808219,0.945411297,0.000355602,3.035036213,1.5403e-05,0.007778325,0.886668245,0.648127041,0.0006908,2.194729709,0.000107818,0.010751032,0.04,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"manthey_single-ordered-initialized-w54-b9.cnf",1,"ADS.glucose.community.switching",16281,135720,10552,116313,0.54293025,0.166851513,0.36,0.090720728,0.545824423,0.568142224,0,1,0.846744848,0.000348674,0.905677388,0.000189538,0.005780895,0.843890562,0,0.210690121,0.906863377,0.02,0.000348674,2.890209457,7.7377e-05,0.010703877,1.21258764,0.62979176,0.144778841,0,0.921052632,1.125413287,0.000167016,3.865856184,8.597e-06,0.007221893,0.6740593,0.657682288,0.000386625,2.480486979,8.5975e-05,0.010265405,0.16,-1,0,-1,0,-512,-1,0,-1,0,0,20.18
"MD5-28-1.cnf",1,"none",8282,62558,5875,61050,0.409702128,0.024701065,0.1,0.096232596,0.444620803,0.450645225,0,1,1.625096757,0.000712303,0.192869943,0.000340426,0.001021277,1.148148811,0,0.008517609,0.224422604,0,0.000712303,0.678841683,0.00013104,0.001769042,3.246776129,0.021273895,0.055806104,0,0.416666667,0.843485191,0.000279118,0.683081093,3.276e-05,0.000884521,3.001869161,0.397837838,0.000161921,0.415944914,6.552e-05,0.00031122,0.06,0.001608776,0.391890952,0.00011466,0.002850123,4.857880155,0.337796559,0.239740831,0.13559322,0.601845523,3.458709906,15.88
"MD5-29-2.cnf",1,"none",8590,65305,6098,63796,0.408658577,0.023653521,0.1,0.09558593,0.445110456,0.449892344,0,1,1.624426082,0.000686886,0.192374068,0.000327976,0.000983929,1.146714715,0,0.008401781,0.222318014,0.02,0.000686886,0.67931423,0.0001254,0.001692896,3.247420211,0.021437315,0.056118435,0,0.416666667,0.8457764,0.000269405,0.683260265,3.135e-05,0.000846448,3.00330743,0.398269484,0.000155696,0.41485003,6.27e-05,0.000297824,0.06,0.00155633,0.390970848,0.000109725,0.002727444,4.853367818,0.335881919,0.235842551,0.13559322,0.601845523,3.441036842,19.08
"MD5-29-4.cnf",1,"none",8590,65312,6095,63802,0.409351928,0.02366697,0.1,0.095529921,0.445016353,0.450248629,0,1,1.624853985,0.000687273,0.192250792,0.000328138,0.000984413,1.146192417,0,0.008275603,0.222109025,0.02,0.000687273,0.678710133,0.000125388,0.001692737,3.246987945,0.02136531,0.056072543,0,0.416666667,0.844114349,0.000269342,0.683629275,3.1347e-05,0.000846368,3.005998635,0.397855867,0.000155773,0.414527852,6.2694e-05,0.000297796,0.04,0.001556536,0.390652567,0.000109714,0.002727187,4.85337761,0.335778035,0.23575934,0.13559322,0.601845523,3.440215317,16.96
"MD5-29-5.cnf",1,"none",8591,65322,6095,63812,0.409515997,0.023663261,0.12,0.09551495,0.445150337,0.449718266,0,1,1.624181506,0.000687273,0.192211491,0.000328138,0.000984413,1.145982507,0,0.008211622,0.22210556,0,0.000687273,0.678581515,0.000125368,0.001692472,3.243214076,0.021348431,0.056074093,0,0.416666667,0.842247502,0.000269408,0.683317155,3.1342e-05,0.000846236,3.009146367,0.397950229,0.000155774,0.414557998,6.2684e-05,0.00029775,0.04,0.001556423,0.390511277,0.000109697,0.00272676,4.853834543,0.335714871,0.235829753,0.13559322,0.601845523,3.440562807,17
"MD5-30-1.cnf",1,"none",8906,68106,6534,67746,0.363024181,0.005313967,0.12,0.096448499,0.444989618,0.449759645,0,1,1.623510529,0.000639375,0.193556082,0.000306091,0.000918274,1.151643547,0,0.009225637,0.22653736,0,0.000639375,0.692969572,0.000118088,0.00159419,3.226703407,0.021623093,0.055781438,0,0.416666667,0.880501715,0.000251592,0.69407447,2.9522e-05,0.000797095,2.977396672,0.399802202,0.000145911,0.422557,5.9044e-05,0.00029522,0.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"MD5-30-5.cnf",1,"none",8905,68103,6533,67744,0.363079749,0.005299362,0.12,0.096436585,0.444786254,0.450270192,0,1,1.624109979,0.000639492,0.193529394,0.000306138,0.000918414,1.151585568,0,0.009225909,0.226425957,0,0.000639492,0.692838589,0.000118092,0.001594237,3.225334025,0.021602996,0.055756724,0,0.416666667,0.880506625,0.000251611,0.693827601,2.9523e-05,0.000797119,2.972274881,0.399799244,0.000145929,0.422564478,5.9046e-05,0.000295229,0.06,0.001468287,0.400295493,0.00010333,0.002568493,4.851497598,0.332530977,0.233881401,0.130952381,0.601845523,3.417335684,18.1
"minandmaxor128.cnf",1,"minisat_BCD",249327,746444,76979,397738,2.238896322,0.876722868,4.3,0.19354198,0.495854389,0.719227152,0,1,1.476989369,4.4506e-05,0.879236637,2.5981e-05,0.003325582,1.385115099,0,0.282872142,0.778801623,0.04,4.4506e-05,2.505437385,1.76e-05,0.001780066,2.28662329,0.161938033,0.18718878,0,0.976923077,2.293486481,1.7295e-05,1.89642622,2.514e-06,0.000895062,1.975472102,0.536156968,3.9658e-05,2.874620368,1.2571e-05,0.001915834,6.92,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"minxorminand064.cnf",1,"COMiniSatPS_Main_Sequence",40042,119357,4857,48581,7.244183652,1.456865853,0.74,0.099977357,0.637798728,0.535157663,0,1,1.995718527,0.000885188,0.889428502,0.000411777,0.026559605,1.810060585,0,0.392190362,0.522817562,0,0.000885188,1.492691126,0.000144089,0.007122126,3.308075063,0.198105362,0.263437513,0,0.925925926,2.672844404,0.000202367,1.446252786,2.0584e-05,0.002655359,2.647578002,0.456742348,0.000930903,1.056336153,0.000102921,0.005310718,0.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"mrpp_4x4#10_20.cnf",1,"or.tools",4528,28326,2135,21720,1.120843091,0.304143646,0.08,0.098296501,0.399306323,0.7340104,0,1,1.812906562,0.001837976,0.231265512,0.000936768,0.002810304,1.289761246,0,0.032458564,0.362661142,0,0.001837976,0.590183207,0.000322284,0.004051565,3.234626565,0.270829687,0.157484971,0,0.724137931,3.283652009,0.000481582,0.442662581,9.2081e-05,0.001012891,2.557486798,0.327486188,0.001695197,0.286442814,0.000230203,0.002624309,0.02,0.003291893,0.381783872,0.000138122,0.007458564,4.423454395,0.367106299,0.290317984,0.07816092,0.888888889,3.576562727,3.14
"mrpp_4x4#10_9.cnf",1,"Glucose_nbSat",1976,12310,859,8333,1.300349243,0.47725909,0.02,0.103084123,0.40600424,0.74011811,0,1,1.800836821,0.004469096,0.243872672,0.002328289,0.006984866,1.323489303,0,0.05424217,0.400216009,0,0.004469096,0.62718422,0.000840034,0.010560422,3.549645307,0.269432015,0.159031836,0,0.724137931,3.627424372,0.001214298,0.454970041,0.00024001,0.002640106,2.659109083,0.340093604,0.004091339,0.346468524,0.000600024,0.006840274,0,0.008116806,0.429426471,0.000360014,0.019440778,4.557499593,0.363622642,0.302910199,0.07816092,0.888888889,3.667440242,1.12
"mrpp_4x4#12_12.cnf",1,"glueminisat.Actmini",2672,16408,1197,11737,1.232247285,0.397972225,0.04,0.101985175,0.411294766,0.743889005,0,1,1.822695346,0.003252572,0.238199939,0.001670844,0.005012531,1.317697098,0,0.047030757,0.370452415,0,0.003252572,0.623308978,0.000596405,0.007497657,3.524239449,0.272509024,0.155289928,0,0.724137931,3.489881242,0.00084681,0.486953368,0.000170401,0.001874414,2.607450066,0.327170486,0.002991489,0.330410413,0.000426003,0.004856437,0,0.005945142,0.404696998,0.000255602,0.013802505,4.501647297,0.369863746,0.290393921,0.076576577,0.888888889,3.623906067,1.5
"mrpp_4x4#4_24.cnf",1,"Glucose_nbSat",5048,27895,2217,21443,1.276950834,0.300890734,0.06,0.103390384,0.427273858,0.742176919,0,1,1.824229917,0.001748833,0.239700493,0.00090212,0.00270636,1.33097947,0,0.060346034,0.356853052,0,0.001748833,0.498179578,0.000373082,0.003357739,3.233855527,0.26309598,0.156333639,0,0.661971831,3.35532293,0.00045594,0.429693837,9.3271e-05,0.001025976,2.564444653,0.332043091,0.001550765,0.251509209,0.000373082,0.002191857,0.02,0.002931786,0.359341178,0.000233176,0.00610922,4.280526336,0.373734559,0.248470863,0.111111111,0.888888889,3.481163946,2.22
"mrpp_4x4#4_4.cnf",1,"Glucose_nbSatRsltn",748,3859,215,1629,2.479069767,1.368937999,0,0.131982812,0.478704435,0.741909674,0,1,1.673745404,0.016517481,0.240165622,0.009302326,0.03255814,1.250579203,0,0.09699202,0.48004911,0,0.016517481,0.506180128,0.004297115,0.040515654,3.638139287,0.259555937,0.186222312,0,0.764705882,3.760426892,0.00517938,0.473463086,0.001227747,0.012277471,2.704609042,0.38305709,0.013899239,0.368577832,0.004910988,0.027010436,0,0.026218317,0.442438863,0.003069368,0.074892572,4.277060821,0.39263932,0.24033055,0.122807018,0.733333333,3.622938736,0.08
"mrpp_4x4#4_5.cnf",1,"Glucose_nbSat",963,5077,315,2620,2.057142857,0.93778626,0,0.120229008,0.459351145,0.750041635,0,1,1.737304214,0.011595783,0.242163319,0.006349206,0.019047619,1.289584185,0,0.085114504,0.440076336,0,0.011595783,0.520597075,0.003053435,0.026717557,3.77391908,0.270408923,0.177903523,0,0.657142857,3.860650808,0.003408458,0.457699136,0.000763359,0.008396947,2.717982071,0.366030534,0.009918817,0.351489473,0.003053435,0.017557252,0,0.018918478,0.434833266,0.001908397,0.049236641,4.412895807,0.386631728,0.245071596,0.111111111,0.892857143,3.616211129,0.16
"mrpp_4x4#6_16.cnf",1,"glueminisat.Actmini",3328,17876,1446,13684,1.301521438,0.306343175,0.04,0.105670856,0.419058755,0.744477464,0,1,1.818220715,0.00269186,0.229286848,0.001383126,0.004149378,1.28516509,0,0.036612102,0.361809412,0,0.00269186,0.51179887,0.000803859,0.005261619,3.158625111,0.255772951,0.15471058,0,0.661971831,3.35317185,0.000697072,0.452768914,0.000146156,0.001461561,2.558140937,0.323151125,0.002408745,0.26356975,0.00073078,0.003434668,0,0.004586967,0.356000403,0.000438468,0.009573224,4.280523894,0.373277577,0.25509101,0.10591133,0.888888889,3.512531946,1.4
"mrpp_4x4#6_20.cnf",1,"COMiniSatPS_Subdwarf",4188,22548,1846,17576,1.268689057,0.282885753,0.06,0.105029586,0.417796996,0.743734822,0,1,1.821028251,0.002116547,0.227661011,0.001083424,0.003250271,1.2810622,0,0.03373919,0.355655439,0,0.002116547,0.507980843,0.000625853,0.004096495,3.061081228,0.256039133,0.154075962,0,0.661971831,3.245325401,0.000545195,0.451314525,0.000113792,0.001137915,2.540163596,0.321461083,0.001897532,0.25469747,0.000568958,0.002674101,0.02,0.003606543,0.348593502,0.000341375,0.007453345,4.247104917,0.373599475,0.25334064,0.10591133,0.888888889,3.492617821,2.02
"mrpp_4x4#6_5.cnf",1,"COMiniSatPS_Subdwarf",963,5002,341,2903,1.824046921,0.723045126,0,0.117464692,0.441887702,0.752721227,0,1,1.744931362,0.010722046,0.245499579,0.005865103,0.017595308,1.299820994,0,0.080950741,0.455390975,0,0.010722046,0.554870762,0.003789184,0.024801929,3.636262784,0.257827393,0.165020618,0,0.661971831,3.853486103,0.003065895,0.467534972,0.000688942,0.006889425,2.640371656,0.353427489,0.009319917,0.349656299,0.003444712,0.016190148,0,0.018001025,0.452467333,0.001722356,0.045125732,4.441347038,0.372316161,0.273941592,0.08172043,0.888888889,3.69350082,0.24
"mrpp_4x4#8_8.cnf",1,"COMiniSatPS_Subdwarf",1744,11025,736,7138,1.369565217,0.544550294,0.02,0.103110115,0.418656019,0.759913785,0,1,1.810628234,0.005145836,0.256859876,0.002717391,0.008152174,1.36982964,0,0.088119922,0.403474363,0,0.005145836,0.628799075,0.000980667,0.012328383,3.668905803,0.289096901,0.162759712,0,0.724137931,3.735971343,0.001383821,0.475975779,0.000280191,0.003082096,2.671708141,0.345054637,0.004691288,0.344574426,0.000700476,0.00798543,0,0.009202049,0.4463533,0.000560381,0.022695433,4.610604296,0.373140983,0.295733131,0.082352941,0.888888889,3.695669811,0.9
"mrpp_6x6#10_10.cnf",1,"ADS.glucose.adapt",4931,32639,2144,22792,1.299906716,0.432037557,0.08,0.094068094,0.399552475,0.766262522,0,1,1.820355975,0.001818215,0.239511974,0.000932836,0.002798507,1.333202117,0,0.054580555,0.356221481,0,0.001818215,0.566540801,0.000351,0.003948754,3.776420356,0.262738809,0.158526651,0,0.741176471,3.752499291,0.000452707,0.460399304,8.775e-05,0.000965251,2.671355345,0.314408564,0.001642981,0.276555095,0.000219375,0.002544753,0.02,0.003172559,0.386355384,0.0001755,0.007327132,4.582965953,0.373012591,0.27393727,0.048625793,0.679955703,3.56837648,3.08
"mrpp_6x6#10_8.cnf",1,"ADS.glucose.adapt",3893,25742,1630,17009,1.388343558,0.513434064,0.06,0.095831619,0.40077018,0.777049474,0,1,1.814906543,0.002366376,0.244339938,0.001226994,0.003680982,1.344416846,0,0.065671115,0.36927509,0,0.002366376,0.575553819,0.000470339,0.005291316,3.831920291,0.263605463,0.158365807,0,0.741176471,3.77106483,0.000596977,0.467220415,0.000117585,0.001352225,2.697155178,0.319595508,0.00213622,0.292083632,0.000293962,0.003409959,0,0.004124988,0.402835835,0.00023517,0.009818331,4.618692303,0.373112868,0.278564113,0.048625793,0.679955703,3.605023426,2.16
"mrpp_6x6#12_16.cnf",1,"COMiniSatPS_Subdwarf",8045,52216,3642,38813,1.208951126,0.345322444,0.16,0.09383454,0.402694115,0.755357675,0,1,1.831234714,0.001089625,0.228883176,0.000549149,0.001647446,1.303298519,0,0.035245923,0.329374179,0,0.001089625,0.567252439,0.000231881,0.002318811,3.727110689,0.268501324,0.155739394,0,0.741176471,3.676349722,0.000262591,0.486458153,5.1529e-05,0.00056682,2.612658684,0.301986448,0.000993414,0.260190675,0.000180352,0.001494345,0.02,0.001924782,0.361127712,0.000128823,0.004302682,4.540171129,0.380014445,0.258776686,0.062388592,0.733333333,3.520755149,5.5
"mrpp_6x6#12_8.cnf",1,"Glucose_nbSatRsltn",3893,25537,1551,15788,1.509993553,0.617494299,0.06,0.098239169,0.409899924,0.769475573,0,1,1.813705208,0.002479378,0.243597478,0.001289491,0.003868472,1.341007086,0,0.065176083,0.371864707,0,0.002479378,0.574958442,0.000380035,0.005700532,4.015108404,0.264924099,0.161992137,0,0.741176471,3.913857423,0.000636455,0.467914173,0.000126678,0.001456803,2.719642276,0.32379022,0.002221733,0.313946366,0.000316696,0.003673676,0,0.004316737,0.411833584,0.000253357,0.010577654,4.676561794,0.375349354,0.268909963,0.062388592,0.733333333,3.615056073,1.94
"mrpp_6x6#14_24.cnf",1,"Nigma.1.2.86",12197,77598,5746,61542,1.122694048,0.260894999,0.22,0.093367131,0.396532449,0.746744397,0,1,1.830332078,0.000699527,0.219666324,0.000348068,0.001044205,1.270861866,0,0.020815053,0.308586006,0.02,0.000699527,0.566990772,0.000113743,0.001462416,3.457067717,0.258447903,0.154101169,0,0.741176471,3.438966437,0.000160669,0.535696342,3.2498e-05,0.000373729,2.519126427,0.282684996,0.000643668,0.24172308,8.1245e-05,0.000942446,0.04,0.001249954,0.335949482,6.4996e-05,0.002713594,4.445977291,0.382137965,0.252576554,0.078991597,0.668016194,3.475637348,9.06
"mrpp_6x6#16_12.cnf",1,"BreakIDGlucose2",6401,50677,2959,32961,1.163230821,0.537483693,0.12,0.089772762,0.403139063,0.756501116,0,1,1.831187848,0.001324094,0.248063482,0.000675904,0.002027712,1.368158066,0,0.070537908,0.346470071,0.02,0.001324094,0.651155405,0.000242711,0.003215922,3.833816566,0.281408928,0.160819624,0,0.782178218,3.761381756,0.000321896,0.516086649,9.1017e-05,0.000758472,2.675521734,0.312065775,0.001231949,0.317423124,0.000151694,0.002063044,0,0.002436002,0.41324058,0.000121356,0.006037438,4.722522398,0.379154019,0.288139167,0.06031746,0.888888889,3.624458557,5.4
"mrpp_6x6#16_24.cnf",1,"riss_505_1",13061,101632,6451,72980,1.024647341,0.392600713,0.38,0.088394081,0.401928382,0.749056418,0,1,1.837707259,0.000616276,0.242528545,0.000310029,0.000930088,1.358900292,0,0.061893669,0.322307482,0,0.000616276,0.649982365,0.000109619,0.001452453,3.595344711,0.28654255,0.155484797,0,0.782178218,3.52117763,0.000144235,0.545316646,4.1107e-05,0.00034256,2.645610557,0.301082488,0.00057457,0.292439513,6.8512e-05,0.000931762,0.06,0.001141717,0.385717739,5.481e-05,0.002726774,4.611777663,0.387148735,0.272667194,0.06031746,0.888888889,3.560607172,14.4
"mrpp_6x6#16_9.cnf",1,"Nigma.1.2.86",4736,37748,2085,22775,1.27146283,0.657431394,0.1,0.09154775,0.404014636,0.76572145,0,1,1.825707872,0.001856152,0.253880787,0.000959233,0.002877698,1.378902917,0,0.081273326,0.365883644,0,0.001856152,0.660879117,0.000351262,0.004654226,3.94787765,0.282134782,0.16277675,0,0.782178218,3.815959457,0.000464896,0.503699295,0.000131723,0.001097695,2.685511174,0.322107574,0.001718027,0.340321789,0.000219539,0.00298573,0.02,0.003412951,0.434682676,0.000175631,0.008737651,4.780090524,0.37720715,0.29468256,0.06031746,0.888888889,3.667839128,3.56
"mrpp_6x6#18_12.cnf",1,"or.tools",6401,50273,3012,34288,1.125166003,0.466198087,0.2,0.087844144,0.387385285,0.741535708,0,1,1.810600814,0.001307523,0.23528584,0.000664011,0.001992032,1.313787633,0,0.038672422,0.35610126,0,0.001307523,0.62449422,0.000204153,0.003091461,3.854874095,0.262010165,0.16385214,0,0.782178218,3.802453724,0.00033064,0.449139107,5.8329e-05,0.000729118,2.645571837,0.316524732,0.00119341,0.317184346,0.000145824,0.001983201,0.02,0.002381484,0.403382392,0.000116659,0.00580378,4.719860937,0.363408208,0.30493858,0.045068027,0.733333333,3.616955082,6.54
"mrpp_6x6#18_9.cnf",1,"Glucose_nbSat",4736,37504,2131,23816,1.222430784,0.574739671,0.1,0.089477662,0.39172965,0.749178212,0,1,1.807004593,0.001823814,0.242912906,0.000938527,0.00281558,1.335575528,0,0.05290561,0.375797783,0,0.001823814,0.636625132,0.00029392,0.004450789,3.978845967,0.262752936,0.16310607,0,0.782178218,3.830032827,0.000470741,0.450995135,8.3977e-05,0.001049714,2.688769556,0.324277796,0.001657199,0.341071415,0.000209943,0.002855223,0.02,0.003323871,0.426780259,0.000167954,0.008355727,4.778254216,0.360368573,0.311859362,0.045068027,0.733333333,3.66354816,4.4
"mrpp_6x6#20_10.cnf",1,"Glucose_nbSat",5291,41550,2426,27348,1.180956307,0.519306713,0.1,0.088708498,0.395215982,0.748202424,0,1,1.817723589,0.001618253,0.235410029,0.000824402,0.002473207,1.315535385,0,0.041465555,0.356186924,0,0.001618253,0.625945936,0.00025596,0.003875969,3.910739569,0.258982377,0.158851939,0,0.782178218,3.735453788,0.000405268,0.466896414,0.000109697,0.000914144,2.695833186,0.313112476,0.001462178,0.335271667,0.000182829,0.002486471,0.02,0.002953635,0.411323943,0.000109697,0.007276583,4.744772,0.360219609,0.305551713,0.06006006,0.888888889,3.628838121,4.48
"mrpp_8x8#12_9.cnf",1,"Glucose_nbSatRsltn",7451,50916,2917,30296,1.554336647,0.680617903,0.12,0.096283338,0.406180134,0.781566816,0,1,1.818899581,0.001312227,0.255596911,0.000685636,0.002056908,1.382617513,0,0.0810338,0.384308159,0.02,0.001312227,0.535551728,0.000231054,0.003003697,4.014242941,0.260818666,0.174363531,0,0.75,3.958061707,0.000353036,0.460262431,6.6015e-05,0.000858199,2.778252249,0.34413784,0.001195472,0.305244086,0.000198046,0.001947452,0,0.002215971,0.410856125,0.000165038,0.005512279,4.680569273,0.365030336,0.290949419,0.046253469,0.733333333,3.641668022,3.6
"mrpp_8x8#16_12.cnf",1,"Nigma.1.2.86",10790,88870,4845,55247,1.227038184,0.608594132,0.32,0.08769707,0.399512492,0.766899961,0,1,1.832240349,0.00080304,0.260510852,0.000412797,0.00123839,1.409140512,0,0.083135736,0.368671602,0,0.00080304,0.630652996,0.000144804,0.001936757,3.938318219,0.284488677,0.172535237,0,0.782178218,3.847444609,0.00020617,0.499020143,3.6201e-05,0.000506815,2.737371133,0.334153891,0.000756277,0.32288689,0.000126704,0.001248937,0.06,0.001441559,0.431610277,7.2402e-05,0.003602006,4.806608273,0.37070609,0.31050609,0.055476529,0.888888889,3.669214465,10.18
"mrpp_8x8#18_12.cnf",1,"Glucose_nbSatRsltn",10790,88451,5053,59727,1.13536513,0.480921526,0.32,0.084601604,0.387974729,0.740679899,0,1,1.811240012,0.000775065,0.248214379,0.000395804,0.001187413,1.360599844,0,0.051400539,0.376245249,0.02,0.000775065,0.602538261,0.000100457,0.001791485,3.948121535,0.259752731,0.176752629,0,0.782178218,3.883020746,0.000200404,0.454598303,3.3486e-05,0.000602742,2.734847299,0.328829508,0.000715777,0.312863363,8.3714e-05,0.001155256,0.04,0.001379126,0.414672306,5.0229e-05,0.003331826,4.79292154,0.353412549,0.332541177,0.044326241,0.733333333,3.650965999,11.72
"mrpp_8x8#18_13.cnf",1,"ADS.glucose.community.switching",11726,95876,5543,65687,1.115460942,0.459588655,0.28,0.084385038,0.387730195,0.738215382,0,1,1.811582188,0.000708434,0.246694611,0.000360815,0.001082446,1.356108357,0,0.048198274,0.372889613,0.02,0.000708434,0.600778829,9.1342e-05,0.001628937,3.928716269,0.26038534,0.176870135,0,0.782178218,3.878419355,0.000182819,0.451972874,3.0447e-05,0.000548054,2.720803257,0.327873095,0.000654782,0.309090314,7.6119e-05,0.001050436,0.04,0.001260914,0.410614962,4.5671e-05,0.003029519,4.783517376,0.354190819,0.330577466,0.044326241,0.733333333,3.643420867,11.44
"mrpp_8x8#18_20.cnf",1,"Nigma.1.2.86",18278,146601,8967,106301,1.038362886,0.379112144,0.5,0.084354804,0.385411238,0.731848375,0,1,1.814590763,0.000443175,0.240371607,0.00022304,0.00066912,1.338209996,0,0.036170873,0.355913867,0,0.000443175,0.604078468,5.6443e-05,0.001006576,3.850084055,0.265702144,0.17672588,0,0.782178218,3.846423298,0.000112902,0.456874568,1.8814e-05,0.000338661,2.678258942,0.322809757,0.000413911,0.293501916,4.7036e-05,0.0006491,0.1,0.000796118,0.392954855,2.8222e-05,0.001872043,4.739191141,0.361314691,0.319268555,0.044326241,0.733333333,3.61820582,19.18
"mrpp_8x8#20_16.cnf",1,"Nigma.1.2.86",14534,116684,7024,82943,1.069191344,0.406797439,0.48,0.084684663,0.389229953,0.744470815,0,1,1.825272161,0.000565906,0.238435428,0.000284738,0.000854214,1.335993148,0,0.036265869,0.348866089,0,0.000565906,0.599801674,7.2339e-05,0.001290043,3.850458332,0.262193282,0.17250899,0,0.782178218,3.80177542,0.000140958,0.482481994,3.6169e-05,0.000434033,2.721053937,0.315421434,0.000524947,0.301978941,6.0282e-05,0.000831897,0.08,0.001015963,0.395369739,3.6169e-05,0.002399238,4.745440112,0.358989492,0.318808809,0.048309179,0.733333333,3.617011624,16.6
"mrpp_8x8#20_20.cnf",1,"Nigma.1.2.86",18278,145067,8981,105805,1.035185391,0.371078872,0.54,0.084882567,0.388138872,0.744146813,0,1,1.827959521,0.000445029,0.235835505,0.000222692,0.000668077,1.32924224,0,0.031964463,0.340267473,0,0.000445029,0.604409183,5.6708e-05,0.001011294,3.822406632,0.265059487,0.171882223,0,0.782178218,3.776087426,0.000109439,0.496872149,2.8354e-05,0.000340249,2.722115203,0.311232929,0.000415998,0.294280639,4.7257e-05,0.000652143,0.12,0.000804153,0.386782807,2.8354e-05,0.001880818,4.725354732,0.363189346,0.313799623,0.048309179,0.733333333,3.608569746,19.06
"mrpp_8x8#22_10.cnf",1,"glucose.default",8918,72538,4096,48344,1.177246094,0.500455072,0.26,0.084726129,0.385174306,0.737076371,0,1,1.80556659,0.000956236,0.242974587,0.000488281,0.001464844,1.343066896,0,0.04465911,0.371090518,0,0.000956236,0.590056892,0.000124111,0.002213305,3.912765968,0.249872319,0.172757081,0,0.782178218,3.836643123,0.000249433,0.442617825,4.137e-05,0.000744663,2.773766671,0.324114678,0.00086734,0.328003663,0.000103425,0.001427271,0.04,0.001691908,0.417220396,6.2055e-05,0.004116333,4.785475879,0.348875753,0.324928969,0.056691993,0.67160037,3.632602308,9.24
"mrpp_8x8#22_11.cnf",1,"ADS.glucose.community.switching",9854,79956,4583,54297,1.150120009,0.472567545,0.28,0.084406137,0.384998557,0.736491803,0,1,1.807788403,0.000857625,0.241484393,0.000436395,0.001309186,1.340177435,0,0.042120191,0.365231965,0,0.000857625,0.588023417,0.000110503,0.001970643,3.902937408,0.251549615,0.173157969,0,0.782178218,3.83661814,0.000222618,0.441760067,3.6834e-05,0.00066302,2.763229897,0.322946019,0.000779374,0.322147227,9.2086e-05,0.001270788,0.04,0.001518155,0.411641637,5.5252e-05,0.003665028,4.780045895,0.349974503,0.323309939,0.056691993,0.67160037,3.624910045,10.5
"mrpp_8x8#22_20.cnf",1,"Nigma.1.2.86",18278,143734,8983,106536,1.034732272,0.34915897,0.5,0.084318916,0.382978524,0.730431131,0,1,1.814666587,0.000445169,0.233637474,0.000222643,0.000667928,1.320245802,0,0.028563115,0.338477134,0,0.000445169,0.594646341,5.6319e-05,0.001004355,3.796565664,0.261197327,0.173052957,0,0.782178218,3.765023014,0.000112689,0.455252529,1.8773e-05,0.000337914,2.682679415,0.315724262,0.000412768,0.295732276,4.6932e-05,0.000647668,0.1,0.000799414,0.385122876,2.8159e-05,0.001867913,4.72522278,0.360243346,0.313121287,0.056691993,0.67160037,3.603545756,19.08
"mrpp_8x8#22_24.cnf",1,"Nigma.1.2.87",22022,171614,10939,129284,1.013163909,0.327418706,0.6,0.084612172,0.382623011,0.729427037,0,1,1.815997139,0.000366748,0.232505335,0.000182832,0.000548496,1.3175913,0,0.026654497,0.333722657,0.02,0.000366748,0.600776,4.6409e-05,0.000827635,3.759637229,0.264259987,0.172484904,0,0.782178218,3.699672231,9.2228e-05,0.464389487,1.547e-05,0.000278457,2.671801532,0.313959964,0.000342539,0.290410963,3.8675e-05,0.000533709,0.16,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"mrpp_8x8#24_11.cnf",1,"ADS.glucose.community.switching",9854,79645,4487,51742,1.196122131,0.539271771,0.28,0.08671872,0.400067643,0.75218885,0,1,1.826485814,0.000869196,0.253853598,0.000445732,0.001337196,1.38352515,0,0.065285455,0.375787561,0,0.000869196,0.620102787,0.00011596,0.002067953,4.011431828,0.274187565,0.172692771,0,0.782178218,3.889903096,0.000225351,0.467677501,3.8653e-05,0.000599126,2.730958821,0.332573151,0.000807352,0.329658611,9.6633e-05,0.001333539,0.04,0.001558159,0.428176907,5.798e-05,0.003846005,4.819801291,0.360953604,0.321489319,0.039057239,0.733333333,3.6672559,9.62
"mrpp_8x8#24_14.cnf",1,"Lingeling_sr15bal",12662,101072,5968,69687,1.121648794,0.450370944,0.38,0.085640076,0.39957333,0.74251978,0,1,1.829397094,0.000661001,0.245354222,0.000335121,0.001005362,1.358449834,0,0.048158193,0.361157748,0,0.000661001,0.609626942,8.6099e-05,0.001535437,3.933902824,0.27253198,0.172514992,0,0.782178218,3.857732652,0.0001687,0.465250374,2.87e-05,0.000444846,2.698562388,0.324809505,0.00061401,0.314602951,7.1749e-05,0.000990142,0.06,0.001186132,0.410237254,4.305e-05,0.002855626,4.785679171,0.361219251,0.317934708,0.036236119,0.733333333,3.642629901,13.46
"mrpp_8x8#24_16.cnf",1,"Nigma.1.2.87",14534,115034,6946,81265,1.092427296,0.415541746,0.4,0.085473451,0.39909268,0.740578462,0,1,1.831588391,0.000570735,0.242175442,0.000287936,0.000863807,1.349486588,0,0.042515228,0.353583954,0,0.000570735,0.608446492,7.3833e-05,0.00131668,3.905041067,0.273341719,0.172154758,0,0.782178218,3.83815895,0.000144432,0.470337308,2.4611e-05,0.000381468,2.693676753,0.321343752,0.000531394,0.308285163,6.1527e-05,0.000849074,0.08,0.001026619,0.402650006,3.6916e-05,0.002448779,4.769545205,0.362971888,0.314945884,0.036236119,0.733333333,3.635985124,14.26
"mrpp_8x8#24_20.cnf",1,"Nigma.1.2.87",18278,142603,8902,103966,1.053246461,0.37163111,0.5,0.085624146,0.398185945,0.739505982,0,1,1.834524007,0.000448108,0.23888691,0.000224669,0.000674006,1.340660461,0,0.036838967,0.344064406,0,0.000448108,0.613130457,5.7711e-05,0.001029183,3.867495793,0.276309032,0.171006499,0,0.782178218,3.776274303,0.000111752,0.486956496,1.9237e-05,0.000298174,2.703436915,0.316305331,0.000419933,0.300012414,4.8093e-05,0.000663679,0.1,0.000811747,0.392991603,2.8856e-05,0.001914087,4.746921775,0.367339833,0.309791901,0.036236119,0.733333333,3.630505311,18.58
"mrpp_8x8#24_24.cnf",1,"Lingeling_sr15bal",22022,170032,10858,126493,1.028181986,0.344200865,0.72,0.085838742,0.397635442,0.738950513,0,1,1.83602351,0.000368769,0.237017923,0.000184196,0.000552588,1.335204942,0,0.033472208,0.338753923,0,0.000368769,0.618336694,4.7433e-05,0.000845897,3.823428545,0.279343689,0.169890018,0,0.782178218,3.698351804,9.1074e-05,0.500002292,1.5811e-05,0.000245073,2.705833009,0.313108235,0.000347171,0.295490224,3.9528e-05,0.000545485,0.2,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"mrpp_8x8#8_9.cnf",1,"Glucose_nbSatRsltn",7451,51322,2686,26671,1.774013403,0.924262307,0.12,0.100708635,0.422492208,0.780197247,0,1,1.817338329,0.001424503,0.251876202,0.000744602,0.003350707,1.372744887,0,0.081811706,0.368602602,0.02,0.001424503,0.521706967,0.000262457,0.003374452,4.05519459,0.268715501,0.178386487,0,0.75,4.011601279,0.000391816,0.470932985,7.4988e-05,0.000974842,2.836578467,0.351205429,0.001286965,0.32025288,0.000224963,0.002212141,0,0.002381737,0.410745453,0.00018747,0.006186495,4.638998276,0.378011467,0.264392054,0.061561562,0.888888889,3.616905353,2.9
"partial-10-11-s.cnf",1,"COMiniSatPS_Subdwarf",189456,850574,88808,479001,1.133321322,0.775724894,2.64,0.185402536,0.395641435,1.00480564,0,1,1.388259137,3.0667e-05,0.497422365,2.252e-05,0.000112602,1.014366906,0,0.632800349,0.866555602,0.04,3.0667e-05,0.436476603,1.4614e-05,7.7244e-05,2.532350158,0.269081859,0.160618315,0,0.75,2.857813784,1.8283e-05,0.447232497,6.263e-06,5.6367e-05,2.240463197,0.752102814,3.3227e-05,0.453503026,8.351e-06,8.3507e-05,10.22,4.0888e-05,0.554698817,6.263e-06,0.000164927,3.366476419,0.160670803,0.58619738,0.027263875,0.607142857,3.125361172,7.08
"partial-5-15-s.cnf",1,"Glucose_nbSat",218494,1013700,106240,601416,1.056607681,0.685522168,2.62,0.176649773,0.38905542,0.99229673,0,1,1.381937787,2.5796e-05,0.483331949,1.8825e-05,9.4127e-05,1.030166155,0,0.599167631,0.873112787,0.04,2.5796e-05,0.505874364,1.1639e-05,6.1521e-05,2.557093514,0.263890239,0.163167966,0,0.8,2.87975451,1.5217e-05,0.502081089,4.988e-06,3.9906e-05,2.329642529,0.738550354,2.787e-05,0.48962575,6.651e-06,6.651e-05,13,3.7479e-05,0.618580226,4.988e-06,0.000144659,3.499339454,0.150874435,0.640053561,0.024555904,0.607142857,3.133775249,10.08
"partial-5-17-s.cnf",1,"satUZK.seq",252328,1189896,129041,742042,0.955409521,0.603542657,3.1,0.17389986,0.389225786,0.981390816,0,1,1.379251843,2.1392e-05,0.483114278,1.5499e-05,7.7495e-05,1.037820958,0,0.585581409,0.871090855,0.04,2.1392e-05,0.544439676,9.433e-06,5.3905e-05,2.554784355,0.262491408,0.163536158,0,0.818181818,2.821021256,1.2467e-05,0.537246406,4.043e-06,3.3691e-05,2.291811232,0.731383129,2.3271e-05,0.511117148,5.391e-06,5.3905e-05,19.02,3.263e-05,0.65402518,4.043e-06,9.5682e-05,3.508219357,0.146837912,0.66100294,0.030907668,0.607142857,3.161251522,14.44
"post-c32s-ss-8.cnf",1,"minisat_BCD",53752,148393,13761,65966,2.906111474,1.249537641,0.54,0.208607464,0.443997009,0.793485161,0,1,1.321306783,0.00023181,1.676577148,0.000145338,0.007266914,1.061854596,0,0.41607798,0.871100264,0.02,0.00023181,1.064999488,0.000106115,0.003031865,2.191100932,0.190006899,0.124013445,0,0.959183673,1.759993763,0.00010475,1.2377484,1.5159e-05,0.002001031,1.967173153,0.586468787,0.00068023,0.832573201,7.5797e-05,0.008913683,0.22,0.000668698,1.189082788,6.0637e-05,0.007776733,4.133932553,0.127555192,0.661677431,0.004791097,0.7,3.036696895,5.9
"post-cbmc-aes-d-r2-noholes.cnf",1,"Nigma.1.2.87",276895,1607567,4925,255997,55.222335025,5.279632183,11.88,0.019238507,0.309975709,0.729743099,0,1,1.968612967,0.001440847,0.17079151,0.000406091,0.012994924,1.083769193,0,0.01141029,0.035168381,0.02,0.001440847,2.09921116,2.7344e-05,0.016992387,3.903866966,0.094867115,0.13957546,0,0.8,2.633356287,6.7499e-05,1.619625168,0,0.000667977,3.088189722,0.062676516,5.4517e-05,0.922977331,1.5625e-05,0.001175795,0.1,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"post-cbmc-aes-d-r2.cnf",1,"Nigma.1.2.87",279119,1607567,4925,255997,55.673908629,5.279632183,11.9,0.019238507,0.309975709,0.729743099,0,1,1.968612967,0.001440847,0.17079151,0.000406091,0.012994924,1.083769193,0,0.01141029,0.035168381,0.02,0.001440847,2.09921116,2.7344e-05,0.016992387,3.903866966,0.094867115,0.13957546,0,0.8,2.633356287,6.7499e-05,1.619625168,0,0.000667977,3.088189722,0.062676516,5.4517e-05,0.922977331,1.5625e-05,0.001175795,0.12,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"post-cbmc-aes-ee-r2-noholes.cnf",1,"Nigma.1.2.87",266199,1575975,4366,253406,59.97091159,5.219170028,13.6,0.017229268,0.307723503,0.72761966,0,1,1.949358184,0.00163093,0.152035173,0.000458085,0.007787448,1.046121109,0,0.008665935,0.031617247,0.02,0.00163093,1.963203281,3.157e-05,0.017166129,3.898459873,0.062725152,0.083853596,0,0.8,2.466224078,7.3944e-05,1.539343101,3.946e-06,0.000674806,2.995948616,0.058952827,5.0638e-05,0.643731707,1.5785e-05,0.000169688,0.1,-1,0,-1,0,-512,-1,0,-1,0,0,20.06
"q_query_3_L150_coli.sat.cnf",1,"ADS.glucose.adapt",486992,2456708,91522,944203,4.321037565,1.6018854,20.2,0.096930427,0.509487681,0.61641302,0,1,1.250812903,3.8784e-05,0.45004804,2.1853e-05,0.0002076,0.999776513,0,0.083134665,0.825552344,0.06,3.8784e-05,2.85490824,1.059e-06,0.001279386,2.170757375,0.384820017,0.140223295,0,1,2.145461792,1.3356e-05,2.766432404,0,0.000959539,2.109662133,0.430121489,2.9366e-05,3.439134048,2.118e-06,0.002526999,10.8,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"q_query_3_L80_coli.sat.cnf",1,"COMiniSatPS_Main_Sequence",250567,1183233,34857,365178,6.188427002,2.240154117,6.62,0.095452081,0.489079655,0.6357194,0,1,1.398844074,0.00010705,0.488435053,5.7377e-05,0.000545084,1.215347412,0,0.115406733,0.769293331,0.02,0.00010705,2.168306537,2.738e-06,0.001774477,2.629026923,0.376639279,0.169525217,0,1,2.57056312,3.7675e-05,1.934870612,0,0.001330858,2.538334105,0.469338241,8.0467e-05,2.62364286,5.477e-06,0.003466802,1.64,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
"UCG-15-10p1.cnf",1,"abcdSAT",200003,1019221,102501,667154,0.951229744,0.527714741,2.74,0.15363919,0.409499037,0.920769164,0,1,1.423081413,2.7111e-05,0.440736044,1.9512e-05,9.756e-05,1.083214714,0,0.549660198,0.863024129,0.04,2.7111e-05,0.711710348,1.0492e-05,0.000101925,3.000460273,0.229293059,0.147811494,0,0.8,2.896474982,1.5281e-05,0.842726504,4.497e-06,6.895e-05,2.669966707,0.705202997,2.9667e-05,0.632541834,7.495e-06,0.000115416,12.28,4.6019e-05,0.585763691,4.497e-06,0.000274299,3.755070498,0.113756141,0.700997337,0.013538947,0.5,2.864917897,18.74
"UCG-20-10p0.cnf",1,"Lingeling_sr15baq",258799,1372149,137482,941958,0.882420971,0.456698706,3.68,0.145953429,0.403076048,0.912588213,0,1,1.42439666,2.0399e-05,0.449127938,1.4547e-05,7.2737e-05,1.101572787,0,0.523907648,0.867641657,0.1,2.0399e-05,0.729943906,7.431e-06,7.4313e-05,3.085182063,0.225883629,0.149509347,0,0.833333333,2.920477642,1.1409e-05,0.840723023,3.185e-06,4.9896e-05,2.745249922,0.697367611,2.2303e-05,0.641779707,5.308e-06,8.3868e-05,22.06,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"UCG-20-10p1.cnf",1,"Lingeling_sr15bal",259258,1388006,137954,956610,0.879307595,0.450963297,4.64,0.14421133,0.401103851,0.908762033,0,1,1.409646245,2.034e-05,0.437430454,1.4498e-05,7.2488e-05,1.092984276,0,0.514994616,0.869415958,0.1,2.034e-05,0.741123363,7.318e-06,7.3175e-05,3.09271213,0.225584476,0.148317084,0,0.84,2.943933302,1.1347e-05,0.845662616,3.136e-06,4.9132e-05,2.739699785,0.693324343,2.2157e-05,0.653288193,5.227e-06,8.1538e-05,24.64,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"UCG-20-5p0.cnf",1,"GlueMiniSat_2.2.10.5",224587,1190673,120843,820631,0.858502354,0.45092374,3.22,0.147256197,0.403271332,0.908299302,0,1,1.406719911,2.3188e-05,0.431787759,1.655e-05,8.2752e-05,1.087668851,0,0.519406408,0.867023059,0.08,2.3188e-05,0.739115597,8.53e-06,8.1644e-05,3.045544179,0.226451381,0.146959094,0,0.833333333,2.926259995,1.2903e-05,0.852276641,3.656e-06,5.6054e-05,2.698059977,0.692746192,2.5378e-05,0.656174807,6.093e-06,8.8956e-05,16.88,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"UCG-20-5p1.cnf",1,"riss_505_2",224986,1204430,121248,834371,0.855585247,0.443518531,3.8,0.145316652,0.400247122,0.911555847,0,1,1.399944193,2.3064e-05,0.430320797,1.6495e-05,8.2476e-05,1.08255163,0,0.517375364,0.869874432,0.1,2.3064e-05,0.747414895,8.39e-06,8.03e-05,2.993225568,0.221257797,0.148078982,0,0.84,2.86110922,1.2941e-05,0.847190864,3.596e-06,5.5131e-05,2.718782307,0.695340562,2.524e-05,0.655778738,5.993e-06,8.9888e-05,18.84,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"UR-15-10p1.cnf",1,"ADS.cryptominisat",199996,1019200,102505,668201,0.951085313,0.525289546,2.74,0.15340444,0.408602884,0.924986634,0,1,1.426284529,2.7105e-05,0.443162875,1.9511e-05,9.7556e-05,1.084489235,0,0.55341282,0.862128312,0.04,2.7105e-05,0.717223838,1.0476e-05,0.000106255,2.959234625,0.227754136,0.14819276,0,0.8,2.851004508,1.5347e-05,0.843229999,4.49e-06,7.0338e-05,2.655826592,0.708716389,2.967e-05,0.640794526,7.483e-06,0.000116731,12.24,4.6334e-05,0.593784073,4.49e-06,0.000278359,3.766433765,0.112794685,0.70346553,0.01330824,0.5,2.851322351,19.48
"UR-20-10p0.cnf",1,"Lingeling_sr15baq",258781,1372095,137484,943589,0.882262663,0.454123564,4.08,0.145703267,0.4062462,0.906292003,0,1,1.419695343,2.0215e-05,0.427852975,1.4547e-05,7.2736e-05,1.095092323,0,0.523273374,0.870966067,0.1,2.0215e-05,0.73420217,7.418e-06,7.1005e-05,3.007391735,0.215155308,0.148312837,0,0.833333333,2.943862754,1.1393e-05,0.847030075,3.179e-06,4.981e-05,2.733384353,0.69643563,2.2324e-05,0.625729064,5.299e-06,8.3723e-05,24.28,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"UTI-20-10p1.cnf",1,"ADS.cryptominisat.autotune",260342,1391257,138674,958485,0.877367062,0.451516716,4.7,0.144680407,0.400265064,0.908158724,0,1,1.415530994,2.0267e-05,0.436261091,1.4422e-05,7.2112e-05,1.101057914,0,0.511968367,0.869293729,0.1,2.0267e-05,0.735487197,7.303e-06,7.3032e-05,3.129466443,0.226686278,0.14854006,0,0.846153846,2.970141118,1.1253e-05,0.843127283,3.13e-06,4.9036e-05,2.764197816,0.690705645,2.2081e-05,0.654738083,5.217e-06,8.3465e-05,24.7,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"UTI-20-5p1.cnf",1,"riss_505_1",225926,1207249,121873,838748,0.853782216,0.439346502,3.16,0.145303476,0.400175539,0.911455794,0,1,1.408242353,2.3014e-05,0.435323641,1.6411e-05,8.2053e-05,1.091512085,0,0.516455479,0.868697153,0.08,2.3014e-05,0.745087552,8.346e-06,8.1073e-05,3.025603802,0.223423758,0.148870986,0,0.846153846,2.884840504,1.2855e-05,0.847815414,3.577e-06,5.4844e-05,2.729757376,0.694246663,2.5095e-05,0.659022991,5.961e-06,8.9419e-05,17.14,-1,0,-1,0,-512,-1,0,-1,0,0,20.04
"velev-vliw-uns-2.0-uq5.cnf",1,"ADS.glucose.adapt",151669,2465731,120317,2391111,0.260578306,0.031207251,9.98,0.05031845,0.762961842,0.530553415,0,1,1.025373066,2.5681e-05,2.068014959,1.6623e-05,0.001130347,0.612882247,0,0.902946789,0.934163659,0.24,2.5681e-05,5.770331044,2.091e-06,0.017327928,4.437996351,0.342981426,0.263624964,0,1,4.231260909,1.561e-05,5.220324441,4.18e-07,0.009183597,4.139163279,0.926614448,4.7095e-05,3.934331313,2.091e-06,0.017232575,19.64,-1,0,-1,0,-512,-1,0,-1,0,0,20.48
"vmpc_29.cnf",1,"ADS.glucose.adapt",841,120147,841,120147,0,0,0.1,0.006999759,0.594738112,0.54788961,0,1,0.675438359,0.003115149,0.289320265,0.002378121,0.034482759,0.673873154,0,0.392710596,0.999517258,0,0.003115149,0.00429971,0.003062915,0.003121177,0.66885298,0.525524728,0.001599313,0.520215633,0.52972973,0,0.003098503,0.004322809,0.003046268,0.00310453,0.66885298,0.999517258,0.001745563,0.074057844,0.001364995,0.001789475,0.02,-1,0,-1,0,-512,-1,0,-1,0,0,20.6
"vmpc_33.cnf",1,"COMiniSatPS_Main_Sequence",1089,177375,1089,177375,0,0,0.12,0.006139535,0.595348837,0.547410452,0,1,0.674662295,0.002403741,0.29148767,0.001836547,0.03030303,0.673407034,0,0.393488372,0.999627907,0.02,0.002403741,0.003661477,0.002350951,0.002407329,0.618656934,0.527081924,0.001341064,0.522458629,0.534772182,0.2895798,0.002392466,0.003678734,0.002339676,0.002396054,0.618656934,0.999627907,0.001343022,0.080569244,0.000715997,0.00139253,0,-1,0,-1,0,-512,-1,0,-1,0,0,21.62