@RELATION FEATURES

@ATTRIBUTE instance_id STRING
@ATTRIBUTE repetition NUMERIC
@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
13pipe_q0_k.cnf,1,176066.000000000,5761591.000000000,100858.000000000,5603534.000000000,0.745682048,0.028206664,13.420000000,0.017998998,0.897948825,0.312084569,0.000000000,1.000000000,0.656807955,0.000032032,3.110022771,0.000019830,0.003975887,0.479769889,0.000000000,0.925305709,0.936539334,0.400000000,0.000032032,3.888349649,0.000001249,0.004109906,5.079426949,0.509768561,0.350061134,0.000000000,0.987500000,3.825304396,0.000018666,2.999946572,0.000000000,0.001113761,4.928799990,0.935851554,0.000052956,2.535993458,0.000001249,0.003298454,14.800000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,21.780000000
ACG-20-10p1.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
complete-400-0.1-3-9876543214003.cnf,1,800.000000000,47369.000000000,800.000000000,47369.000000000,0.000000000,0.000000000,0.200000000,0.016888682,0.638886303,0.726710607,0.000000000,1.000000000,1.481220415,0.017936282,1.283081040,0.002500000,0.076250000,1.638678657,0.000000000,0.681838333,0.681838333,-0.000000000,0.017936282,0.925031558,0.001203319,0.050771602,5.304646584,0.444543932,0.362947794,0.000000000,0.858666667,3.251034246,0.002136023,0.224326660,0.001182208,0.003525512,4.344540963,0.690282674,0.009224862,0.017797829,0.008127678,0.009732103,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.260000000
atco_enc1_opt1_10_15.cnf,1,46759.000000000,261059.000000000,22282.000000000,202936.000000000,1.098510008,0.286410494,0.840000000,0.109798163,0.547749562,0.598413983,0.000000000,1.000000000,1.968093590,0.000176932,0.517409334,0.000089759,0.000987344,1.836488773,0.000000000,0.260027792,0.528871171,0.020000000,0.000176932,2.814027116,0.000009855,0.005144479,3.240879759,0.306218892,0.198859855,0.000000000,1.000000000,3.207026860,0.000103691,3.235982442,0.000004928,0.002897465,2.989338212,0.593285568,0.000118084,1.025682763,0.000009855,0.000675090,0.600000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
jgiraldezlevy.2200.9086.08.40.188.cnf,1,2200.000000000,9086.000000000,2139.000000000,9010.000000000,0.028517999,0.008435072,0.000000000,0.237402886,0.495009249,0.587570145,0.000000000,1.000000000,0.719047383,0.001420841,0.065694854,0.001402525,0.002337541,0.166774520,0.000000000,0.000000000,0.961931188,0.000000000,0.001420841,0.289776670,0.000554939,0.003440622,2.692650354,0.229856589,0.171857892,0.000000000,1.000000000,3.321773958,0.000697319,0.403775936,0.000000000,0.001997780,2.323952121,0.493451720,0.002461345,0.259736084,0.000776915,0.006215316,0.000000000,0.002123328,0.247070406,0.000554939,0.004661487,2.946326474,0.141375723,0.273210251,0.056478405,0.392857143,2.685304605,0.120000000
50bit.dimacs.cnf,1,1652.000000000,33258.000000000,1212.000000000,33258.000000000,0.363036304,0.000000000,0.060000000,0.036442360,0.340111385,0.665505977,0.000000000,1.000000000,2.596431127,0.005869627,0.289620860,0.001650165,0.026402640,2.086788200,0.000000000,0.005833183,0.045162066,0.000000000,0.005869627,1.043461226,0.000270612,0.029707138,5.275058921,0.082705494,0.100903041,0.000000000,0.785714286,2.986444923,0.000455733,0.570555406,0.000030068,0.001503398,3.310147696,0.103223285,0.001132609,0.418194831,0.000120272,0.003307475,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorterHalf_31_2.cnf,1,5408.000000000,18446.000000000,3325.000000000,16597.000000000,0.626466165,0.111405676,0.040000000,0.200337410,0.291718513,1.183871400,0.000000000,1.000000000,1.371360891,0.000806704,0.475561926,0.000601504,0.010526316,1.084648601,0.000000000,0.590046394,0.864071820,-0.000000000,0.000806704,0.577754413,0.000482015,0.005904682,2.278585805,0.204181731,0.166051092,0.000000000,0.767441860,2.846451679,0.000515665,0.729388189,0.000060252,0.004277882,2.374717511,0.754112189,0.000659672,0.563261314,0.000361511,0.004579141,0.020000000,0.001075763,1.136955723,0.000301259,0.046755438,3.334457747,0.183665771,0.498670063,0.002577320,0.666666667,3.431354588,0.240000000
manthey_DimacsSorter_28_7.cnf,1,3507.000000000,11386.000000000,1934.000000000,9560.000000000,0.813340228,0.191004184,0.020000000,0.202301255,0.284172146,1.179535000,0.000000000,1.000000000,1.393070797,0.001399045,0.417356902,0.001034126,0.012926577,1.139412626,0.000000000,0.569769874,0.842573222,-0.000000000,0.001399045,0.552908934,0.000732218,0.018828452,2.505238039,0.191080680,0.157514084,0.000000000,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.000000000,0.001907398,0.978915202,0.000523013,0.043410042,3.385022875,0.180560713,0.462952838,0.004830862,0.571428571,3.391862701,0.140000000
manol-pipe-c10nid_i.cnf,1,252516.000000000,750877.000000000,41437.000000000,320735.000000000,5.093973985,1.341113380,2.180000000,0.129193883,0.378182019,0.695412263,0.000000000,1.000000000,1.768869107,0.000094236,0.378914472,0.000048266,0.001037720,1.618890056,0.000000000,0.120997085,0.469736699,0.020000000,0.000094236,2.060377199,0.000021825,0.012839260,2.877037430,0.169209956,0.147332625,0.000000000,0.970149254,2.766499788,0.000033174,2.417154549,0.000000000,0.006466397,2.519492024,0.453963552,0.000076477,1.801415630,0.000015589,0.007270800,2.100000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
aaai10-planning-ipc5-pathways-13-step17.cnf,1,25631.000000000,142227.000000000,19609.000000000,125436.000000000,0.307103881,0.133861093,0.320000000,0.156326732,0.492501641,0.971825608,0.000000000,1.000000000,1.063923398,0.000115817,0.870155665,0.000101994,0.002498853,0.451639991,0.000000000,0.900546892,0.964372270,0.020000000,0.000115817,0.643262268,0.000015944,0.000502248,2.558747946,0.388239479,0.294708420,0.000000000,1.000000000,2.829980806,0.000092742,0.846492059,0.000000000,0.000454415,2.634664388,0.906366593,0.000285871,0.778945828,0.000015944,0.000597914,0.460000000,0.000139360,1.387792175,0.000015944,0.006186422,2.770122457,0.237121714,0.543022170,0.009900990,0.714285714,2.989128206,1.880000000
11pipe_k.cnf,1,89315.000000000,5584003.000000000,79604.000000000,5548259.000000000,0.121991357,0.006442381,24.180000000,0.014347564,0.939245786,0.242616790,0.000000000,1.000000000,0.416040455,0.000036075,2.970654382,0.000025124,0.003705844,0.254164819,0.000000000,0.967923992,0.971648404,0.400000000,0.000036075,6.636063687,0.000000541,0.007762075,5.232507728,0.569973188,0.282789780,0.000000000,1.000000000,4.226605472,0.000024458,6.463624009,0.000000000,0.005047529,4.954114687,0.971555401,0.000053764,4.060701120,0.000000541,0.006432649,9.720000000,0.000000000,0.000000000,0.000000000,0.000000000,-512.000000000,0.000000000,0.000000000,0.000000000,0.000000000,-0.000000000,20.580000000
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
dated-10-13-u.cnf,1,180608.000000000,815261.000000000,49204.000000000,286487.000000000,2.670595887,1.845717258,1.960000000,0.171749503,0.355383258,1.069977295,0.000000000,1.000000000,1.335210242,0.000052707,0.404143137,0.000040647,0.000243883,0.974263884,0.000000000,0.610404661,0.917095715,0.020000000,0.000052707,0.452465520,0.000020943,0.000136132,2.762578341,0.246477397,0.157733031,0.000000000,0.777777778,3.105696693,0.000034049,0.442951638,0.000010472,0.000097736,2.523741395,0.761612220,0.000051702,0.466756794,0.000013962,0.000139622,2.820000000,0.000070953,0.579002186,0.000010472,0.000286226,3.493019581,0.153771596,0.636017782,0.026851852,0.611111111,3.243823013,4.220000000
complete-500-0.1-1-9876543215001.cnf,1,1000.000000000,73331.000000000,1000.000000000,73331.000000000,0.000000000,0.000000000,0.360000000,0.013636798,0.642837033,0.725116200,0.000000000,1.000000000,1.391010625,0.017410972,1.313666648,0.002000000,0.072000000,1.671505380,0.000000000,0.681812603,0.681812603,0.000000000,0.017410972,0.938540382,0.000940939,0.046446932,5.478246047,0.457455906,0.385060637,0.000000000,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.220000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,29.040000000
atco_enc2_opt2_10_21.cnf,1,9824.000000000,160531.000000000,6638.000000000,144050.000000000,0.479963845,0.114411663,0.460000000,0.046081222,0.583607797,0.467126468,0.000000000,1.000000000,1.965209700,0.000680400,0.429101792,0.000301296,0.003314251,1.881995972,0.000000000,0.092530371,0.354529677,0.020000000,0.000680400,1.773231677,0.000013884,0.007247484,4.369508933,0.365437654,0.279965776,0.000000000,1.000000000,4.114560472,0.000410689,1.931067146,0.000006942,0.004401250,3.922019040,0.589934051,0.000331034,0.668570446,0.000013884,0.000951059,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_DimacsSorter_36_4.cnf,1,4965.000000000,16282.000000000,2873.000000000,14058.000000000,0.728158719,0.158201736,0.040000000,0.204367620,0.289723470,1.178485955,0.000000000,1.000000000,1.389466392,0.000932366,0.438340155,0.000696136,0.008701706,1.104117819,0.000000000,0.589344146,0.858941528,-0.000000000,0.000932366,0.505722125,0.000497937,0.011594821,2.515127933,0.188600779,0.149778770,0.000000000,0.741935484,2.897490943,0.000605071,0.616897128,0.000071134,0.008678333,2.208511574,0.761843790,0.000819934,0.481811022,0.000426803,0.007326789,0.020000000,0.001195260,0.935002081,0.000355669,0.029733959,3.274420412,0.177106176,0.434219964,0.004807528,0.571428571,3.278212803,0.160000000
atco_enc1_opt2_20_12.cnf,1,171148.000000000,6595658.000000000,143059.000000000,6141803.000000000,0.196345564,0.073896053,11.480000000,0.023292672,0.555138600,0.599357502,0.000000000,1.000000000,1.131795457,0.000022877,0.458109490,0.000013980,0.000174753,0.732693642,0.000000000,0.064823310,0.900171660,0.480000000,0.000022877,1.051275742,0.000000326,0.000297958,4.978546160,0.356480161,0.338626140,0.000000000,1.000000000,3.916912744,0.000012076,1.531256880,0.000000163,0.000290306,4.420344965,0.515429590,0.000030473,0.879322876,0.000000326,0.000120649,24.360000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.180000000
mrpp_8x8#24_16.cnf,1,14534.000000000,115034.000000000,6946.000000000,81265.000000000,1.092427296,0.415541746,0.400000000,0.085473451,0.399092680,0.740578462,0.000000000,1.000000000,1.831588391,0.000570735,0.242175442,0.000287936,0.000863807,1.349486588,0.000000000,0.042515228,0.353583954,-0.000000000,0.000570735,0.608446492,0.000073833,0.001316680,3.905041067,0.273341719,0.172154758,0.000000000,0.782178218,3.838158950,0.000144432,0.470337308,0.000024611,0.000381468,2.693676753,0.321343752,0.000531394,0.308285163,0.000061527,0.000849074,0.080000000,0.001026619,0.402650006,0.000036916,0.002448779,4.769545205,0.362971888,0.314945884,0.036236119,0.733333333,3.635985124,14.260000000
mrpp_4x4#12_12.cnf,1,2672.000000000,16408.000000000,1197.000000000,11737.000000000,1.232247285,0.397972225,0.040000000,0.101985175,0.411294766,0.743889005,0.000000000,1.000000000,1.822695346,0.003252572,0.238199939,0.001670844,0.005012531,1.317697098,0.000000000,0.047030757,0.370452415,-0.000000000,0.003252572,0.623308978,0.000596405,0.007497657,3.524239449,0.272509024,0.155289928,0.000000000,0.724137931,3.489881242,0.000846810,0.486953368,0.000170401,0.001874414,2.607450066,0.327170486,0.002991489,0.330410413,0.000426003,0.004856437,-0.000000000,0.005945142,0.404696998,0.000255602,0.013802505,4.501647297,0.369863746,0.290393921,0.076576577,0.888888889,3.623906067,1.500000000
manthey_single-ordered-initialized-w42-b9.cnf,1,10395.000000000,83904.000000000,6651.000000000,70440.000000000,0.562922869,0.191141397,0.180000000,0.094420784,0.550995427,0.566058704,0.000000000,1.000000000,0.857875905,0.000550862,0.891412556,0.000300707,0.007367313,0.857956346,0.000000000,0.216638274,0.908546281,0.000000000,0.000550862,2.544459903,0.000127768,0.013586031,1.319665240,0.617429051,0.156451088,0.000000000,0.842931937,1.221568458,0.000262666,3.435789081,0.000014196,0.009199319,0.791362424,0.654542873,0.000609520,2.200698041,0.000141965,0.013032368,0.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
005-80-12.cnf,1,13408.000000000,478488.000000000,12701.000000000,307265.000000000,0.055664908,0.557248629,0.600000000,0.041335655,0.375467782,0.589605958,0.000000000,1.000000000,2.189775839,0.000453151,0.201208404,0.000157468,0.001102275,1.443605422,0.000000000,0.001129318,0.038061608,0.040000000,0.000453151,0.439955426,0.000039054,0.000881975,3.714489086,0.117450989,0.068599409,0.000000000,0.672727273,2.813350324,0.000073724,0.497324673,0.000006509,0.000188762,3.281839884,0.193543033,0.000063503,0.418343534,0.000016273,0.000139944,0.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
gss-22-s100.cnf,1,31616.000000000,95110.000000000,13864.000000000,57628.000000000,1.280438546,0.650412994,0.440000000,0.240577497,0.191856769,1.539877830,0.000000000,1.000000000,1.142642169,0.000215569,1.085142492,0.000144259,0.002380265,0.990912479,0.000000000,0.658603457,0.938588880,-0.000000000,0.000215569,0.796914174,0.000121469,0.001787326,2.479568604,0.184227521,0.154298082,0.000000000,0.777777778,2.382623290,0.000146712,0.933394634,0.000052058,0.001509683,1.878670981,0.890938433,0.000398668,0.759519280,0.000069411,0.002099674,0.240000000,0.000435972,0.913729009,0.000086763,0.003626709,3.787387851,0.172921625,0.463596014,0.018378002,0.527777778,3.230321500,1.780000000
6s9.cnf,1,34320.000000000,100384.000000000,11472.000000000,56459.000000000,1.991631799,0.777998193,0.320000000,0.203191697,0.485794533,0.775269516,0.000000000,1.000000000,1.602015419,0.000288161,0.579443995,0.000174338,0.004271269,1.421501681,0.000000000,0.259710586,0.724632034,0.020000000,0.000288161,1.595750914,0.000053136,0.034325794,2.995257110,0.158885786,0.138290301,0.000000000,1.000000000,3.088529277,0.000120874,1.858667252,0.000017712,0.019323757,2.462077333,0.530615137,0.000317031,1.369801368,0.000053136,0.025948033,0.160000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorter_30_6.cnf,1,3638.000000000,11677.000000000,1941.000000000,9247.000000000,0.874291602,0.262787931,0.020000000,0.209905915,0.278889936,1.182985735,0.000000000,1.000000000,1.319897383,0.001348530,0.360819459,0.001030397,0.010303967,1.058067538,0.000000000,0.579755596,0.862766303,-0.000000000,0.001348530,0.531884890,0.000648859,0.019357630,2.260123965,0.185982439,0.145221992,0.000000000,0.692307692,2.724667534,0.000905539,0.620588478,0.000108143,0.014491186,2.200478932,0.761003569,0.001142496,0.469447773,0.000432573,0.011895750,-0.000000000,0.001774802,1.000932869,0.000540716,0.031037093,3.201174160,0.181435761,0.448304204,0.006968641,0.527777778,3.286696456,0.120000000
jgiraldezlevy.2200.9086.08.40.41.cnf,1,2200.000000000,9086.000000000,2149.000000000,9026.000000000,0.023731968,0.006647463,0.000000000,0.238089962,0.494630327,0.585594808,0.000000000,1.000000000,0.695163841,0.001411104,0.062041852,0.001395998,0.002791996,0.143906736,0.000000000,0.000000000,0.969310880,0.000000000,0.001411104,0.284510172,0.000443164,0.003212940,2.678916098,0.235043614,0.175715426,0.000000000,1.000000000,3.365059809,0.000688925,0.399210180,0.000000000,0.001772657,2.310648064,0.490471970,0.002443074,0.255595516,0.000775537,0.004985597,0.000000000,0.002094547,0.242333362,0.000664746,0.004431642,2.925401622,0.141796611,0.273351757,0.056097561,0.400000000,2.685840209,0.100000000
48bits_13.dimacs.cnf,1,688.000000000,18146.000000000,688.000000000,18146.000000000,0.000000000,0.000000000,0.020000000,0.037914692,0.332879065,0.687362014,0.000000000,1.000000000,2.585137053,0.010306343,0.298988054,0.002906977,0.033430233,2.101355388,0.000000000,0.006227268,0.048826188,-0.000000000,0.010306343,1.246834903,0.000551086,0.059572358,5.193860379,0.086634609,0.104491393,0.000000000,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.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.100000000
mrpp_6x6#14_24.cnf,1,12197.000000000,77598.000000000,5746.000000000,61542.000000000,1.122694048,0.260894999,0.220000000,0.093367131,0.396532449,0.746744397,0.000000000,1.000000000,1.830332078,0.000699527,0.219666324,0.000348068,0.001044205,1.270861866,0.000000000,0.020815053,0.308586006,0.020000000,0.000699527,0.566990772,0.000113743,0.001462416,3.457067717,0.258447903,0.154101169,0.000000000,0.741176471,3.438966437,0.000160669,0.535696342,0.000032498,0.000373729,2.519126427,0.282684996,0.000643668,0.241723080,0.000081245,0.000942446,0.040000000,0.001249954,0.335949482,0.000064996,0.002713594,4.445977291,0.382137965,0.252576554,0.078991597,0.668016194,3.475637348,9.060000000
manthey_DimacsSorter_30_5.cnf,1,3843.000000000,12306.000000000,2058.000000000,9733.000000000,0.867346939,0.264358368,0.020000000,0.211445597,0.266625569,1.208070544,0.000000000,1.000000000,1.320720891,0.001275304,0.366959448,0.000971817,0.007774538,1.067871353,0.000000000,0.582348711,0.860680160,-0.000000000,0.001275304,0.542077337,0.000616459,0.020343162,2.281045982,0.183560234,0.139931802,0.000000000,0.666666667,2.702103102,0.000855395,0.628797340,0.000102743,0.016027946,2.200833100,0.762354875,0.001078455,0.464781776,0.000410973,0.012534676,-0.000000000,0.001726948,1.052442438,0.000513716,0.021987054,3.213472511,0.180380564,0.455365611,0.009389263,0.549450549,3.289731445,0.120000000
manthey_DimacsSorter_28_3.cnf,1,3553.000000000,11381.000000000,1942.000000000,9521.000000000,0.829557158,0.195357631,0.020000000,0.203970171,0.271142987,1.189442027,0.000000000,1.000000000,1.389967815,0.001401964,0.412079786,0.001029866,0.010298661,1.157552090,0.000000000,0.560655393,0.835836572,-0.000000000,0.001401964,0.553156571,0.000735217,0.019850856,2.492610670,0.184796140,0.146758947,0.000000000,0.714285714,2.884610109,0.000874970,0.657888558,0.000105031,0.014494276,2.169175877,0.738998004,0.001202827,0.493229679,0.000630186,0.012918811,-0.000000000,0.001974331,0.965903309,0.000525155,0.033294822,3.426309698,0.176955149,0.471260005,0.006388509,0.571428571,3.401908672,0.140000000
48bits_11.dimacs.cnf,1,687.000000000,18258.000000000,687.000000000,18258.000000000,0.000000000,0.000000000,0.020000000,0.037627341,0.331463493,0.686297371,0.000000000,1.000000000,2.582709644,0.010343176,0.299137393,0.002911208,0.033478894,2.102749643,0.000000000,0.006024756,0.047650345,-0.000000000,0.010343176,1.246321116,0.000547705,0.059206923,5.154577044,0.088701880,0.106280729,0.000000000,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.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.080000000
46bits_11.dimacs.cnf,1,689.000000000,16922.000000000,689.000000000,16922.000000000,0.000000000,0.000000000,0.020000000,0.040716227,0.337889724,0.678910299,0.000000000,1.000000000,2.575809417,0.010078257,0.304212357,0.002902758,0.031930334,2.107786278,0.000000000,0.006914076,0.055135327,-0.000000000,0.010078257,1.238947456,0.000531852,0.063881338,5.160658888,0.086171816,0.101912798,0.000000000,0.793103448,3.029593895,0.000852370,0.596656622,0.000177284,0.002954733,3.284870824,0.115589174,0.001971481,0.415855601,0.000354568,0.004313911,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
mrpp_8x8#8_9.cnf,1,7451.000000000,51322.000000000,2686.000000000,26671.000000000,1.774013403,0.924262307,0.120000000,0.100708635,0.422492208,0.780197247,0.000000000,1.000000000,1.817338329,0.001424503,0.251876202,0.000744602,0.003350707,1.372744887,0.000000000,0.081811706,0.368602602,0.020000000,0.001424503,0.521706967,0.000262457,0.003374452,4.055194590,0.268715501,0.178386487,0.000000000,0.750000000,4.011601279,0.000391816,0.470932985,0.000074988,0.000974842,2.836578467,0.351205429,0.001286965,0.320252880,0.000224963,0.002212141,-0.000000000,0.002381737,0.410745453,0.000187470,0.006186495,4.638998276,0.378011467,0.264392054,0.061561562,0.888888889,3.616905353,2.900000000
beempgsol5b1.cnf,1,26455.000000000,76534.000000000,7112.000000000,33500.000000000,2.719769404,1.284597015,0.300000000,0.212298507,0.412689309,0.877847510,0.000000000,1.000000000,1.323900910,0.000443833,1.222254328,0.000281215,0.056664792,1.266653748,0.000000000,0.320358209,0.812119403,0.000000000,0.000443833,1.375374294,0.000208955,0.023522388,2.203656737,0.141577218,0.167478121,0.000000000,0.985257985,2.144587179,0.000198840,1.474872131,0.000059701,0.012029851,2.151791344,0.544746269,0.001217207,2.410897005,0.000149254,0.036358209,0.060000000,0.001688536,1.850549665,0.000149254,0.270865672,4.197121114,0.195341706,0.719773752,0.000840132,0.730769231,3.305679931,10.600000000
52bits_12.dimacs.cnf,1,905.000000000,19257.000000000,904.000000000,19244.000000000,0.001106195,0.000675535,0.020000000,0.046975681,0.352948754,0.658334415,0.000000000,1.000000000,2.547370219,0.007316555,0.310781436,0.002212389,0.027654867,2.088784914,0.000000000,0.007846602,0.062045313,-0.000000000,0.007316555,1.122744241,0.000519642,0.052899605,5.100000940,0.089837551,0.109658770,0.000000000,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.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
jgiraldezlevy.2200.9086.08.40.167.cnf,1,2200.000000000,9086.000000000,2138.000000000,9010.000000000,0.028999065,0.008435072,0.000000000,0.237291898,0.502286349,0.587330987,0.000000000,1.000000000,0.734382109,0.001421921,0.066886521,0.001403181,0.002338634,0.169703952,0.000000000,0.000000000,0.961376249,0.000000000,0.001421921,0.290101528,0.000332963,0.003218646,2.704944941,0.232709094,0.172199004,0.000000000,1.000000000,3.356534738,0.000689910,0.401061894,0.000000000,0.002108768,2.306083031,0.488124306,0.002458862,0.263762855,0.000665927,0.005549390,0.000000000,0.002119239,0.241897865,0.000665927,0.004661487,2.926413729,0.141941517,0.270933599,0.055370986,0.416666667,2.698933289,0.100000000
54bits_13.dimacs.cnf,1,1008.000000000,21377.000000000,1008.000000000,21377.000000000,0.000000000,0.000000000,0.020000000,0.047153483,0.354547388,0.654795024,0.000000000,1.000000000,2.546657469,0.006547888,0.309652303,0.001984127,0.025793651,2.084721420,0.000000000,0.008373486,0.062777752,0.020000000,0.006547888,1.063744371,0.000421013,0.047621275,5.143322045,0.084586250,0.101802858,0.000000000,0.800000000,3.026269762,0.000635186,0.543727600,0.000093558,0.002151845,3.208326828,0.127286336,0.001583719,0.424640757,0.000187117,0.004069795,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
E02F20.cnf,1,10420.000000000,395383.000000000,8988.000000000,391407.000000000,0.159323543,0.010158224,1.240000000,0.022963309,0.920181246,0.274833506,0.000000000,1.000000000,0.400138515,0.000792036,0.525138264,0.000222519,0.005896751,2.207620024,0.000000000,0.059127711,0.110695516,0.040000000,0.000792036,3.642492030,0.000017884,0.016297613,1.614323671,0.372421988,0.227833341,0.250000000,0.996544575,1.213062244,0.000689905,4.099453564,0.000005110,0.016231186,1.573457430,0.949788839,0.000091223,1.256091638,0.000058762,0.001290217,0.220000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.340000000
46bits_14.dimacs.cnf,1,690.000000000,16938.000000000,690.000000000,16938.000000000,0.000000000,0.000000000,0.020000000,0.040736805,0.338937555,0.676713351,0.000000000,1.000000000,2.576476554,0.010070231,0.303926756,0.002898551,0.031884058,2.107389257,0.000000000,0.006907545,0.055319400,-0.000000000,0.010070231,1.238832955,0.000531350,0.063820994,5.177147525,0.087180996,0.104729522,0.000000000,0.785714286,3.038780660,0.000848619,0.604958459,0.000177117,0.002892904,3.288047755,0.115184792,0.001964026,0.419196884,0.000354233,0.004309836,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.100000000
manthey_DimacsSorterHalf_32_1.cnf,1,4927.000000000,16333.000000000,2805.000000000,14051.000000000,0.756506239,0.162408370,0.040000000,0.199629920,0.294873776,1.172596267,0.000000000,1.000000000,1.408887014,0.000957043,0.434949739,0.000713012,0.010695187,1.112571509,0.000000000,0.587431500,0.853106540,-0.000000000,0.000957043,0.592265287,0.000498185,0.014945555,2.490164891,0.192932443,0.159694623,0.000000000,0.777777778,2.888203787,0.000614263,0.726220580,0.000071169,0.011031243,2.254783917,0.756387446,0.000822976,0.549967916,0.000427016,0.010034873,0.020000000,0.001307771,1.087979005,0.000355847,0.040708846,3.382992647,0.178186838,0.464228011,0.003514810,0.571428571,3.364763782,0.200000000
manthey_single-ordered-initialized-w14-b7.cnf,1,1225.000000000,8099.000000000,602.000000000,5389.000000000,1.034883721,0.502876229,0.020000000,0.111709037,0.586966719,0.551172278,0.000000000,1.000000000,1.101927544,0.005898258,0.732538074,0.003322259,0.034883721,1.061610833,0.000000000,0.270365559,0.887548710,-0.000000000,0.005898258,1.288951305,0.001670069,0.043607348,2.284011403,0.520399908,0.206404390,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.000000000,0.022870241,0.813375463,0.000927816,0.149935053,4.752921863,0.156430750,0.821433045,0.017533937,0.812307692,3.163494362,3.140000000
mrpp_8x8#12_9.cnf,1,7451.000000000,50916.000000000,2917.000000000,30296.000000000,1.554336647,0.680617903,0.120000000,0.096283338,0.406180134,0.781566816,0.000000000,1.000000000,1.818899581,0.001312227,0.255596911,0.000685636,0.002056908,1.382617513,0.000000000,0.081033800,0.384308159,0.020000000,0.001312227,0.535551728,0.000231054,0.003003697,4.014242941,0.260818666,0.174363531,0.000000000,0.750000000,3.958061707,0.000353036,0.460262431,0.000066015,0.000858199,2.778252249,0.344137840,0.001195472,0.305244086,0.000198046,0.001947452,-0.000000000,0.002215971,0.410856125,0.000165038,0.005512279,4.680569273,0.365030336,0.290949419,0.046253469,0.733333333,3.641668022,3.600000000
SAT_dat.k80-24_1_rule_1.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
complete-500-0.1-17-98765432150017.cnf,1,1000.000000000,74812.000000000,1000.000000000,74812.000000000,0.000000000,0.000000000,0.380000000,0.013366840,0.642676662,0.725849493,0.000000000,1.000000000,1.375209248,0.017700289,1.319689015,0.002000000,0.079000000,1.668838116,0.000000000,0.682885099,0.682885099,0.020000000,0.017700289,0.937315439,0.001042613,0.045500722,5.474513425,0.456984380,0.388244920,0.000000000,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.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,22.340000000
mrpp_6x6#16_12.cnf,1,6401.000000000,50677.000000000,2959.000000000,32961.000000000,1.163230821,0.537483693,0.120000000,0.089772762,0.403139063,0.756501116,0.000000000,1.000000000,1.831187848,0.001324094,0.248063482,0.000675904,0.002027712,1.368158066,0.000000000,0.070537908,0.346470071,0.020000000,0.001324094,0.651155405,0.000242711,0.003215922,3.833816566,0.281408928,0.160819624,0.000000000,0.782178218,3.761381756,0.000321896,0.516086649,0.000091017,0.000758472,2.675521734,0.312065775,0.001231949,0.317423124,0.000151694,0.002063044,-0.000000000,0.002436002,0.413240580,0.000121356,0.006037438,4.722522398,0.379154019,0.288139167,0.060317460,0.888888889,3.624458557,5.400000000
manthey_DimacsSorter_30_4.cnf,1,3723.000000000,11743.000000000,1979.000000000,9246.000000000,0.881253158,0.270062730,0.020000000,0.214038503,0.254367397,1.214836576,0.000000000,1.000000000,1.304859302,0.001332289,0.359674243,0.001010611,0.008084891,1.077855453,0.000000000,0.571382219,0.856911097,-0.000000000,0.001332289,0.503091726,0.000648929,0.018386329,2.260712750,0.175183572,0.133812328,0.000000000,0.666666667,2.686175672,0.000886334,0.602540804,0.000108155,0.015574302,2.154641790,0.756543370,0.001127019,0.436013484,0.000432620,0.011356262,-0.000000000,0.001767348,0.914591442,0.000540774,0.023036989,3.212964618,0.179594223,0.451189662,0.009389671,0.549450549,3.286830927,0.100000000
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf,1,88352.000000000,262658.000000000,23820.000000000,135563.000000000,2.709151973,0.937534578,0.800000000,0.175711662,0.456017642,0.758248031,0.000000000,1.000000000,1.704777010,0.000142424,0.368747663,0.000083963,0.001763224,1.490727025,0.000000000,0.235853441,0.634538923,-0.000000000,0.000142424,1.193016128,0.000051637,0.002124473,3.125283771,0.126784427,0.119242967,0.000000000,0.814814815,2.895982093,0.000054432,1.278255470,0.000007377,0.000730288,2.641113856,0.467642351,0.000138465,1.017164434,0.000036883,0.001549095,0.680000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_single-ordered-initialized-w46-b8.cnf,1,10672.000000000,87322.000000000,6501.000000000,73012.000000000,0.641593601,0.195995179,0.180000000,0.089040158,0.544956432,0.569351252,0.000000000,1.000000000,0.995351116,0.000565224,0.832608572,0.000307645,0.008152592,0.880905113,0.000000000,0.212855421,0.894140689,0.020000000,0.000565224,2.592559469,0.000123267,0.013217005,1.108782630,0.617978305,0.160144694,0.000000000,0.916666667,1.202417826,0.000269236,3.375469873,0.000013696,0.008532844,0.794351014,0.654385580,0.000591727,2.243808427,0.000123267,0.012025420,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf,1,183325.000000000,546914.000000000,32046.000000000,210225.000000000,4.720682769,1.601564990,2.020000000,0.152436675,0.506953787,0.720985513,0.000000000,1.000000000,1.746800628,0.000109938,0.378928107,0.000062410,0.001685078,1.547449965,0.000000000,0.206864074,0.582033535,0.020000000,0.000109938,1.998365910,0.000004757,0.003363063,3.114865711,0.134881653,0.126570768,0.000000000,1.000000000,2.936841234,0.000042527,1.900552484,0.000000000,0.001270068,2.636267323,0.473630634,0.000094584,1.597581018,0.000004757,0.002112023,1.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_6x6#10_10.cnf,1,4931.000000000,32639.000000000,2144.000000000,22792.000000000,1.299906716,0.432037557,0.080000000,0.094068094,0.399552475,0.766262522,0.000000000,1.000000000,1.820355975,0.001818215,0.239511974,0.000932836,0.002798507,1.333202117,0.000000000,0.054580555,0.356221481,-0.000000000,0.001818215,0.566540801,0.000351000,0.003948754,3.776420356,0.262738809,0.158526651,0.000000000,0.741176471,3.752499291,0.000452707,0.460399304,0.000087750,0.000965251,2.671355345,0.314408564,0.001642981,0.276555095,0.000219375,0.002544753,0.020000000,0.003172559,0.386355384,0.000175500,0.007327132,4.582965953,0.373012591,0.273937270,0.048625793,0.679955703,3.568376480,3.080000000
mrpp_6x6#12_16.cnf,1,8045.000000000,52216.000000000,3642.000000000,38813.000000000,1.208951126,0.345322444,0.160000000,0.093834540,0.402694115,0.755357675,0.000000000,1.000000000,1.831234714,0.001089625,0.228883176,0.000549149,0.001647446,1.303298519,0.000000000,0.035245923,0.329374179,-0.000000000,0.001089625,0.567252439,0.000231881,0.002318811,3.727110689,0.268501324,0.155739394,0.000000000,0.741176471,3.676349722,0.000262591,0.486458153,0.000051529,0.000566820,2.612658684,0.301986448,0.000993414,0.260190675,0.000180352,0.001494345,0.020000000,0.001924782,0.361127712,0.000128823,0.004302682,4.540171129,0.380014445,0.258776686,0.062388592,0.733333333,3.520755149,5.500000000
manthey_single-ordered-initialized-w20-b10.cnf,1,3400.000000000,24005.000000000,2076.000000000,18339.000000000,0.637764933,0.308959049,0.040000000,0.113201374,0.580282424,0.547729522,0.000000000,1.000000000,0.995592006,0.001729287,0.862952155,0.000963391,0.013969171,0.913133173,0.000000000,0.246632859,0.921587873,-0.000000000,0.001729287,1.754537846,0.000490757,0.025355799,1.799990861,0.574395586,0.176064820,0.000000000,0.782608696,1.733028338,0.000804954,2.547572284,0.000054529,0.018158024,1.135973936,0.639238781,0.001966024,1.587718253,0.000599815,0.025410328,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
hitag2-10-60-0-0xe14721bd199894a-99.cnf,1,2294.000000000,30374.000000000,2183.000000000,30078.000000000,0.050847458,0.009841080,0.040000000,0.072577964,0.313105766,0.859053473,0.000000000,1.000000000,1.736345443,0.002701999,0.315351575,0.000916170,0.003206596,0.996118797,0.000000000,0.143028127,0.165104063,-0.000000000,0.002701999,1.842204609,0.000365716,0.041425627,2.905645696,0.039515143,0.054811863,0.000000000,0.294117647,1.830396363,0.000294821,1.716344999,0.000033247,0.004687812,2.545756697,0.206396702,0.000379377,1.227467924,0.000166234,0.003823393,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.120000000
manthey_single-ordered-initialized-w26-b8.cnf,1,3952.000000000,29622.000000000,2305.000000000,23166.000000000,0.714533623,0.278684279,0.060000000,0.099499266,0.561078895,0.562257579,0.000000000,1.000000000,1.012010224,0.001580295,0.821560348,0.000867679,0.014750542,0.933057856,0.000000000,0.231848399,0.898256065,0.000000000,0.001580295,1.915135418,0.000388500,0.022662523,1.523245179,0.589180546,0.182906487,0.000000000,0.857142857,1.652891589,0.000741700,2.574967191,0.000043167,0.014806181,1.118261097,0.647155314,0.001641122,1.701838809,0.000388500,0.020633687,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_8x8#24_20.cnf,1,18278.000000000,142603.000000000,8902.000000000,103966.000000000,1.053246461,0.371631110,0.500000000,0.085624146,0.398185945,0.739505982,0.000000000,1.000000000,1.834524007,0.000448108,0.238886910,0.000224669,0.000674006,1.340660461,0.000000000,0.036838967,0.344064406,-0.000000000,0.000448108,0.613130457,0.000057711,0.001029183,3.867495793,0.276309032,0.171006499,0.000000000,0.782178218,3.776274303,0.000111752,0.486956496,0.000019237,0.000298174,2.703436915,0.316305331,0.000419933,0.300012414,0.000048093,0.000663679,0.100000000,0.000811747,0.392991603,0.000028856,0.001914087,4.746921775,0.367339833,0.309791901,0.036236119,0.733333333,3.630505311,18.580000000
jgiraldezlevy.2200.9086.08.40.22.cnf,1,2200.000000000,9086.000000000,2138.000000000,9008.000000000,0.028999065,0.008658970,0.000000000,0.237344583,0.499256217,0.587774350,0.000000000,1.000000000,0.732871992,0.001422600,0.070864470,0.001403181,0.002338634,0.173448020,0.000000000,0.000000000,0.961811723,0.000000000,0.001422600,0.296234367,0.000444050,0.004551510,2.710580933,0.230054167,0.174832122,0.000000000,1.000000000,3.318489203,0.000688402,0.400443716,0.000000000,0.002331261,2.301983793,0.486789520,0.002471039,0.271260344,0.000777087,0.006660746,0.000000000,0.002130704,0.248156074,0.000666075,0.004995560,2.944218079,0.140830150,0.277300138,0.052048726,0.444444444,2.708174929,0.120000000
jgiraldezlevy.2200.9086.08.40.79.cnf,1,2200.000000000,9086.000000000,2128.000000000,8969.000000000,0.033834586,0.013044933,0.000000000,0.237261679,0.492091277,0.589738752,0.000000000,1.000000000,0.730714031,0.001429789,0.069211564,0.001409774,0.002349624,0.177829227,0.000000000,0.000000000,0.959192775,0.000000000,0.001429789,0.290218093,0.000111495,0.004013825,2.688910758,0.227009020,0.170217487,0.000000000,1.000000000,3.328658937,0.000702660,0.406248409,0.000000000,0.002006913,2.326409703,0.494258000,0.002493447,0.265104129,0.000222990,0.006132233,0.000000000,0.002144899,0.245461982,0.000557476,0.005128777,2.939926949,0.139655208,0.272534962,0.055128205,0.444444444,2.679741994,0.100000000
manthey_single-ordered-initialized-w50-b7.cnf,1,10675.000000000,88199.000000000,6038.000000000,72989.000000000,0.767969526,0.208387565,0.180000000,0.082724794,0.537702325,0.576030169,0.000000000,1.000000000,1.023236734,0.000612141,0.784934883,0.000331236,0.009440212,0.910715439,0.000000000,0.209113702,0.875159271,0.020000000,0.000612141,2.608884194,0.000123306,0.013097864,1.262606243,0.617511439,0.165902717,0.001047120,0.932038835,1.217374335,0.000289732,3.264455386,0.000013701,0.007973804,0.818565569,0.652838099,0.000601401,2.259366030,0.000109606,0.011152365,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
jgiraldezlevy.2200.9086.08.40.33.cnf,1,2200.000000000,9086.000000000,2121.000000000,8978.000000000,0.037246582,0.012029405,0.020000000,0.236244152,0.499383679,0.590272458,0.000000000,1.000000000,0.758483055,0.001438584,0.075180233,0.001414427,0.002357379,0.204627136,0.000000000,0.000000000,0.950768545,-0.000000000,0.001438584,0.294767901,0.000111383,0.003564268,2.719789476,0.224615077,0.173482663,0.000000000,1.000000000,3.336586367,0.000703170,0.405099125,0.000000000,0.002450434,2.317049961,0.492091780,0.002495072,0.262510947,0.000222767,0.006237469,-0.000000000,0.002162783,0.243679676,0.000445534,0.005346402,2.945624077,0.139520511,0.269225442,0.058072009,0.400000000,2.663675627,0.120000000
manthey_single-ordered-initialized-w46-b9.cnf,1,12213.000000000,99800.000000000,7863.000000000,84487.000000000,0.553223960,0.181246819,0.240000000,0.093067573,0.548920690,0.566939693,0.000000000,1.000000000,0.852704202,0.000465739,0.881354115,0.000254356,0.006867608,0.851174989,0.000000000,0.214257815,0.908068697,0.000000000,0.000465739,2.670681225,0.000106525,0.012463456,1.246042011,0.620178416,0.152988141,0.000000000,0.907216495,1.159662326,0.000222913,3.587158702,0.000011836,0.008427332,0.743885455,0.655674838,0.000515976,2.299215752,0.000118361,0.011954502,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_single-ordered-initialized-w26-b7.cnf,1,3367.000000000,25295.000000000,1836.000000000,19449.000000000,0.833877996,0.300581007,0.040000000,0.094400740,0.554960723,0.569085672,0.000000000,1.000000000,1.057809238,0.001988078,0.769034085,0.001089325,0.018518519,0.969616170,0.000000000,0.230088951,0.880713661,-0.000000000,0.001988078,1.852083480,0.000462749,0.024525683,1.673496422,0.582335872,0.194558781,0.000000000,0.872727273,1.625273945,0.000930902,2.392688494,0.000051417,0.015116458,1.205213589,0.646408556,0.001943690,1.638685539,0.000411332,0.020875109,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
10pipe_q0_k.cnf,1,77639.000000000,2082017.000000000,46760.000000000,2015434.000000000,0.660372113,0.033036557,4.360000000,0.023200958,0.874155766,0.353556977,0.000000000,1.000000000,0.755775538,0.000069448,2.629748259,0.000042772,0.005624465,0.542011587,0.000000000,0.915093722,0.928225385,0.140000000,0.000069448,3.273242936,0.000003473,0.006132178,4.980205010,0.485140607,0.332452678,0.000000000,0.978339350,3.944913290,0.000039972,2.526249251,0.000000000,0.001635380,4.814041187,0.927887492,0.000114562,2.166107028,0.000003473,0.004702213,3.400000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,21.780000000
manthey_DimacsSorter_37_6.cnf,1,7665.000000000,26841.000000000,4819.000000000,24472.000000000,0.590578958,0.096804511,0.060000000,0.196918928,0.309337641,1.158556623,0.000000000,1.000000000,1.393539907,0.000555327,0.520914710,0.000415024,0.008715501,1.060361387,0.000000000,0.603710363,0.871404054,0.000000000,0.000555327,0.647303080,0.000326904,0.007151030,2.366858896,0.213446865,0.178005352,0.000000000,0.833333333,2.871864880,0.000359890,0.821521228,0.000040863,0.004740111,2.375818767,0.765773128,0.000459694,0.643981650,0.000245178,0.005434783,0.040000000,0.000750439,1.308921096,0.000204315,0.042252370,3.347461383,0.181538886,0.489824086,0.001941711,0.571428571,3.353477800,0.400000000
mrpp_4x4#4_24.cnf,1,5048.000000000,27895.000000000,2217.000000000,21443.000000000,1.276950834,0.300890734,0.060000000,0.103390384,0.427273858,0.742176919,0.000000000,1.000000000,1.824229917,0.001748833,0.239700493,0.000902120,0.002706360,1.330979470,0.000000000,0.060346034,0.356853052,0.000000000,0.001748833,0.498179578,0.000373082,0.003357739,3.233855527,0.263095980,0.156333639,0.000000000,0.661971831,3.355322930,0.000455940,0.429693837,0.000093271,0.001025976,2.564444653,0.332043091,0.001550765,0.251509209,0.000373082,0.002191857,0.020000000,0.002931786,0.359341178,0.000233176,0.006109220,4.280526336,0.373734559,0.248470863,0.111111111,0.888888889,3.481163946,2.220000000
post-c32s-ss-8.cnf,1,53752.000000000,148393.000000000,13761.000000000,65966.000000000,2.906111474,1.249537641,0.540000000,0.208607464,0.443997009,0.793485161,0.000000000,1.000000000,1.321306783,0.000231810,1.676577148,0.000145338,0.007266914,1.061854596,0.000000000,0.416077980,0.871100264,0.020000000,0.000231810,1.064999488,0.000106115,0.003031865,2.191100932,0.190006899,0.124013445,0.000000000,0.959183673,1.759993763,0.000104750,1.237748400,0.000015159,0.002001031,1.967173153,0.586468787,0.000680230,0.832573201,0.000075797,0.008913683,0.220000000,0.000668698,1.189082788,0.000060637,0.007776733,4.133932553,0.127555192,0.661677431,0.004791097,0.700000000,3.036696895,5.900000000
6s16.cnf,1,31486.000000000,91888.000000000,10511.000000000,51463.000000000,1.995528494,0.785515807,0.300000000,0.204243826,0.493097526,0.771213139,0.000000000,1.000000000,1.608803535,0.000314776,0.608581604,0.000190277,0.004756921,1.423499441,0.000000000,0.265472281,0.727998756,0.000000000,0.000314776,1.630668282,0.000058294,0.038105046,2.981473013,0.160312382,0.141084422,0.000000000,1.000000000,3.085768427,0.000132772,1.907742221,0.000019431,0.021199697,2.450994637,0.536210481,0.000355157,1.354769683,0.000058294,0.028544780,0.140000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_DimacsSorterHalf_35_8.cnf,1,7351.000000000,24835.000000000,4009.000000000,20208.000000000,0.833624345,0.228968725,0.060000000,0.198386778,0.292942718,1.185903151,0.000000000,1.000000000,1.368505137,0.000649074,0.404833171,0.000498878,0.007483163,1.043458765,0.000000000,0.609461599,0.870100950,0.000000000,0.000649074,0.682763289,0.000296912,0.015389945,2.290627737,0.189830091,0.156105663,0.000000000,0.736842105,2.794599091,0.000445220,0.815295420,0.000049485,0.012866192,2.247487172,0.780779889,0.000550992,0.605493622,0.000197941,0.009253761,0.020000000,0.000929961,1.403268946,0.000247427,0.031175772,3.283344507,0.172807078,0.459215419,0.003179634,0.549450549,3.253185006,0.380000000
mrpp_6x6#16_9.cnf,1,4736.000000000,37748.000000000,2085.000000000,22775.000000000,1.271462830,0.657431394,0.100000000,0.091547750,0.404014636,0.765721450,0.000000000,1.000000000,1.825707872,0.001856152,0.253880787,0.000959233,0.002877698,1.378902917,0.000000000,0.081273326,0.365883644,-0.000000000,0.001856152,0.660879117,0.000351262,0.004654226,3.947877650,0.282134782,0.162776750,0.000000000,0.782178218,3.815959457,0.000464896,0.503699295,0.000131723,0.001097695,2.685511174,0.322107574,0.001718027,0.340321789,0.000219539,0.002985730,0.020000000,0.003412951,0.434682676,0.000175631,0.008737651,4.780090524,0.377207150,0.294682560,0.060317460,0.888888889,3.667839128,3.560000000
MD5-29-5.cnf,1,8591.000000000,65322.000000000,6095.000000000,63812.000000000,0.409515997,0.023663261,0.120000000,0.095514950,0.445150337,0.449718266,0.000000000,1.000000000,1.624181506,0.000687273,0.192211491,0.000328138,0.000984413,1.145982507,0.000000000,0.008211622,0.222105560,0.000000000,0.000687273,0.678581515,0.000125368,0.001692472,3.243214076,0.021348431,0.056074093,0.000000000,0.416666667,0.842247502,0.000269408,0.683317155,0.000031342,0.000846236,3.009146367,0.397950229,0.000155774,0.414557998,0.000062684,0.000297750,0.040000000,0.001556423,0.390511277,0.000109697,0.002726760,4.853834543,0.335714871,0.235829753,0.135593220,0.601845523,3.440562807,17.000000000
008-80-12.cnf,1,13408.000000000,478488.000000000,12701.000000000,307077.000000000,0.055664908,0.558202014,0.600000000,0.041360962,0.375427191,0.589560927,0.000000000,1.000000000,2.190297792,0.000453092,0.201326111,0.000157468,0.001181009,1.444576627,0.000000000,0.001133266,0.038195632,0.040000000,0.000453092,0.440515267,0.000032565,0.000882515,3.726860046,0.117396328,0.068523692,0.000000000,0.672727273,2.819072940,0.000073740,0.497307309,0.000006513,0.000188878,3.280526651,0.193619190,0.000063672,0.418404573,0.000016283,0.000123747,0.260000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
42bits_12.dimacs.cnf,1,538.000000000,14509.000000000,538.000000000,14509.000000000,0.000000000,0.000000000,0.020000000,0.037080433,0.328695097,0.695604536,0.000000000,1.000000000,2.582674757,0.013199345,0.295388755,0.003717472,0.037174721,2.099064377,0.000000000,0.006961196,0.050244676,-0.000000000,0.013199345,1.183407931,0.000689227,0.070852574,5.210225294,0.096719204,0.111240855,0.000000000,0.812500000,3.139222409,0.000991949,0.591719330,0.000068923,0.003032600,3.294266325,0.104417947,0.002263945,0.410676746,0.000413536,0.004755669,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
jgiraldezlevy.2200.9086.08.40.194.cnf,1,2200.000000000,9086.000000000,2137.000000000,9024.000000000,0.029480580,0.006870567,0.000000000,0.236812943,0.501710254,0.590534365,0.000000000,1.000000000,0.737462815,0.001422972,0.066219742,0.001403837,0.002339729,0.172049116,0.000000000,0.000000000,0.959773936,0.000000000,0.001422972,0.282885543,0.000332447,0.003546099,2.671578292,0.226000822,0.168529011,0.000000000,1.000000000,3.320845804,0.000688955,0.389249293,0.000000000,0.001773050,2.286277240,0.487145390,0.002469886,0.254205601,0.000664894,0.005873227,0.000000000,0.002132562,0.241582633,0.000664894,0.004986702,2.928894809,0.140703755,0.267519130,0.058558559,0.416666667,2.669154678,0.120000000
mrpp_8x8#22_24.cnf,1,22022.000000000,171614.000000000,10939.000000000,129284.000000000,1.013163909,0.327418706,0.600000000,0.084612172,0.382623011,0.729427037,0.000000000,1.000000000,1.815997139,0.000366748,0.232505335,0.000182832,0.000548496,1.317591300,0.000000000,0.026654497,0.333722657,0.020000000,0.000366748,0.600776000,0.000046409,0.000827635,3.759637229,0.264259987,0.172484904,0.000000000,0.782178218,3.699672231,0.000092228,0.464389487,0.000015470,0.000278457,2.671801532,0.313959964,0.000342539,0.290410963,0.000038675,0.000533709,0.160000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
jgiraldezlevy.2200.9086.08.40.180.cnf,1,2200.000000000,9086.000000000,2123.000000000,8979.000000000,0.036269430,0.011916695,0.020000000,0.236440584,0.493882021,0.591066377,0.000000000,1.000000000,0.748839165,0.001436387,0.079524336,0.001413095,0.002826189,0.197229531,0.000000000,0.000000000,0.955228867,-0.000000000,0.001436387,0.291074185,0.000556855,0.003452500,2.698577072,0.228250778,0.170375693,0.000000000,1.000000000,3.350017003,0.000708357,0.391793715,0.000000000,0.001781936,2.306571901,0.497160040,0.002503565,0.262834283,0.000890968,0.006125404,-0.000000000,0.002160962,0.249809964,0.000668226,0.005011694,2.961893704,0.139346599,0.273311244,0.046511628,0.428571429,2.680499961,0.120000000
6s165-nonopt.cnf,1,3295.000000000,9586.000000000,832.000000000,4127.000000000,2.960336538,1.322752605,0.020000000,0.201599225,0.384120818,0.565356793,0.000000000,1.000000000,1.252462361,0.004046989,0.558964280,0.002403846,0.058894231,1.089141812,0.000000000,0.147322510,0.585897747,-0.000000000,0.004046989,0.481382882,0.001696147,0.019626848,2.235970908,0.052555744,0.100704017,0.000000000,0.866666667,1.330138263,0.002352880,0.746568932,0.000484614,0.015507633,1.716659957,0.621274534,0.002617612,1.124909064,0.001211534,0.017688394,-0.000000000,0.006472238,0.469730684,0.000969227,0.041676763,3.321541297,0.314242584,0.467965760,0.031543052,1.000000000,3.320450936,0.060000000
62bits_11.dimacs.cnf,1,1162.000000000,28910.000000000,1161.000000000,28910.000000000,0.000861326,0.000000000,0.060000000,0.040159114,0.346828135,0.658098586,0.000000000,1.000000000,2.581965157,0.005959956,0.297183424,0.001722653,0.025839793,2.091208440,0.000000000,0.006710481,0.050294016,0.000000000,0.005959956,1.028578409,0.000311311,0.034175026,5.210430067,0.081860680,0.101928344,0.000000000,0.785714286,2.958152868,0.000501512,0.549243622,0.000034590,0.001487375,3.262742074,0.110895884,0.001274799,0.406198287,0.000138360,0.003631961,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
gss-18-s100.cnf,1,31364.000000000,94269.000000000,13582.000000000,56442.000000000,1.309232808,0.670192410,0.440000000,0.240636406,0.188958736,1.551596236,0.000000000,1.000000000,1.129913980,0.000219152,1.081874961,0.000147254,0.002429686,0.980556871,0.000000000,0.661829843,0.940097800,-0.000000000,0.000219152,0.801665528,0.000124021,0.001895751,2.462592293,0.182672320,0.151998028,0.000000000,0.777777778,2.358443814,0.000150381,0.944029846,0.000053152,0.001576840,1.876576717,0.894936395,0.000410172,0.758301432,0.000070869,0.002179228,0.220000000,0.000444428,0.909657297,0.000088587,0.003756068,3.788599780,0.172018470,0.465697148,0.018578107,0.527777778,3.223673517,1.740000000
manthey_DimacsSorter_28_0.cnf,1,3986.000000000,13057.000000000,2202.000000000,11015.000000000,0.810172570,0.185383568,0.020000000,0.199909215,0.285242418,1.177398976,0.000000000,1.000000000,1.406215734,0.001229559,0.423202354,0.000908265,0.010899183,1.137487312,0.000000000,0.571674989,0.844757149,-0.000000000,0.001229559,0.617717763,0.000635497,0.021152973,2.501441234,0.192188450,0.155907512,0.000000000,0.714285714,2.919336870,0.000773736,0.731575615,0.000090785,0.014798003,2.237743277,0.744439401,0.001043742,0.559478539,0.000453926,0.014616432,-0.000000000,0.001798117,1.125564260,0.000453926,0.038492964,3.453196330,0.176462030,0.484222061,0.004716981,0.571428571,3.410868933,0.200000000
manthey_single-ordered-initialized-w42-b8.cnf,1,9072.000000000,73350.000000000,5495.000000000,60812.000000000,0.650955414,0.206176413,0.160000000,0.090360455,0.546999864,0.568538262,0.000000000,1.000000000,0.997300339,0.000668987,0.845539824,0.000363967,0.008917197,0.887320027,0.000000000,0.215270012,0.894708281,-0.000000000,0.000668987,2.469880091,0.000147997,0.014421496,1.148786886,0.614979443,0.163845599,0.000000000,0.860962567,1.243710708,0.000317615,3.232028271,0.000016444,0.009323818,0.845237811,0.653522331,0.000700020,2.146153385,0.000147997,0.013122410,0.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
aaai10-planning-ipc5-pathways-17-step20.cnf,1,50277.000000000,283903.000000000,37813.000000000,249569.000000000,0.329622088,0.137573176,0.640000000,0.151513209,0.490927635,0.971768400,0.000000000,1.000000000,1.080670719,0.000060542,0.932208721,0.000052892,0.001613202,0.473634065,0.000000000,0.893844989,0.960239453,0.020000000,0.000060542,0.693797188,0.000008014,0.000304525,2.693071414,0.384713492,0.292452602,0.000000000,1.000000000,3.041001044,0.000047810,0.920309157,0.000000000,0.000292504,2.718521025,0.900560566,0.000160021,0.839363574,0.000008014,0.000536926,1.700000000,0.000078648,1.373662440,0.000008014,0.003562141,3.043186057,0.226878241,0.606435896,0.009984639,0.733333333,3.101827986,4.440000000
40bits_10.dimacs.cnf,1,446.000000000,12980.000000000,446.000000000,12980.000000000,0.000000000,0.000000000,0.020000000,0.034360555,0.325051478,0.694805451,0.000000000,1.000000000,2.587668338,0.016223821,0.287485404,0.004484305,0.042600897,2.088378627,0.000000000,0.005624037,0.046533128,-0.000000000,0.016223821,1.134491834,0.000693374,0.079198767,5.202259986,0.103594170,0.119541079,0.000000000,0.785714286,3.198442744,0.001150615,0.603404993,0.000077042,0.003697997,3.346723675,0.098844376,0.002545828,0.409844466,0.000462250,0.005238829,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
mrpp_6x6#10_8.cnf,1,3893.000000000,25742.000000000,1630.000000000,17009.000000000,1.388343558,0.513434064,0.060000000,0.095831619,0.400770180,0.777049474,0.000000000,1.000000000,1.814906543,0.002366376,0.244339938,0.001226994,0.003680982,1.344416846,0.000000000,0.065671115,0.369275090,0.000000000,0.002366376,0.575553819,0.000470339,0.005291316,3.831920291,0.263605463,0.158365807,0.000000000,0.741176471,3.771064830,0.000596977,0.467220415,0.000117585,0.001352225,2.697155178,0.319595508,0.002136220,0.292083632,0.000293962,0.003409959,0.000000000,0.004124988,0.402835835,0.000235170,0.009818331,4.618692303,0.373112868,0.278564113,0.048625793,0.679955703,3.605023426,2.160000000
manthey_DimacsSorter_35_1.cnf,1,6945.000000000,23459.000000000,3799.000000000,19124.000000000,0.828112661,0.226678519,0.040000000,0.198650910,0.294722787,1.181622872,0.000000000,1.000000000,1.364410637,0.000684991,0.403097261,0.000526454,0.007896815,1.044151926,0.000000000,0.607665760,0.871052081,-0.000000000,0.000684991,0.639227307,0.000313742,0.011451579,2.263556560,0.190807170,0.155942861,0.000000000,0.736842105,2.745193018,0.000468438,0.758063722,0.000052290,0.009778289,2.237951257,0.778707383,0.000581126,0.581973358,0.000209161,0.006693160,0.020000000,0.000933788,1.227296464,0.000261452,0.031374190,3.290372571,0.173488711,0.459560942,0.003338880,0.549450549,3.277594243,0.280000000
dated-10-17-u.cnf,1,229544.000000000,1070757.000000000,62370.000000000,393294.000000000,2.680359147,1.722535813,2.580000000,0.158583655,0.346280960,1.049870403,0.000000000,1.000000000,1.305242794,0.000041834,0.378509473,0.000032067,0.000192400,0.971554531,0.000000000,0.567308426,0.927674971,0.040000000,0.000041834,0.553648755,0.000015256,0.000104248,2.866164098,0.239777697,0.158491042,0.000000000,0.809523810,3.130810935,0.000026755,0.505438991,0.000007628,0.000071194,2.608284499,0.745020265,0.000040771,0.555959790,0.000010171,0.000101705,4.580000000,0.000063205,0.654135198,0.000007628,0.000205953,3.628911466,0.140332816,0.718074315,0.027401385,0.611111111,3.208696954,8.740000000
manthey_DimacsSorterHalf_30_0.cnf,1,3612.000000000,11612.000000000,1947.000000000,9266.000000000,0.855161787,0.253183682,0.020000000,0.210123030,0.278621792,1.187580702,0.000000000,1.000000000,1.330607222,0.001343392,0.365979871,0.001027221,0.008217771,1.058136803,0.000000000,0.583639111,0.864234837,-0.000000000,0.001343392,0.484641887,0.000647529,0.011979279,2.257043734,0.185461357,0.143887776,0.000000000,0.666666667,2.717937790,0.000905997,0.568603894,0.000107921,0.009928772,2.234239413,0.764947118,0.001132981,0.451713937,0.000431686,0.007554500,-0.000000000,0.001688378,0.844004545,0.000539607,0.024174401,3.193782769,0.182666653,0.447457083,0.008888889,0.549450549,3.283202099,0.080000000
gss-19-s100.cnf,1,31435.000000000,94548.000000000,13682.000000000,56829.000000000,1.297544219,0.663728026,0.440000000,0.240757360,0.189879469,1.548930087,0.000000000,1.000000000,1.131973514,0.000217475,1.081900916,0.000146177,0.002411928,0.980914641,0.000000000,0.661440462,0.940083408,-0.000000000,0.000217475,0.799328470,0.000123177,0.001865245,2.460904486,0.182015329,0.152301284,0.000000000,0.777777778,2.354194573,0.000149127,0.939773223,0.000052790,0.001566102,1.876013738,0.893997783,0.000406984,0.759141038,0.000070387,0.002164388,0.240000000,0.000439569,0.911200787,0.000087983,0.003730490,3.780412828,0.172360286,0.466100066,0.018378002,0.527777778,3.226942610,1.760000000
manthey_single-ordered-initialized-w28-b8.cnf,1,4480.000000000,34024.000000000,2640.000000000,26923.000000000,0.696969697,0.263752182,0.060000000,0.098057423,0.558341198,0.563652349,0.000000000,1.000000000,1.005616846,0.001377835,0.811481739,0.000757576,0.013257576,0.921005161,0.000000000,0.228577796,0.898116852,0.000000000,0.001377835,2.000493199,0.000334287,0.021134346,1.445591988,0.592061784,0.180439852,0.000000000,0.866666667,1.578665013,0.000649861,2.671040033,0.000037143,0.013780039,1.066244313,0.648070423,0.001434281,1.766316939,0.000334287,0.019240055,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
6s17-opt.cnf,1,47657.000000000,139163.000000000,15646.000000000,75909.000000000,2.045954238,0.833287225,0.480000000,0.206115217,0.471903422,0.776447885,0.000000000,1.000000000,1.655187061,0.000211560,0.585965209,0.000127828,0.003131791,1.447586652,0.000000000,0.274987156,0.717372117,0.000000000,0.000211560,2.241553311,0.000039521,0.052088685,3.046627938,0.166245684,0.138696380,0.000000000,1.000000000,3.092822566,0.000086042,2.128746475,0.000000000,0.019220382,2.480289571,0.517659303,0.000241467,1.537585626,0.000039521,0.033922196,0.300000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.160000000
manthey_DimacsSorterHalf_37_6.cnf,1,7665.000000000,26841.000000000,4819.000000000,24472.000000000,0.590578958,0.096804511,0.060000000,0.196918928,0.309337641,1.158556623,0.000000000,1.000000000,1.393539907,0.000555327,0.520914710,0.000415024,0.008715501,1.060361387,0.000000000,0.603710363,0.871404054,0.000000000,0.000555327,0.647303080,0.000326904,0.007151030,2.366858896,0.213446865,0.178005352,0.000000000,0.833333333,2.871864880,0.000359890,0.821521228,0.000040863,0.004740111,2.375818767,0.765773128,0.000459694,0.643981650,0.000245178,0.005434783,0.040000000,0.000750439,1.308921096,0.000204315,0.042252370,3.347461383,0.181538886,0.489824086,0.001941711,0.571428571,3.353477800,0.400000000
jgiraldezlevy.2200.9086.08.40.149.cnf,1,2200.000000000,9086.000000000,2133.000000000,8981.000000000,0.031411158,0.011691348,0.000000000,0.237501392,0.497724826,0.587551119,0.000000000,1.000000000,0.720552639,0.001424636,0.065012450,0.001406470,0.002344116,0.165295143,0.000000000,0.000000000,0.962142300,0.000000000,0.001424636,0.280758051,0.000111346,0.003563078,2.656817116,0.224099741,0.168021773,0.000000000,1.000000000,3.293921576,0.000693656,0.400491137,0.000000000,0.002449616,2.295286640,0.488809709,0.002473315,0.251832013,0.000222692,0.005790001,0.000000000,0.002131459,0.236934610,0.000668077,0.004899232,2.907123071,0.140728336,0.266747400,0.057142857,0.378787879,2.669138140,0.100000000
jgiraldezlevy.2200.9086.08.40.35.cnf,1,2200.000000000,9086.000000000,2140.000000000,9018.000000000,0.028037383,0.007540475,0.000000000,0.237303171,0.491820064,0.586579430,0.000000000,1.000000000,0.702808861,0.001418658,0.064739164,0.001401869,0.002803738,0.155910229,0.000000000,0.000000000,0.965956975,0.000000000,0.001418658,0.284854193,0.000221779,0.003548459,2.674805609,0.231419278,0.174834179,0.000000000,1.000000000,3.359518671,0.000703733,0.401653520,0.000000000,0.002328676,2.317641462,0.497782213,0.002441120,0.258681841,0.000443557,0.005544467,0.000000000,0.002108102,0.243176120,0.000443557,0.004768241,2.926564861,0.142667266,0.278178188,0.056410256,0.454545455,2.708340348,0.100000000
bjrb07amba10andenv.cnf,1,196289.000000000,588610.000000000,45996.000000000,280393.000000000,3.267523263,1.099232149,5.120000000,0.164041185,0.500855226,0.715793974,0.000000000,1.000000000,1.850920445,0.000079636,0.406851704,0.000043482,0.001065310,1.664221288,0.000000000,0.221753039,0.544892348,0.020000000,0.000079636,14.294272450,0.000021399,0.113890147,2.936980751,0.179937444,0.134662102,0.000000000,0.750000000,3.202916008,0.000024227,13.184525754,0.000003566,0.038139326,2.163755136,0.416839935,0.000074924,10.505195009,0.000017832,0.070308460,2.500000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.760000000
manthey_DimacsSorter_35_7.cnf,1,6838.000000000,23203.000000000,3734.000000000,18865.000000000,0.831280129,0.229949642,0.060000000,0.197932680,0.297371378,1.180366116,0.000000000,1.000000000,1.371143268,0.000695282,0.403457259,0.000535619,0.009373326,1.040580847,0.000000000,0.611396766,0.871296051,0.000000000,0.000695282,0.672990413,0.000318049,0.013994169,2.266618583,0.190495876,0.157948348,0.000000000,0.804878049,2.763390602,0.000476776,0.797301937,0.000053008,0.011237742,2.251937376,0.780386960,0.000590359,0.614363455,0.000212033,0.009064405,0.020000000,0.000969040,1.326941061,0.000265041,0.040286244,3.288967101,0.175238067,0.460186006,0.002635037,0.549450549,3.268821029,0.320000000
jgiraldezlevy.2200.9086.08.40.83.cnf,1,2200.000000000,9086.000000000,2136.000000000,9015.000000000,0.029962547,0.007875763,0.000000000,0.236938436,0.493318543,0.587840578,0.000000000,1.000000000,0.734099815,0.001424488,0.069622150,0.001404494,0.002340824,0.178160645,0.000000000,0.000000000,0.959290072,0.000000000,0.001424488,0.284935498,0.000443705,0.003771492,2.680811116,0.228466211,0.172451671,0.000000000,1.000000000,3.318135354,0.000699677,0.396836590,0.000000000,0.001885746,2.301757838,0.493843594,0.002456268,0.256540655,0.000776484,0.006100943,0.000000000,0.002125969,0.243106295,0.000665557,0.004547976,2.933938953,0.141813790,0.272998918,0.058974359,0.476190476,2.696919482,0.120000000
complete-500-0.1-15-98765432150015.cnf,1,1000.000000000,74037.000000000,1000.000000000,74037.000000000,0.000000000,0.000000000,0.380000000,0.013506760,0.642976862,0.725082089,0.000000000,1.000000000,1.369576719,0.017541540,1.313760484,0.002000000,0.070000000,1.656924856,0.000000000,0.681848265,0.681848265,-0.000000000,0.017541540,0.938965452,0.001040021,0.048178613,5.475547746,0.459592244,0.384073955,0.000000000,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.260000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,24.900000000
manthey_single-ordered-initialized-w48-b8.cnf,1,11520.000000000,94764.000000000,7004.000000000,79420.000000000,0.644774415,0.193200705,0.200000000,0.088189373,0.544183813,0.569617575,0.000000000,1.000000000,0.996559790,0.000526537,0.860181971,0.000285551,0.008138207,0.879914123,0.000000000,0.212087635,0.893553261,0.020000000,0.000526537,2.640962599,0.000113322,0.012704608,1.019014423,0.621534731,0.157726354,0.000000000,0.876777251,1.102858437,0.000250391,3.437828553,0.000012591,0.008196928,0.783596934,0.655275749,0.000553272,2.286615164,0.000113322,0.011558801,0.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
UCG-20-5p0.cnf,1,224587.000000000,1190673.000000000,120843.000000000,820631.000000000,0.858502354,0.450923740,3.220000000,0.147256197,0.403271332,0.908299302,0.000000000,1.000000000,1.406719911,0.000023188,0.431787759,0.000016550,0.000082752,1.087668851,0.000000000,0.519406408,0.867023059,0.080000000,0.000023188,0.739115597,0.000008530,0.000081644,3.045544179,0.226451381,0.146959094,0.000000000,0.833333333,2.926259995,0.000012903,0.852276641,0.000003656,0.000056054,2.698059977,0.692746192,0.000025378,0.656174807,0.000006093,0.000088956,16.880000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
48bits_12.dimacs.cnf,1,685.000000000,18047.000000000,685.000000000,18047.000000000,0.000000000,0.000000000,0.040000000,0.037956447,0.335121417,0.683407340,0.000000000,1.000000000,2.586072733,0.010341934,0.298923382,0.002919708,0.033576642,2.100389913,0.000000000,0.005873552,0.048706156,-0.000000000,0.010341934,1.244060077,0.000554109,0.059899152,5.222930571,0.085657365,0.104197359,0.000000000,0.785714286,3.033848935,0.000826310,0.639796216,0.000166233,0.002936776,3.338533386,0.109436471,0.001864232,0.417898127,0.000332465,0.004155815,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.080000000
bob12m02-opt.cnf,1,26256.000000000,77806.000000000,6306.000000000,36931.000000000,3.163653663,1.106793751,0.160000000,0.170750860,0.484998968,0.750372008,0.000000000,1.000000000,1.471675621,0.000563243,0.322171256,0.000317158,0.007770377,0.936728656,0.000000000,0.038829168,0.460588665,-0.000000000,0.000563243,1.201498533,0.000189543,0.017789933,2.764919801,0.042320289,0.080501574,0.000000000,0.862068966,1.566124540,0.000201630,1.095099978,0.000054155,0.004088706,2.635588251,0.386287942,0.000346142,1.570573388,0.000135388,0.010587311,0.040000000,0.001989347,1.415672568,0.000135388,0.018900111,4.601001737,0.202863254,0.685855481,0.006448138,0.733333333,3.782454849,10.880000000
E02F22.cnf,1,13574.000000000,1301188.000000000,11448.000000000,1262053.000000000,0.185709294,0.031008999,11.860000000,0.009070934,0.966448319,0.173290526,0.000000000,1.000000000,0.205696234,0.000723407,0.427897245,0.000174703,0.005852551,2.204110153,0.000000000,0.023642430,0.044865786,0.120000000,0.000723407,4.033201404,0.000005547,0.016201380,1.608575446,0.373302988,0.228168779,0.189873418,0.998850310,1.110715913,0.000674487,4.311791490,0.000001585,0.016179194,1.617097601,0.974911513,0.000030550,1.293370734,0.000019809,0.000463530,1.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,36.620000000
50bits_10.dimacs.cnf,1,842.000000000,19430.000000000,842.000000000,19430.000000000,0.000000000,0.000000000,0.020000000,0.043335049,0.344030018,0.671043921,0.000000000,1.000000000,2.566258469,0.008110361,0.308810212,0.002375297,0.028503563,2.105484183,0.000000000,0.007720021,0.057025219,-0.000000000,0.008110361,1.235112276,0.000514668,0.055635615,5.128374046,0.084974611,0.104345784,0.000000000,0.785714286,3.004342610,0.000726036,0.586510974,0.000154400,0.002573340,3.264262172,0.120586722,0.001725299,0.427609575,0.000308801,0.004168811,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.080000000
manthey_single-ordered-initialized-w52-b6.cnf,1,9672.000000000,80015.000000000,4890.000000000,64924.000000000,0.977914110,0.232441008,0.140000000,0.075318834,0.528466705,0.590669497,0.000000000,1.000000000,1.035619501,0.000764890,0.761147755,0.000408998,0.011451943,0.954743269,0.000000000,0.205486415,0.848484382,-0.000000000,0.000764890,2.524324429,0.000138624,0.013785349,1.048862989,0.621049588,0.178208817,0.001117318,0.917808219,0.945411297,0.000355602,3.035036213,0.000015403,0.007778325,0.886668245,0.648127041,0.000690800,2.194729709,0.000107818,0.010751032,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
008-80-8.cnf,1,13408.000000000,478484.000000000,12698.000000000,306923.000000000,0.055914317,0.558970817,0.600000000,0.041371940,0.375423126,0.589520554,0.000000000,1.000000000,2.190098171,0.000453186,0.201316525,0.000157505,0.001575051,1.444261219,0.000000000,0.001111028,0.038139859,0.020000000,0.000453186,0.440466106,0.000052130,0.000882958,3.726415250,0.117433640,0.068549042,0.000000000,0.672727273,2.815587539,0.000073741,0.497857267,0.000003258,0.000188972,3.286863260,0.193572981,0.000063581,0.418564736,0.000016291,0.000136842,0.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
dated-5-13-u.cnf,1,138808.000000000,626501.000000000,44244.000000000,248601.000000000,2.137329355,1.520106516,1.560000000,0.177971931,0.370975790,1.041604591,0.000000000,1.000000000,1.375095464,0.000060101,0.446414561,0.000045204,0.000271223,1.013198461,0.000000000,0.615331394,0.892003652,0.020000000,0.000060101,0.445125461,0.000024135,0.000156878,2.732985984,0.249896725,0.156515862,0.000000000,0.764705882,3.082899933,0.000037321,0.457102661,0.000012068,0.000112630,2.453619708,0.755206134,0.000061686,0.451072472,0.000016090,0.000160900,2.320000000,0.000081487,0.563262280,0.000012068,0.000329846,3.483942687,0.155451754,0.613145094,0.026447252,0.611111111,3.271775987,3.620000000
UCG-15-10p1.cnf,1,200003.000000000,1019221.000000000,102501.000000000,667154.000000000,0.951229744,0.527714741,2.740000000,0.153639190,0.409499037,0.920769164,0.000000000,1.000000000,1.423081413,0.000027111,0.440736044,0.000019512,0.000097560,1.083214714,0.000000000,0.549660198,0.863024129,0.040000000,0.000027111,0.711710348,0.000010492,0.000101925,3.000460273,0.229293059,0.147811494,0.000000000,0.800000000,2.896474982,0.000015281,0.842726504,0.000004497,0.000068950,2.669966707,0.705202997,0.000029667,0.632541834,0.000007495,0.000115416,12.280000000,0.000046019,0.585763691,0.000004497,0.000274299,3.755070498,0.113756141,0.700997337,0.013538947,0.500000000,2.864917897,18.740000000
manthey_single-ordered-initialized-w18-b8.cnf,1,2160.000000000,15054.000000000,1195.000000000,10964.000000000,0.807531381,0.373039037,0.020000000,0.108993068,0.577403310,0.553642820,0.000000000,1.000000000,1.028808870,0.002998478,0.783341501,0.001673640,0.020920502,0.978085436,0.000000000,0.251641737,0.901587012,-0.000000000,0.002998478,1.561353319,0.000820868,0.031740241,1.843912950,0.557216225,0.192432724,0.008645533,0.800000000,1.994543001,0.001400933,2.151785210,0.000091208,0.021068953,1.350546046,0.641919008,0.003100600,1.420804783,0.000820868,0.029004013,-0.000000000,0.015228689,0.830902713,0.000456038,0.106165633,4.568387947,0.124126882,0.909991074,0.012124663,0.802298851,2.728302134,11.380000000
manthey_single-ordered-initialized-w12-b6.cnf,1,792.000000000,5055.000000000,350.000000000,3144.000000000,1.262857143,0.607824427,0.000000000,0.111323155,0.586057814,0.561970227,0.000000000,1.000000000,1.176680336,0.010210832,0.678701458,0.005714286,0.045714286,1.169912623,0.000000000,0.280216285,0.861005089,0.000000000,0.010210832,1.089398920,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.043893130,0.000000000,0.031929229,0.770316809,0.001590331,0.155534351,4.604331770,0.184458616,0.747833940,0.024853114,0.861471861,3.293464525,1.200000000
6s13-opt.cnf,1,52436.000000000,153557.000000000,17338.000000000,84146.000000000,2.024339601,0.824887695,0.520000000,0.206046633,0.469307001,0.779398658,0.000000000,1.000000000,1.648589670,0.000190479,0.571149353,0.000115354,0.002826162,1.446493895,0.000000000,0.275841989,0.718703206,-0.000000000,0.000190479,2.158560622,0.000035652,0.045777577,3.031547520,0.163894636,0.136233933,0.000000000,1.000000000,3.073944234,0.000078011,2.089200419,0.000011884,0.017291375,2.451594400,0.520547620,0.000214055,1.519973464,0.000035652,0.029543888,0.360000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorterHalf_37_3.cnf,1,6634.000000000,23392.000000000,4156.000000000,21298.000000000,0.596246391,0.098319091,0.040000000,0.195135693,0.329986316,1.120332323,0.000000000,1.000000000,1.393622846,0.000637489,0.508388756,0.000481232,0.008662175,1.038754302,0.000000000,0.609399944,0.875762982,-0.000000000,0.000637489,0.627675297,0.000375622,0.007418537,2.304087340,0.216811595,0.187646147,0.000000000,0.809523810,2.872783977,0.000419332,0.825078471,0.000046953,0.004930040,2.347477422,0.770776599,0.000533359,0.644714605,0.000234764,0.005493474,0.020000000,0.000803409,1.242266092,0.000234764,0.037233543,3.239061482,0.185642851,0.466281625,0.002528421,0.666666667,3.308327613,0.300000000
manthey_DimacsSorterHalf_29_2.cnf,1,5467.000000000,18397.000000000,3328.000000000,16515.000000000,0.642728365,0.113957009,0.040000000,0.201513775,0.289592233,1.176205344,0.000000000,1.000000000,1.356825291,0.000808869,0.467579125,0.000600962,0.008413462,1.085749662,0.000000000,0.579533757,0.857462913,-0.000000000,0.000808869,0.564058563,0.000484408,0.007023918,2.256532162,0.200168664,0.165044257,0.000000000,0.722222222,2.836578983,0.000513938,0.713950743,0.000060551,0.004965183,2.333973861,0.748168332,0.000665370,0.549771929,0.000363306,0.005389040,0.020000000,0.001081889,1.071905234,0.000302755,0.032697548,3.346853330,0.182393001,0.492778835,0.003717396,0.571428571,3.429726400,0.240000000
UCG-20-10p0.cnf,1,258799.000000000,1372149.000000000,137482.000000000,941958.000000000,0.882420971,0.456698706,3.680000000,0.145953429,0.403076048,0.912588213,0.000000000,1.000000000,1.424396660,0.000020399,0.449127938,0.000014547,0.000072737,1.101572787,0.000000000,0.523907648,0.867641657,0.100000000,0.000020399,0.729943906,0.000007431,0.000074313,3.085182063,0.225883629,0.149509347,0.000000000,0.833333333,2.920477642,0.000011409,0.840723023,0.000003185,0.000049896,2.745249922,0.697367611,0.000022303,0.641779707,0.000005308,0.000083868,22.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
minandmaxor128.cnf,1,249327.000000000,746444.000000000,76979.000000000,397738.000000000,2.238896322,0.876722868,4.300000000,0.193541980,0.495854389,0.719227152,0.000000000,1.000000000,1.476989369,0.000044506,0.879236637,0.000025981,0.003325582,1.385115099,0.000000000,0.282872142,0.778801623,0.040000000,0.000044506,2.505437385,0.000017600,0.001780066,2.286623290,0.161938033,0.187188780,0.000000000,0.976923077,2.293486481,0.000017295,1.896426220,0.000002514,0.000895062,1.975472102,0.536156968,0.000039658,2.874620368,0.000012571,0.001915834,6.920000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
atco_enc2_opt2_05_9.cnf,1,14912.000000000,390488.000000000,10495.000000000,354901.000000000,0.420867080,0.100273034,0.900000000,0.029571627,0.577782530,0.404587971,0.000000000,1.000000000,1.842318260,0.000422190,0.355818662,0.000190567,0.001429252,1.712524359,0.000000000,0.061253702,0.335578091,0.040000000,0.000422190,1.911122920,0.000005635,0.003533380,4.297150341,0.374326047,0.283990835,0.000000000,1.000000000,4.156279200,0.000237637,1.941108801,0.000002818,0.002093542,3.696075937,0.551331216,0.000195356,0.733296250,0.000005635,0.000633980,0.180000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
MD5-30-5.cnf,1,8905.000000000,68103.000000000,6533.000000000,67744.000000000,0.363079749,0.005299362,0.120000000,0.096436585,0.444786254,0.450270192,0.000000000,1.000000000,1.624109979,0.000639492,0.193529394,0.000306138,0.000918414,1.151585568,0.000000000,0.009225909,0.226425957,0.000000000,0.000639492,0.692838589,0.000118092,0.001594237,3.225334025,0.021602996,0.055756724,0.000000000,0.416666667,0.880506625,0.000251611,0.693827601,0.000029523,0.000797119,2.972274881,0.399799244,0.000145929,0.422564478,0.000059046,0.000295229,0.060000000,0.001468287,0.400295493,0.000103330,0.002568493,4.851497598,0.332530977,0.233881401,0.130952381,0.601845523,3.417335684,18.100000000
mrpp_6x6#12_8.cnf,1,3893.000000000,25537.000000000,1551.000000000,15788.000000000,1.509993553,0.617494299,0.060000000,0.098239169,0.409899924,0.769475573,0.000000000,1.000000000,1.813705208,0.002479378,0.243597478,0.001289491,0.003868472,1.341007086,0.000000000,0.065176083,0.371864707,0.000000000,0.002479378,0.574958442,0.000380035,0.005700532,4.015108404,0.264924099,0.161992137,0.000000000,0.741176471,3.913857423,0.000636455,0.467914173,0.000126678,0.001456803,2.719642276,0.323790220,0.002221733,0.313946366,0.000316696,0.003673676,0.000000000,0.004316737,0.411833584,0.000253357,0.010577654,4.676561794,0.375349354,0.268909963,0.062388592,0.733333333,3.615056073,1.940000000
atco_enc1_opt1_04_32.cnf,1,57220.000000000,582308.000000000,28587.000000000,495733.000000000,1.001609123,0.174640381,1.520000000,0.057666123,0.592362980,0.497201888,0.000000000,1.000000000,1.887192729,0.000151652,0.423188963,0.000069962,0.000839542,1.852588708,0.000000000,0.132006544,0.408096697,0.040000000,0.000151652,2.757035295,0.000004034,0.002529587,3.732115293,0.322829630,0.216524537,0.000000000,1.000000000,3.608665647,0.000082538,2.828761645,0.000002017,0.001621841,3.316490428,0.554992304,0.000075280,1.116578715,0.000004034,0.000453873,1.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
MD5-28-1.cnf,1,8282.000000000,62558.000000000,5875.000000000,61050.000000000,0.409702128,0.024701065,0.100000000,0.096232596,0.444620803,0.450645225,0.000000000,1.000000000,1.625096757,0.000712303,0.192869943,0.000340426,0.001021277,1.148148811,0.000000000,0.008517609,0.224422604,-0.000000000,0.000712303,0.678841683,0.000131040,0.001769042,3.246776129,0.021273895,0.055806104,0.000000000,0.416666667,0.843485191,0.000279118,0.683081093,0.000032760,0.000884521,3.001869161,0.397837838,0.000161921,0.415944914,0.000065520,0.000311220,0.060000000,0.001608776,0.391890952,0.000114660,0.002850123,4.857880155,0.337796559,0.239740831,0.135593220,0.601845523,3.458709906,15.880000000
manthey_DimacsSorter_30_1.cnf,1,3606.000000000,11560.000000000,1927.000000000,9110.000000000,0.871302543,0.268935236,0.020000000,0.211525796,0.275249072,1.188823533,0.000000000,1.000000000,1.313428946,0.001359273,0.360965663,0.001037883,0.010378827,1.061518108,0.000000000,0.579582876,0.862349067,-0.000000000,0.001359273,0.503408892,0.000658617,0.015587267,2.236145336,0.185092687,0.146522223,0.000000000,0.692307692,2.680809943,0.000910340,0.592312591,0.000109769,0.012074643,2.198377106,0.760043908,0.001151469,0.454094579,0.000439078,0.009989023,-0.000000000,0.001746359,0.900645185,0.000548847,0.031064764,3.197473002,0.183037869,0.448087584,0.007092022,0.549450549,3.294177060,0.100000000
mrpp_8x8#18_13.cnf,1,11726.000000000,95876.000000000,5543.000000000,65687.000000000,1.115460942,0.459588655,0.280000000,0.084385038,0.387730195,0.738215382,0.000000000,1.000000000,1.811582188,0.000708434,0.246694611,0.000360815,0.001082446,1.356108357,0.000000000,0.048198274,0.372889613,0.020000000,0.000708434,0.600778829,0.000091342,0.001628937,3.928716269,0.260385340,0.176870135,0.000000000,0.782178218,3.878419355,0.000182819,0.451972874,0.000030447,0.000548054,2.720803257,0.327873095,0.000654782,0.309090314,0.000076119,0.001050436,0.040000000,0.001260914,0.410614962,0.000045671,0.003029519,4.783517376,0.354190819,0.330577466,0.044326241,0.733333333,3.643420867,11.440000000
008-80-4.cnf,1,13408.000000000,478480.000000000,12703.000000000,307376.000000000,0.055498701,0.556660247,0.580000000,0.041327234,0.375466743,0.589475103,0.000000000,1.000000000,2.190533099,0.000453170,0.201338450,0.000157443,0.001574431,1.444309361,0.000000000,0.001099630,0.037937249,0.040000000,0.000453170,0.439762102,0.000052054,0.000881656,3.717702136,0.117475237,0.068448923,0.000000000,0.672727273,2.812320999,0.000073713,0.497689167,0.000003253,0.000188694,3.280841430,0.193495914,0.000063749,0.423749303,0.000016267,0.000159414,0.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
002-80-12.cnf,1,13408.000000000,478488.000000000,12701.000000000,307271.000000000,0.055664908,0.557218221,0.600000000,0.041334848,0.375447991,0.589576128,0.000000000,1.000000000,2.190191543,0.000453158,0.201277531,0.000157468,0.001574679,1.444064777,0.000000000,0.001158586,0.038073883,0.040000000,0.000453158,0.439930180,0.000052071,0.000881958,3.717319408,0.117466706,0.068420400,0.000000000,0.672727273,2.813879478,0.000073751,0.497450974,0.000006509,0.000188758,3.281792079,0.193614106,0.000063609,0.419276748,0.000016272,0.000123669,0.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
6s11-opt.cnf,1,33279.000000000,97312.000000000,11093.000000000,54947.000000000,2.000000000,0.771015706,0.300000000,0.201885453,0.482206538,0.772377438,0.000000000,1.000000000,1.606861871,0.000297572,0.568599385,0.000180294,0.004417200,1.406417961,0.000000000,0.247365643,0.720021111,0.020000000,0.000297572,1.592540369,0.000054598,0.037854660,3.032203839,0.154674847,0.134989400,0.000000000,1.000000000,3.082880226,0.000121312,1.845319722,0.000018199,0.019273118,2.489118995,0.512657652,0.000329078,1.335360341,0.000054598,0.028481992,0.140000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_single-ordered-initialized-w20-b7.cnf,1,2170.000000000,15509.000000000,1148.000000000,11354.000000000,0.890243902,0.365950326,0.020000000,0.101109741,0.566205070,0.563351146,0.000000000,1.000000000,1.070017871,0.003145141,0.752857949,0.001742160,0.023519164,0.999241109,0.000000000,0.243790735,0.884446010,-0.000000000,0.003145141,1.602030319,0.000792672,0.031354589,1.948775433,0.559826464,0.201573533,0.002816901,0.837209302,1.960230289,0.001471262,2.105521412,0.000088075,0.019552581,1.380600580,0.644266338,0.003074328,1.436881120,0.000704597,0.026774705,-0.000000000,0.016430638,0.820985804,0.000440373,0.123568786,4.554524076,0.132888245,0.865847925,0.012920082,0.812307692,2.984797866,14.700000000
mrpp_8x8#20_20.cnf,1,18278.000000000,145067.000000000,8981.000000000,105805.000000000,1.035185391,0.371078872,0.540000000,0.084882567,0.388138872,0.744146813,0.000000000,1.000000000,1.827959521,0.000445029,0.235835505,0.000222692,0.000668077,1.329242240,0.000000000,0.031964463,0.340267473,-0.000000000,0.000445029,0.604409183,0.000056708,0.001011294,3.822406632,0.265059487,0.171882223,0.000000000,0.782178218,3.776087426,0.000109439,0.496872149,0.000028354,0.000340249,2.722115203,0.311232929,0.000415998,0.294280639,0.000047257,0.000652143,0.120000000,0.000804153,0.386782807,0.000028354,0.001880818,4.725354732,0.363189346,0.313799623,0.048309179,0.733333333,3.608569746,19.060000000
atco_enc3_opt1_13_48.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
post-cbmc-aes-d-r2.cnf,1,279119.000000000,1607567.000000000,4925.000000000,255997.000000000,55.673908629,5.279632183,11.900000000,0.019238507,0.309975709,0.729743099,0.000000000,1.000000000,1.968612967,0.001440847,0.170791510,0.000406091,0.012994924,1.083769193,0.000000000,0.011410290,0.035168381,0.020000000,0.001440847,2.099211160,0.000027344,0.016992387,3.903866966,0.094867115,0.139575460,0.000000000,0.800000000,2.633356287,0.000067499,1.619625168,0.000000000,0.000667977,3.088189722,0.062676516,0.000054517,0.922977331,0.000015625,0.001175795,0.120000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
UR-15-10p1.cnf,1,199996.000000000,1019200.000000000,102505.000000000,668201.000000000,0.951085313,0.525289546,2.740000000,0.153404440,0.408602884,0.924986634,0.000000000,1.000000000,1.426284529,0.000027105,0.443162875,0.000019511,0.000097556,1.084489235,0.000000000,0.553412820,0.862128312,0.040000000,0.000027105,0.717223838,0.000010476,0.000106255,2.959234625,0.227754136,0.148192760,0.000000000,0.800000000,2.851004508,0.000015347,0.843229999,0.000004490,0.000070338,2.655826592,0.708716389,0.000029670,0.640794526,0.000007483,0.000116731,12.240000000,0.000046334,0.593784073,0.000004490,0.000278359,3.766433765,0.112794685,0.703465530,0.013308240,0.500000000,2.851322351,19.480000000
jgiraldezlevy.2200.9086.08.40.2.cnf,1,2200.000000000,9086.000000000,2140.000000000,9019.000000000,0.028037383,0.007428762,0.000000000,0.237276860,0.499722807,0.588204022,0.000000000,1.000000000,0.722608261,0.001419796,0.067265755,0.001401869,0.002336449,0.163682689,0.000000000,0.000000000,0.964075840,0.000000000,0.001419796,0.290221592,0.000554385,0.003215434,2.694259824,0.231894457,0.175041094,0.000000000,1.000000000,3.358657758,0.000713240,0.401280800,0.000110877,0.002106664,2.337323124,0.504934028,0.002458465,0.261672213,0.000997893,0.005765606,0.000000000,0.002113020,0.247634660,0.000554385,0.005543852,2.941451851,0.141427951,0.271191355,0.048163265,0.400000000,2.690116075,0.100000000
post-cbmc-aes-d-r2-noholes.cnf,1,276895.000000000,1607567.000000000,4925.000000000,255997.000000000,55.222335025,5.279632183,11.880000000,0.019238507,0.309975709,0.729743099,0.000000000,1.000000000,1.968612967,0.001440847,0.170791510,0.000406091,0.012994924,1.083769193,0.000000000,0.011410290,0.035168381,0.020000000,0.001440847,2.099211160,0.000027344,0.016992387,3.903866966,0.094867115,0.139575460,0.000000000,0.800000000,2.633356287,0.000067499,1.619625168,0.000000000,0.000667977,3.088189722,0.062676516,0.000054517,0.922977331,0.000015625,0.001175795,0.100000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
group_mulr.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
50bits_14.dimacs.cnf,1,834.000000000,19141.000000000,834.000000000,19141.000000000,0.000000000,0.000000000,0.020000000,0.043571391,0.343568093,0.673315160,0.000000000,1.000000000,2.563425977,0.008156246,0.309588138,0.002398082,0.028776978,2.104111149,0.000000000,0.007732093,0.057781725,-0.000000000,0.008156246,1.236105145,0.000522439,0.056475628,5.131572941,0.088236393,0.106031782,0.000000000,0.833333333,3.051098364,0.000731540,0.599249334,0.000104488,0.002612194,3.273515488,0.120631106,0.001742590,0.423227488,0.000313463,0.004283998,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_DimacsSorter_28_4.cnf,1,3666.000000000,11883.000000000,2050.000000000,10053.000000000,0.788292683,0.182035213,0.020000000,0.203919228,0.274785068,1.201612690,0.000000000,1.000000000,1.379817760,0.001317796,0.414203463,0.000975610,0.012195122,1.134422411,0.000000000,0.571670148,0.844921914,-0.000000000,0.001317796,0.546897193,0.000696310,0.016910375,2.471485111,0.193268271,0.156415211,0.000000000,0.741935484,2.918003686,0.000831107,0.663970402,0.000099473,0.012533572,2.257625400,0.744255446,0.001118559,0.493635989,0.000596837,0.010743062,-0.000000000,0.001793439,0.961321475,0.000497364,0.041082264,3.380219086,0.181580574,0.467484622,0.004877706,0.571428571,3.385406125,0.140000000
6s16-opt.cnf,1,30823.000000000,89899.000000000,10202.000000000,50419.000000000,2.021270339,0.783038140,0.280000000,0.202344354,0.489406855,0.769184755,0.000000000,1.000000000,1.614352131,0.000323871,0.594183347,0.000196040,0.004802980,1.405304265,0.000000000,0.249112438,0.720660862,-0.000000000,0.000323871,1.654631137,0.000059501,0.042206311,3.023747850,0.154648137,0.137099728,0.000000000,1.000000000,3.088153830,0.000131144,1.958052743,0.000019834,0.021837006,2.487536822,0.511156508,0.000365625,1.352522577,0.000059501,0.031634900,0.140000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_8x8#18_20.cnf,1,18278.000000000,146601.000000000,8967.000000000,106301.000000000,1.038362886,0.379112144,0.500000000,0.084354804,0.385411238,0.731848375,0.000000000,1.000000000,1.814590763,0.000443175,0.240371607,0.000223040,0.000669120,1.338209996,0.000000000,0.036170873,0.355913867,-0.000000000,0.000443175,0.604078468,0.000056443,0.001006576,3.850084055,0.265702144,0.176725880,0.000000000,0.782178218,3.846423298,0.000112902,0.456874568,0.000018814,0.000338661,2.678258942,0.322809757,0.000413911,0.293501916,0.000047036,0.000649100,0.100000000,0.000796118,0.392954855,0.000028222,0.001872043,4.739191141,0.361314691,0.319268555,0.044326241,0.733333333,3.618205820,19.180000000
48bits_14.dimacs.cnf,1,688.000000000,18150.000000000,688.000000000,18150.000000000,0.000000000,0.000000000,0.040000000,0.037906336,0.333124344,0.687811349,0.000000000,1.000000000,2.585330297,0.010309036,0.298770331,0.002906977,0.033430233,2.101029053,0.000000000,0.006225895,0.048319559,-0.000000000,0.010309036,1.245922543,0.000550964,0.059559229,5.186722951,0.085637339,0.102809270,0.000000000,0.785714286,3.022195836,0.000820600,0.620797353,0.000165289,0.002754821,3.333585662,0.108870523,0.001861106,0.415118754,0.000330579,0.004132231,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
partial-5-15-s.cnf,1,218494.000000000,1013700.000000000,106240.000000000,601416.000000000,1.056607681,0.685522168,2.620000000,0.176649773,0.389055420,0.992296730,0.000000000,1.000000000,1.381937787,0.000025796,0.483331949,0.000018825,0.000094127,1.030166155,0.000000000,0.599167631,0.873112787,0.040000000,0.000025796,0.505874364,0.000011639,0.000061521,2.557093514,0.263890239,0.163167966,0.000000000,0.800000000,2.879754510,0.000015217,0.502081089,0.000004988,0.000039906,2.329642529,0.738550354,0.000027870,0.489625750,0.000006651,0.000066510,13.000000000,0.000037479,0.618580226,0.000004988,0.000144659,3.499339454,0.150874435,0.640053561,0.024555904,0.607142857,3.133775249,10.080000000
ACG-15-10p0.cnf,1,262253.000000000,1131732.000000000,158000.000000000,777919.000000000,0.659829114,0.454819846,3.020000000,0.203105979,0.352132464,1.082532467,0.000000000,1.000000000,1.383059414,0.000016905,0.444383363,0.000012658,0.000063291,1.026221894,0.000000000,0.623094435,0.874547350,0.060000000,0.000016905,0.783709096,0.000008998,0.000087413,2.515500298,0.160124862,0.160436802,0.000000000,0.714285714,2.481803194,0.000010373,0.827264160,0.000003856,0.000060418,2.251143434,0.752733896,0.000017335,0.834625416,0.000006427,0.000093840,28.680000000,0.000028297,0.777706072,0.000003856,0.000236528,3.633418237,0.152443349,0.528125014,0.013538947,0.500000000,2.984312617,14.800000000
atco_enc1_opt2_10_14.cnf,1,9569.000000000,150316.000000000,6577.000000000,134488.000000000,0.454918656,0.117690798,0.220000000,0.048903991,0.571421229,0.460226965,0.000000000,1.000000000,1.968281065,0.000676198,0.414450137,0.000304090,0.003344990,1.866117642,0.000000000,0.097465945,0.363117899,-0.000000000,0.000676198,1.851296023,0.000014871,0.007762774,4.270408806,0.362908407,0.280136559,0.000000000,1.000000000,4.079308871,0.000416673,2.017696371,0.000007436,0.004156505,3.814617822,0.597257748,0.000343598,0.699520099,0.000014871,0.001018678,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
complete-500-0.1-8-9876543215008.cnf,1,1000.000000000,74222.000000000,1000.000000000,74222.000000000,0.000000000,0.000000000,0.380000000,0.013473094,0.643348055,0.724462224,0.000000000,1.000000000,1.375548135,0.017614279,1.312790080,0.002000000,0.070000000,1.664446354,0.000000000,0.681091860,0.681091860,-0.000000000,0.017614279,0.939863070,0.001037428,0.047896850,5.484209980,0.459455028,0.384938045,0.000000000,0.877918425,3.093824266,0.001706098,0.218646744,0.001023955,0.002775457,4.492177902,0.687828407,0.007393010,0.012989298,0.007073374,0.007706610,0.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,21.140000000
mrpp_4x4#6_16.cnf,1,3328.000000000,17876.000000000,1446.000000000,13684.000000000,1.301521438,0.306343175,0.040000000,0.105670856,0.419058755,0.744477464,0.000000000,1.000000000,1.818220715,0.002691860,0.229286848,0.001383126,0.004149378,1.285165090,0.000000000,0.036612102,0.361809412,-0.000000000,0.002691860,0.511798870,0.000803859,0.005261619,3.158625111,0.255772951,0.154710580,0.000000000,0.661971831,3.353171850,0.000697072,0.452768914,0.000146156,0.001461561,2.558140937,0.323151125,0.002408745,0.263569750,0.000730780,0.003434668,-0.000000000,0.004586967,0.356000403,0.000438468,0.009573224,4.280523894,0.373277577,0.255091010,0.105911330,0.888888889,3.512531946,1.400000000
atco_enc2_opt2_20_11.cnf,1,167075.000000000,6571833.000000000,142408.000000000,6129633.000000000,0.173213584,0.072141350,11.520000000,0.023232712,0.554338327,0.599348145,0.000000000,1.000000000,1.134387242,0.000022923,0.449531474,0.000014044,0.000175552,0.730336188,0.000000000,0.064716109,0.901379577,0.520000000,0.000022923,1.041853348,0.000000326,0.000298550,4.991717969,0.360164005,0.340798293,0.000000000,1.000000000,3.924912350,0.000012094,1.529830480,0.000000000,0.000290882,4.422807009,0.515561535,0.000030644,0.876485060,0.000000326,0.000120888,24.120000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.160000000
vmpc_33.cnf,1,1089.000000000,177375.000000000,1089.000000000,177375.000000000,0.000000000,0.000000000,0.120000000,0.006139535,0.595348837,0.547410452,0.000000000,1.000000000,0.674662295,0.002403741,0.291487670,0.001836547,0.030303030,0.673407034,0.000000000,0.393488372,0.999627907,0.020000000,0.002403741,0.003661477,0.002350951,0.002407329,0.618656934,0.527081924,0.001341064,0.522458629,0.534772182,0.289579800,0.002392466,0.003678734,0.002339676,0.002396054,0.618656934,0.999627907,0.001343022,0.080569244,0.000715997,0.001392530,0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,21.620000000
UTI-20-5p1.cnf,1,225926.000000000,1207249.000000000,121873.000000000,838748.000000000,0.853782216,0.439346502,3.160000000,0.145303476,0.400175539,0.911455794,0.000000000,1.000000000,1.408242353,0.000023014,0.435323641,0.000016411,0.000082053,1.091512085,0.000000000,0.516455479,0.868697153,0.080000000,0.000023014,0.745087552,0.000008346,0.000081073,3.025603802,0.223423758,0.148870986,0.000000000,0.846153846,2.884840504,0.000012855,0.847815414,0.000003577,0.000054844,2.729757376,0.694246663,0.000025095,0.659022991,0.000005961,0.000089419,17.140000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
aes_32_2_keyfind_1.cnf,1,528.000000000,5016.000000000,312.000000000,4584.000000000,0.692307692,0.094240838,0.000000000,0.068062827,0.351657941,0.703201889,0.000000000,1.000000000,1.998197073,0.018864389,0.244129380,0.006410256,0.025641026,1.430374903,0.000000000,0.006980803,0.104712042,0.000000000,0.018864389,0.663170954,0.001745201,0.033813264,3.301647554,0.015904252,0.022448124,0.000000000,0.100000000,1.324128290,0.002194086,0.459746653,0.000436300,0.004799302,2.748766809,0.145287958,0.003096053,0.430308727,0.001090750,0.005235602,0.000000000,0.051734312,0.271032806,0.003272251,0.071335079,4.736210982,0.634919137,0.192015554,0.232835201,0.768595041,3.132136037,9.200000000
manthey_single-ordered-initialized-w48-b7.cnf,1,9912.000000000,81505.000000000,5580.000000000,67156.000000000,0.776344086,0.213666687,0.160000000,0.083090119,0.538578342,0.575697084,0.000000000,1.000000000,1.026035349,0.000663568,0.807429982,0.000358423,0.010215054,0.914532784,0.000000000,0.210286497,0.875275478,0.020000000,0.000663568,2.547875851,0.000134016,0.013639883,1.226977966,0.617296102,0.167596259,0.001092896,0.893719807,1.189952515,0.000313359,3.196656173,0.000014891,0.008309012,0.849578505,0.652942403,0.000654193,2.212195388,0.000119126,0.011614748,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorterHalf_30_3.cnf,1,3740.000000000,11875.000000000,2006.000000000,9334.000000000,0.864406780,0.272230555,0.020000000,0.214913220,0.262731233,1.207028645,0.000000000,1.000000000,1.304487204,0.001304475,0.354985711,0.000997009,0.009970090,1.058947116,0.000000000,0.576708807,0.864795372,-0.000000000,0.001304475,0.551800424,0.000642811,0.021105635,2.233986771,0.179856698,0.139429667,0.000000000,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.000000000,0.001778141,1.053948605,0.000535676,0.030426398,3.209540999,0.183352513,0.452696967,0.007116383,0.549450549,3.294900960,0.120000000
complete-400-0.1-16-98765432140016.cnf,1,800.000000000,47114.000000000,800.000000000,47114.000000000,0.000000000,0.000000000,0.180000000,0.016980091,0.639421466,0.725654070,0.000000000,1.000000000,1.467145612,0.017887491,1.275650193,0.002500000,0.076250000,1.623260348,0.000000000,0.680477141,0.680477141,0.000000000,0.017887491,0.924174111,0.001294732,0.053635862,5.298363968,0.442787396,0.364331245,0.000000000,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.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.780000000
jgiraldezlevy.2200.9086.08.40.85.cnf,1,2200.000000000,9086.000000000,2136.000000000,8964.000000000,0.029962547,0.013609996,0.000000000,0.238286479,0.494351480,0.587982352,0.000000000,1.000000000,0.718612161,0.001421991,0.062639087,0.001404494,0.002340824,0.159896468,0.000000000,0.000000000,0.962739848,0.000000000,0.001421991,0.287779035,0.000557787,0.003123606,2.686939399,0.233188296,0.171324764,0.000000000,1.000000000,3.347749450,0.000702665,0.401951549,0.000111557,0.002008032,2.311375093,0.496764837,0.002452381,0.258512654,0.001004016,0.004685408,0.000000000,0.002114238,0.245482399,0.000669344,0.004908523,2.929308770,0.142729562,0.271702263,0.049941928,0.416666667,2.698443474,0.120000000
atco_enc3_opt2_10_14.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
mrpp_8x8#22_20.cnf,1,18278.000000000,143734.000000000,8983.000000000,106536.000000000,1.034732272,0.349158970,0.500000000,0.084318916,0.382978524,0.730431131,0.000000000,1.000000000,1.814666587,0.000445169,0.233637474,0.000222643,0.000667928,1.320245802,0.000000000,0.028563115,0.338477134,-0.000000000,0.000445169,0.594646341,0.000056319,0.001004355,3.796565664,0.261197327,0.173052957,0.000000000,0.782178218,3.765023014,0.000112689,0.455252529,0.000018773,0.000337914,2.682679415,0.315724262,0.000412768,0.295732276,0.000046932,0.000647668,0.100000000,0.000799414,0.385122876,0.000028159,0.001867913,4.725222780,0.360243346,0.313121287,0.056691993,0.671600370,3.603545756,19.080000000
manthey_single-ordered-initialized-w50-b6.cnf,1,9000.000000000,74139.000000000,4549.000000000,59973.000000000,0.978456804,0.236206293,0.140000000,0.075850800,0.529201586,0.590381547,0.000000000,1.000000000,1.037787763,0.000821752,0.760156441,0.000439657,0.011870741,0.957272197,0.000000000,0.206359528,0.848881997,-0.000000000,0.000821752,2.474433750,0.000150068,0.014323112,1.074419669,0.619451880,0.180444104,0.001164144,0.914691943,0.976840260,0.000381944,2.979246699,0.000016674,0.008086972,0.908527685,0.647941574,0.000742116,2.152766682,0.000116719,0.011171694,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
manthey_DimacsSorterHalf_30_7.cnf,1,3922.000000000,12464.000000000,2080.000000000,9880.000000000,0.885576923,0.261538462,0.020000000,0.210526316,0.268394062,1.192328253,0.000000000,1.000000000,1.310567520,0.001264404,0.358914556,0.000961538,0.009615385,1.069858469,0.000000000,0.572874494,0.858906883,-0.000000000,0.001264404,0.519223328,0.000607287,0.019331984,2.246496911,0.181752240,0.137023160,0.000000000,0.666666667,2.724983130,0.000846407,0.613472655,0.000101215,0.015283401,2.196343132,0.759210526,0.001070733,0.456839414,0.000404858,0.012651822,-0.000000000,0.001678482,0.995698391,0.000506073,0.030566802,3.188520332,0.178741570,0.445770333,0.006622517,0.549450549,3.262790398,0.120000000
manthey_DimacsSorterHalf_33_1.cnf,1,3762.000000000,12254.000000000,2313.000000000,11008.000000000,0.626459144,0.113190407,0.020000000,0.210119913,0.292832774,1.157085023,0.000000000,1.000000000,1.348669805,0.001163246,0.463529701,0.000864678,0.008646779,1.067549970,0.000000000,0.568949855,0.862372820,-0.000000000,0.001163246,0.433499601,0.000726744,0.005904797,2.271747300,0.202939467,0.166903788,0.000000000,0.692307692,2.843410635,0.000741354,0.583091123,0.000090843,0.003997093,2.318979351,0.746366279,0.000968757,0.454758152,0.000545058,0.004723837,-0.000000000,0.001402637,0.798526385,0.000454215,0.026344477,3.177757595,0.191031710,0.450029592,0.006920251,0.571428571,3.345402250,0.100000000
manthey_DimacsSorterHalf_37_9.cnf,1,8680.000000000,31088.000000000,5466.000000000,28360.000000000,0.587998536,0.096191819,0.060000000,0.192736248,0.313262519,1.161474697,0.000000000,1.000000000,1.391237848,0.000488273,0.537275686,0.000365898,0.008781559,1.049255147,0.000000000,0.615373766,0.876022567,0.000000000,0.000488273,0.709967659,0.000282087,0.007087447,2.378547557,0.215022678,0.181823848,0.000000000,0.851851852,2.891700018,0.000318645,0.891213496,0.000035261,0.004583921,2.408441540,0.772566996,0.000403727,0.702428686,0.000211566,0.005359661,0.040000000,0.000683632,1.473467514,0.000176305,0.047108604,3.399514277,0.178731566,0.508832748,0.001495886,0.666666667,3.382188379,0.600000000
ACG-20-5p0.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
56bits_12.dimacs.cnf,1,1063.000000000,20928.000000000,1063.000000000,20928.000000000,0.000000000,0.000000000,0.040000000,0.050793196,0.362493513,0.644395520,0.000000000,1.000000000,2.519049005,0.006018754,0.308102286,0.001881468,0.025399812,2.054004400,0.000000000,0.009030963,0.066418196,-0.000000000,0.006018754,0.910222622,0.000430046,0.047209480,5.095063485,0.083611267,0.099298296,0.000000000,0.785714286,3.005621683,0.000645496,0.518506983,0.000095566,0.001959098,3.190449682,0.137136850,0.001611132,0.426306099,0.000191131,0.004157110,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
partial-5-17-s.cnf,1,252328.000000000,1189896.000000000,129041.000000000,742042.000000000,0.955409521,0.603542657,3.100000000,0.173899860,0.389225786,0.981390816,0.000000000,1.000000000,1.379251843,0.000021392,0.483114278,0.000015499,0.000077495,1.037820958,0.000000000,0.585581409,0.871090855,0.040000000,0.000021392,0.544439676,0.000009433,0.000053905,2.554784355,0.262491408,0.163536158,0.000000000,0.818181818,2.821021256,0.000012467,0.537246406,0.000004043,0.000033691,2.291811232,0.731383129,0.000023271,0.511117148,0.000005391,0.000053905,19.020000000,0.000032630,0.654025180,0.000004043,0.000095682,3.508219357,0.146837912,0.661002940,0.030907668,0.607142857,3.161251522,14.440000000
jgiraldezlevy.2200.9086.08.40.93.cnf,1,2200.000000000,9086.000000000,2135.000000000,9013.000000000,0.030444965,0.008099412,0.000000000,0.236880062,0.492928733,0.590501786,0.000000000,1.000000000,0.718056811,0.001424432,0.066418546,0.001405152,0.002810304,0.172566950,0.000000000,0.000000000,0.959391989,0.000000000,0.001424432,0.291906486,0.000332853,0.003772329,2.706660112,0.226783586,0.169136518,0.000000000,1.000000000,3.325663661,0.000697873,0.400927372,0.000000000,0.001886164,2.319428709,0.492177965,0.002452559,0.259905711,0.000665705,0.005880395,0.000000000,0.002144812,0.246956292,0.000554754,0.004770886,2.955484720,0.142003297,0.270528484,0.052631579,0.362637363,2.687640608,0.120000000
50bits_13.dimacs.cnf,1,837.000000000,19228.000000000,837.000000000,19228.000000000,0.000000000,0.000000000,0.020000000,0.043530268,0.344681671,0.668606986,0.000000000,1.000000000,2.562716422,0.008125658,0.308772732,0.002389486,0.028673835,2.101919039,0.000000000,0.007697108,0.057676305,-0.000000000,0.008125658,1.233235952,0.000416060,0.056220096,5.138215477,0.083442148,0.098994321,0.000000000,0.785714286,3.004641432,0.000751779,0.598578093,0.000156022,0.002652382,3.289835294,0.123413772,0.001739672,0.424685570,0.000312045,0.004212607,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.120000000
manthey_single-ordered-initialized-w24-b9.cnf,1,3996.000000000,29400.000000000,2417.000000000,22957.000000000,0.653289201,0.280655138,0.040000000,0.105283791,0.568650429,0.557559664,0.000000000,1.000000000,0.903999513,0.001504405,0.873401427,0.000827472,0.013653289,0.911990823,0.000000000,0.237008320,0.911922289,-0.000000000,0.001504405,1.882048887,0.000392037,0.022825282,1.924186380,0.587350944,0.176483371,0.006993007,0.747899160,1.831452597,0.000703587,2.633174961,0.000043560,0.015681491,1.103225055,0.645859651,0.001642545,1.684727675,0.000435597,0.021954088,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_single-ordered-initialized-w46-b7.cnf,1,9177.000000000,75075.000000000,5178.000000000,61703.000000000,0.772305910,0.216715557,0.160000000,0.083918124,0.539359618,0.575431168,0.000000000,1.000000000,1.025889277,0.000712765,0.783006351,0.000386250,0.010235612,0.915737946,0.000000000,0.211091843,0.875921754,-0.000000000,0.000712765,2.500619442,0.000145860,0.014197041,1.322532416,0.613801093,0.170032246,0.001142857,0.926315789,1.276122426,0.000337113,3.138374900,0.000016207,0.008654360,0.862595357,0.652221124,0.000700192,2.169271955,0.000129653,0.012090174,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_DimacsSorterHalf_36_7.cnf,1,4119.000000000,13249.000000000,2346.000000000,11400.000000000,0.755754476,0.162192982,0.040000000,0.205789474,0.282990393,1.180083146,0.000000000,1.000000000,1.383436447,0.001147231,0.430418732,0.000852515,0.008525149,1.109689322,0.000000000,0.575789474,0.855964912,-0.000000000,0.001147231,0.465868566,0.000614035,0.010175439,2.481053010,0.184065114,0.151725791,0.000000000,0.750000000,2.882723487,0.000740155,0.565014153,0.000087719,0.007894737,2.207037877,0.756140351,0.001001855,0.453707270,0.000526316,0.006315789,-0.000000000,0.001443429,0.810443551,0.000438596,0.025263158,3.281531557,0.178846753,0.431512466,0.006992503,0.571428571,3.300749134,0.120000000
010-23-80.cnf,1,4288.000000000,132592.000000000,3532.000000000,70830.000000000,0.214043035,0.871975152,0.140000000,0.049865876,0.372050718,0.609492851,0.000000000,1.000000000,2.179991089,0.001596380,0.220658019,0.000566251,0.001981880,1.509648519,0.000000000,0.004800226,0.074827051,-0.000000000,0.001596380,0.512823638,0.000084710,0.003769589,4.317149306,0.130017062,0.084543055,0.000000000,0.672727273,3.148630978,0.000275755,0.510023955,0.000028237,0.000734152,3.301809337,0.209402795,0.000232345,0.436147307,0.000070592,0.000465904,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_4x4#4_5.cnf,1,963.000000000,5077.000000000,315.000000000,2620.000000000,2.057142857,0.937786260,0.000000000,0.120229008,0.459351145,0.750041635,0.000000000,1.000000000,1.737304214,0.011595783,0.242163319,0.006349206,0.019047619,1.289584185,0.000000000,0.085114504,0.440076336,0.000000000,0.011595783,0.520597075,0.003053435,0.026717557,3.773919080,0.270408923,0.177903523,0.000000000,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.000000000,0.018918478,0.434833266,0.001908397,0.049236641,4.412895807,0.386631728,0.245071596,0.111111111,0.892857143,3.616211129,0.160000000
k2fix_gr_rcs_w9.shuffled.cnf,1,11313.000000000,305160.000000000,9937.000000000,303750.000000000,0.138472376,0.004641975,0.860000000,0.032714403,0.451578899,1.026003767,0.000000000,1.000000000,1.326838680,0.000357837,0.875752366,0.000201268,0.002314582,0.561110028,0.000000000,0.790251852,0.790251852,0.040000000,0.000357837,0.849178171,0.000003292,0.001804115,4.865793810,0.002622657,0.036387979,0.000000000,1.000000000,0.109315849,0.000122733,0.970759642,0.000000000,0.000829630,4.574039595,0.594982716,0.000620811,0.826093851,0.000026337,0.003315226,0.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
manthey_DimacsSorter_31_4.cnf,1,3903.000000000,12581.000000000,2357.000000000,11222.000000000,0.655918541,0.121101408,0.020000000,0.210033862,0.267505792,1.190440866,0.000000000,1.000000000,1.338041267,0.001153297,0.447781348,0.000848536,0.008485363,1.113142025,0.000000000,0.555426840,0.850026733,-0.000000000,0.001153297,0.468833857,0.000712885,0.008821957,2.256693502,0.192895610,0.154446220,0.000000000,0.666666667,2.813523816,0.000718519,0.588262297,0.000089111,0.005970415,2.283892634,0.733737302,0.000942751,0.456009941,0.000534664,0.006861522,-0.000000000,0.001497745,0.838029811,0.000445553,0.027089645,3.297685753,0.187964947,0.477268264,0.006578947,0.666666667,3.434257613,0.140000000
6s130-opt.cnf,1,49370.000000000,144361.000000000,16430.000000000,80179.000000000,2.004869142,0.800483917,0.480000000,0.204916499,0.475868097,0.770672568,0.000000000,1.000000000,1.648872862,0.000202614,0.586119850,0.000121729,0.002982349,1.447874948,0.000000000,0.262974095,0.715499071,0.020000000,0.000202614,1.738229665,0.000037416,0.032377555,3.039032803,0.168308898,0.139128854,0.000000000,1.000000000,3.096454022,0.000083322,1.620787637,0.000012472,0.010289477,2.457364162,0.523802991,0.000227898,1.300180451,0.000037416,0.017760261,0.300000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.080000000
manthey_DimacsSorter_31_8.cnf,1,5471.000000000,18706.000000000,3331.000000000,16846.000000000,0.642449715,0.110411967,0.040000000,0.197732399,0.297762504,1.168722029,0.000000000,1.000000000,1.376711476,0.000806536,0.467104790,0.000600420,0.010807565,1.089022735,0.000000000,0.585777039,0.857592307,-0.000000000,0.000806536,0.586279881,0.000474890,0.007063991,2.301593123,0.202545740,0.166406771,0.000000000,0.809523810,2.893586554,0.000513348,0.747178049,0.000059361,0.004867624,2.345867824,0.750385848,0.000661653,0.574237179,0.000296806,0.005520598,0.020000000,0.001077714,1.130709485,0.000296806,0.046717322,3.363164367,0.182663540,0.485433522,0.002547746,0.666666667,3.425240292,0.240000000
007-80-8.cnf,1,13408.000000000,478484.000000000,12704.000000000,307387.000000000,0.055415617,0.556617554,0.580000000,0.041329009,0.375392507,0.589415475,0.000000000,1.000000000,2.190268412,0.000453100,0.201278898,0.000157431,0.001574307,1.444233682,0.000000000,0.001148389,0.037978184,0.020000000,0.000453100,0.439808930,0.000045545,0.000881625,3.716710686,0.117477912,0.068702410,0.000000000,0.714285714,2.812406799,0.000073703,0.497554673,0.000006506,0.000188687,3.281885230,0.193521522,0.000063610,0.419637157,0.000016266,0.000130129,0.260000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
jgiraldezlevy.2200.9086.08.40.136.cnf,1,2200.000000000,9086.000000000,2141.000000000,9016.000000000,0.027557216,0.007763975,0.020000000,0.237466726,0.500865129,0.588356810,0.000000000,1.000000000,0.719995851,0.001418569,0.065292953,0.001401214,0.002802429,0.160121269,0.000000000,0.000000000,0.964507542,-0.000000000,0.001418569,0.290588263,0.000332742,0.003660160,2.698443785,0.233710855,0.176224604,0.000000000,1.000000000,3.361332557,0.000699260,0.409403114,0.000000000,0.002107365,2.342075205,0.495785271,0.002464662,0.258833221,0.000665484,0.005545697,-0.000000000,0.002120921,0.246985046,0.000665484,0.004436557,2.952522603,0.140727664,0.274449307,0.051282051,0.380952381,2.693416544,0.120000000
mrpp_6x6#20_10.cnf,1,5291.000000000,41550.000000000,2426.000000000,27348.000000000,1.180956307,0.519306713,0.100000000,0.088708498,0.395215982,0.748202424,0.000000000,1.000000000,1.817723589,0.001618253,0.235410029,0.000824402,0.002473207,1.315535385,0.000000000,0.041465555,0.356186924,-0.000000000,0.001618253,0.625945936,0.000255960,0.003875969,3.910739569,0.258982377,0.158851939,0.000000000,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.020000000,0.002953635,0.411323943,0.000109697,0.007276583,4.744772000,0.360219609,0.305551713,0.060060060,0.888888889,3.628838121,4.480000000
bob12s02.cnf,1,26294.000000000,77920.000000000,6311.000000000,37011.000000000,3.166376169,1.105320040,0.160000000,0.170516873,0.482790579,0.759362177,0.000000000,1.000000000,1.472667673,0.000562668,0.319051356,0.000316907,0.007764221,0.933971926,0.000000000,0.038556105,0.458971657,-0.000000000,0.000562668,1.204833864,0.000189133,0.017751479,2.742080631,0.041927849,0.079535230,0.000000000,0.862068966,1.543109242,0.000202032,1.090184842,0.000054038,0.003593526,2.637225736,0.387803626,0.000345035,1.572207464,0.000135095,0.010213180,0.040000000,0.001995643,1.408510931,0.000135095,0.018832239,4.595372571,0.202196872,0.686600995,0.006448138,1.000000000,3.778970019,10.840000000
6s151.cnf,1,35883.000000000,107188.000000000,13255.000000000,61432.000000000,1.707129385,0.744823545,0.260000000,0.215767027,0.456345555,0.716317354,0.000000000,1.000000000,1.269729108,0.000224099,0.367152599,0.000150886,0.004526594,1.021791287,0.000000000,0.235903112,0.843078526,-0.000000000,0.000224099,1.073450197,0.000113947,0.004671832,2.554612324,0.093727969,0.096432323,0.000000000,0.906250000,2.278790534,0.000101825,0.999309636,0.000016278,0.001920823,2.129168598,0.503239354,0.000208638,1.194710413,0.000081391,0.005322959,0.220000000,0.000648481,1.013995903,0.000081391,0.008562313,4.360753889,0.172391611,0.694463861,0.007580252,0.712121212,3.605182114,3.560000000
jgiraldezlevy.2200.9086.08.40.28.cnf,1,2200.000000000,9086.000000000,2118.000000000,8962.000000000,0.038715770,0.013836197,0.000000000,0.236331176,0.495149892,0.589204788,0.000000000,1.000000000,0.739129235,0.001438926,0.074713404,0.001416431,0.002832861,0.193560767,0.000000000,0.000000000,0.955255523,0.000000000,0.001438926,0.291787639,0.000334747,0.004128543,2.698417094,0.228719800,0.173044552,0.000000000,1.000000000,3.349272278,0.000705950,0.405730093,0.000000000,0.001785316,2.343701415,0.493193484,0.002502856,0.263097300,0.000669493,0.006360187,0.000000000,0.002153306,0.248266036,0.000669493,0.005579112,2.953033762,0.139625109,0.274418916,0.044705882,0.333333333,2.693690288,0.120000000
MD5-29-4.cnf,1,8590.000000000,65312.000000000,6095.000000000,63802.000000000,0.409351928,0.023666970,0.100000000,0.095529921,0.445016353,0.450248629,0.000000000,1.000000000,1.624853985,0.000687273,0.192250792,0.000328138,0.000984413,1.146192417,0.000000000,0.008275603,0.222109025,0.020000000,0.000687273,0.678710133,0.000125388,0.001692737,3.246987945,0.021365310,0.056072543,0.000000000,0.416666667,0.844114349,0.000269342,0.683629275,0.000031347,0.000846368,3.005998635,0.397855867,0.000155773,0.414527852,0.000062694,0.000297796,0.040000000,0.001556536,0.390652567,0.000109714,0.002727187,4.853377610,0.335778035,0.235759340,0.135593220,0.601845523,3.440215317,16.960000000
aes_64_1_keyfind_1.cnf,1,596.000000000,2780.000000000,400.000000000,2248.000000000,0.490000000,0.236654804,0.000000000,0.177935943,0.407769870,0.761171225,0.000000000,1.000000000,1.700614666,0.009973310,0.267903505,0.005000000,0.012500000,1.205814352,0.000000000,0.092526690,0.391459075,0.000000000,0.009973310,0.597986128,0.004003559,0.024466192,2.543529677,0.029116831,0.055434700,0.000000000,0.250000000,1.360608736,0.002264235,0.568112968,0.000889680,0.005338078,2.130840835,0.289590747,0.003914591,0.538784981,0.002224199,0.008896797,0.000000000,0.021019871,0.366953011,0.004003559,0.036032028,3.438301137,0.309537009,0.226856476,0.181168831,0.480000000,2.760686695,0.120000000
jgiraldezlevy.2200.9086.08.40.108.cnf,1,2200.000000000,9086.000000000,2147.000000000,9018.000000000,0.024685608,0.007540475,0.000000000,0.238079397,0.498728469,0.586829756,0.000000000,1.000000000,0.705071602,0.001413413,0.060623364,0.001397299,0.002328831,0.150977573,0.000000000,0.000000000,0.965624307,0.000000000,0.001413413,0.289889366,0.000221779,0.003548459,2.690981698,0.231576154,0.173498504,0.000000000,1.000000000,3.334219957,0.000699424,0.399512818,0.000000000,0.002106897,2.308493203,0.496229763,0.002447829,0.262252936,0.000443557,0.005100909,0.000000000,0.002111816,0.243315456,0.000332668,0.005433577,2.926706124,0.141037506,0.274150901,0.052631579,0.571428571,2.678615702,0.100000000
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
002-80-8.cnf,1,13408.000000000,478484.000000000,12702.000000000,307158.000000000,0.055581798,0.557778082,0.620000000,0.041353310,0.375457131,0.589527845,0.000000000,1.000000000,2.190413172,0.000453105,0.201275300,0.000157456,0.001574555,1.444209512,0.000000000,0.001126456,0.038061844,0.020000000,0.000453105,0.440278166,0.000026045,0.000882282,3.723821403,0.117427008,0.068495791,0.000000000,0.672727273,2.813957379,0.000073727,0.497987747,0.000003256,0.000188828,3.285256094,0.193574642,0.000063608,0.419094572,0.000016278,0.000130226,0.260000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
openstacks-p30_3.085-SAT.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
manthey_DimacsSorter_31_6.cnf,1,4521.000000000,15036.000000000,2725.000000000,13473.000000000,0.659082569,0.116009797,0.020000000,0.202256365,0.294329753,1.159098344,0.000000000,1.000000000,1.373001313,0.000987064,0.443624948,0.000733945,0.009174312,1.096831221,0.000000000,0.570548504,0.852890967,-0.000000000,0.000987064,0.518161972,0.000593780,0.007793365,2.286167600,0.197450420,0.161301309,0.000000000,0.696969697,2.902845642,0.000626002,0.665069179,0.000074223,0.005344021,2.295127462,0.743264306,0.000814623,0.512463570,0.000371113,0.006160469,-0.000000000,0.001275065,0.949577261,0.000371113,0.033251689,3.291513990,0.183260926,0.470695894,0.004484171,0.571428571,3.384900766,0.180000000
manthey_single-ordered-initialized-w18-b7.cnf,1,1827.000000000,12775.000000000,950.000000000,9133.000000000,0.923157895,0.398773678,0.020000000,0.104018395,0.571450426,0.560513936,0.000000000,1.000000000,1.080207581,0.003785809,0.747271182,0.002105263,0.026315789,1.016506447,0.000000000,0.250410599,0.885251287,-0.000000000,0.003785809,1.506182027,0.000985437,0.034599803,2.037310935,0.550027834,0.203736627,0.003174603,0.820512821,2.101350247,0.001767448,1.996315450,0.000109493,0.021679623,1.456518385,0.643162159,0.003693950,1.361053982,0.000875944,0.029563123,-0.000000000,0.018104297,0.819005391,0.000547465,0.124165116,4.676249182,0.138767887,0.855707227,0.014294010,0.812307692,3.003876799,10.080000000
009-23-64.cnf,1,4288.000000000,132576.000000000,3571.000000000,73596.000000000,0.200784094,0.801402250,0.140000000,0.048521659,0.370492509,0.607362459,0.000000000,1.000000000,2.176451839,0.001590791,0.218627593,0.000560067,0.001960235,1.497840491,0.000000000,0.004877982,0.070601663,0.020000000,0.001590791,0.499179561,0.000081526,0.003627915,4.171618882,0.131231479,0.083645353,0.000000000,0.672727273,3.102403407,0.000266648,0.507217691,0.000027175,0.000760911,3.266572112,0.204223056,0.000226878,0.434511161,0.000067938,0.000475569,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
009-80-8.cnf,1,13408.000000000,478484.000000000,12701.000000000,307256.000000000,0.055664908,0.557281225,0.640000000,0.041336866,0.375397478,0.589363625,0.000000000,1.000000000,2.189575783,0.000453159,0.201165995,0.000157468,0.001338477,1.443282025,0.000000000,0.001106569,0.038010649,0.040000000,0.000453159,0.439840424,0.000052074,0.000882001,3.714764592,0.117447919,0.068598100,0.000000000,0.672727273,2.814633412,0.000073736,0.497023385,0.000006509,0.000188768,3.279493095,0.193571484,0.000063461,0.416978102,0.000016273,0.000107402,0.280000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
UCG-20-5p1.cnf,1,224986.000000000,1204430.000000000,121248.000000000,834371.000000000,0.855585247,0.443518531,3.800000000,0.145316652,0.400247122,0.911555847,0.000000000,1.000000000,1.399944193,0.000023064,0.430320797,0.000016495,0.000082476,1.082551630,0.000000000,0.517375364,0.869874432,0.100000000,0.000023064,0.747414895,0.000008390,0.000080300,2.993225568,0.221257797,0.148078982,0.000000000,0.840000000,2.861109220,0.000012941,0.847190864,0.000003596,0.000055131,2.718782307,0.695340562,0.000025240,0.655778738,0.000005993,0.000089888,18.840000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
countbitssrl032.cnf,1,18607.000000000,55724.000000000,6781.000000000,34365.000000000,1.743990562,0.621533537,0.160000000,0.197322858,0.380051228,0.944867704,0.000000000,1.000000000,1.434799010,0.000456432,0.437576156,0.000294942,0.005308951,1.256529764,0.000000000,0.324632620,0.668703623,-0.000000000,0.000456432,1.183102733,0.000232795,0.008293322,1.833125923,0.077520986,0.058195308,0.000000000,0.600000000,1.767132863,0.000192946,1.268796104,0.000029099,0.003724720,1.568758219,0.541393860,0.000486763,1.053137656,0.000174596,0.006401862,0.060000000,0.001553037,1.147429873,0.000203696,0.011028663,3.152329599,0.128945558,0.474343792,0.008776559,0.527272727,2.931257229,4.080000000
hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf,1,163622.000000000,488120.000000000,28580.000000000,187665.000000000,4.725052484,1.601017771,1.980000000,0.152292649,0.506885342,0.721876544,0.000000000,1.000000000,1.751465964,0.000123541,0.383080089,0.000069979,0.001714486,1.557300724,0.000000000,0.207646604,0.582085098,0.000000000,0.000123541,1.990247041,0.000005329,0.003767351,3.116443090,0.134481194,0.125673514,0.000000000,1.000000000,2.917349071,0.000047495,1.904006091,0.000000000,0.001422748,2.635351116,0.473236885,0.000106813,1.587791878,0.000005329,0.002365918,1.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorter_32_1.cnf,1,4927.000000000,16333.000000000,2805.000000000,14051.000000000,0.756506239,0.162408370,0.040000000,0.199629920,0.294873776,1.172596267,0.000000000,1.000000000,1.408887014,0.000957043,0.434949739,0.000713012,0.010695187,1.112571509,0.000000000,0.587431500,0.853106540,-0.000000000,0.000957043,0.592265287,0.000498185,0.014945555,2.490164891,0.192932443,0.159694623,0.000000000,0.777777778,2.888203787,0.000614263,0.726220580,0.000071169,0.011031243,2.254783917,0.756387446,0.000822976,0.549967916,0.000427016,0.010034873,0.020000000,0.001307771,1.087979005,0.000355847,0.040708846,3.382992647,0.178186838,0.464228011,0.003514810,0.571428571,3.364763782,0.200000000
6s133.cnf,1,48258.000000000,140968.000000000,16163.000000000,77097.000000000,1.985708099,0.828449875,0.500000000,0.209644993,0.452138856,0.799194997,0.000000000,1.000000000,1.669807811,0.000206629,0.614195104,0.000123739,0.003093485,1.482845110,0.000000000,0.296340973,0.717122586,0.000000000,0.000206629,1.929221401,0.000051883,0.038107838,2.991812941,0.179286239,0.140508276,0.000000000,1.000000000,3.049646787,0.000087460,1.871493727,0.000000000,0.013943474,2.451145907,0.549917636,0.000238518,1.369459409,0.000051883,0.021764790,0.320000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.100000000
jgiraldezlevy.2200.9086.08.40.109.cnf,1,2200.000000000,9086.000000000,2150.000000000,9031.000000000,0.023255814,0.006090134,0.000000000,0.238068874,0.495371498,0.583970703,0.000000000,1.000000000,0.692031041,0.001409460,0.057447046,0.001395349,0.002325581,0.136689274,0.000000000,0.000000000,0.970102979,0.000000000,0.001409460,0.294550790,0.000221459,0.003211162,2.710852751,0.223678620,0.169018079,0.000000000,1.000000000,3.328961113,0.000690181,0.415900772,0.000000000,0.002214594,2.332881741,0.490754069,0.002430594,0.264562157,0.000442919,0.005757945,0.000000000,0.002120748,0.238703486,0.000775108,0.004650648,2.917974918,0.141209010,0.268020786,0.056410256,0.428571429,2.682421209,0.120000000
010-22-144.cnf,1,4128.000000000,126564.000000000,3267.000000000,60949.000000000,0.263544536,1.076555809,0.140000000,0.053602192,0.373284143,0.613987429,0.000000000,1.000000000,2.184193207,0.001697651,0.229889237,0.000612182,0.002142639,1.543788626,0.000000000,0.007022265,0.087368127,-0.000000000,0.001697651,0.573079364,0.000114850,0.004249454,4.410163950,0.129488392,0.087503557,0.000000000,0.672727273,3.219694333,0.000305001,0.522844119,0.000016407,0.000885987,3.308465491,0.218937144,0.000259501,0.452984131,0.000082036,0.000541436,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
010-80-12.cnf,1,13408.000000000,478488.000000000,12706.000000000,307415.000000000,0.055249488,0.556488786,0.640000000,0.041331750,0.375394981,0.589479292,0.000000000,1.000000000,2.190128036,0.000453001,0.201261441,0.000157406,0.001337951,1.444064132,0.000000000,0.001177561,0.038046289,0.040000000,0.000453001,0.440025676,0.000039035,0.000881544,3.718379691,0.117457808,0.068512707,0.000000000,0.672727273,2.814854530,0.000073707,0.497367558,0.000003253,0.000188670,3.279882423,0.193575460,0.000063608,0.419148256,0.000016265,0.000123611,0.280000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
58bits_13.dimacs.cnf,1,1097.000000000,23771.000000000,1096.000000000,23761.000000000,0.000912409,0.000420858,0.040000000,0.046126005,0.357299592,0.648386502,0.000000000,1.000000000,2.553106244,0.006047142,0.304944159,0.001824818,0.025547445,2.078367866,0.000000000,0.007996296,0.059551366,-0.000000000,0.006047142,0.979461832,0.000378772,0.041580742,5.174746734,0.081630038,0.100199909,0.000000000,0.785714286,2.971583962,0.000595230,0.537306037,0.000084172,0.001893860,3.232348484,0.127099028,0.001486211,0.412615728,0.000168343,0.003829805,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.100000000
aaai10-planning-ipc5-TPP-21-step11.cnf,1,99736.000000000,783991.000000000,97280.000000000,779390.000000000,0.025246711,0.005903335,1.480000000,0.124815561,0.436803172,1.114165373,0.000000000,1.000000000,0.936718774,0.000023662,0.995932846,0.000020559,0.000935444,0.277435118,0.000000000,0.954418199,0.964197642,0.080000000,0.000023662,0.848503589,0.000006415,0.000493976,2.569502934,0.427190007,0.314477334,0.000000000,0.968421053,2.539250661,0.000019628,0.973482264,0.000003849,0.000481146,2.344723510,0.954606808,0.000061585,0.810706681,0.000005132,0.000799343,12.240000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
q_query_3_L200_coli.sat.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
6s168-opt.cnf,1,5638.000000000,16519.000000000,1924.000000000,9330.000000000,1.930353430,0.770525188,0.040000000,0.206216506,0.444041385,0.751813126,0.000000000,1.000000000,1.456608699,0.001628942,0.502897713,0.001039501,0.025467775,1.140460395,0.000000000,0.222400857,0.717148982,-0.000000000,0.001628942,0.924977062,0.000643087,0.029046088,2.429031791,0.091425426,0.104647423,0.000000000,0.866666667,2.117604473,0.000861237,1.093282216,0.000107181,0.014898178,2.352363894,0.583065380,0.001164174,1.260688337,0.000535906,0.014898178,-0.000000000,0.004103785,0.941891812,0.000428725,0.027116827,4.243974820,0.250375092,0.634045510,0.018009950,1.000000000,3.609809060,0.520000000
minxorminand064.cnf,1,40042.000000000,119357.000000000,4857.000000000,48581.000000000,7.244183652,1.456865853,0.740000000,0.099977357,0.637798728,0.535157663,0.000000000,1.000000000,1.995718527,0.000885188,0.889428502,0.000411777,0.026559605,1.810060585,0.000000000,0.392190362,0.522817562,0.000000000,0.000885188,1.492691126,0.000144089,0.007122126,3.308075063,0.198105362,0.263437513,0.000000000,0.925925926,2.672844404,0.000202367,1.446252786,0.000020584,0.002655359,2.647578002,0.456742348,0.000930903,1.056336153,0.000102921,0.005310718,0.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
003-80-8.cnf,1,13408.000000000,478484.000000000,12700.000000000,307161.000000000,0.055748031,0.557762867,0.660000000,0.041346395,0.375470510,0.589531393,0.000000000,1.000000000,2.189988630,0.000453171,0.201237775,0.000157480,0.001574803,1.443919389,0.000000000,0.001103656,0.038048450,0.040000000,0.000453171,0.440173917,0.000026045,0.000882273,3.719604253,0.117440869,0.068640282,0.000000000,0.672727273,2.815424822,0.000073721,0.497679442,0.000003256,0.000188826,3.284511103,0.193530429,0.000063564,0.418147955,0.000016278,0.000130225,0.280000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
46bits_12.dimacs.cnf,1,697.000000000,17080.000000000,697.000000000,17080.000000000,0.000000000,0.000000000,0.020000000,0.040807963,0.337536599,0.680842968,0.000000000,1.000000000,2.574135577,0.009949298,0.304359127,0.002869440,0.031563845,2.106091943,0.000000000,0.007494145,0.054859485,-0.000000000,0.009949298,1.237600084,0.000526932,0.063290398,5.165745401,0.086698166,0.103179950,0.000000000,0.806451613,3.049958368,0.000821688,0.598958900,0.000175644,0.002985948,3.257577684,0.113231850,0.001954008,0.416318913,0.000351288,0.004274005,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.100000000
beempgsol2b1.cnf,1,26455.000000000,76534.000000000,7112.000000000,33500.000000000,2.719769404,1.284597015,0.340000000,0.212298507,0.411729344,0.879319951,0.000000000,1.000000000,1.323875517,0.000443833,1.222254328,0.000281215,0.056664792,1.266653748,0.000000000,0.320358209,0.812119403,-0.000000000,0.000443833,1.375374294,0.000208955,0.023522388,2.203656737,0.141577218,0.167478121,0.000000000,0.985257985,2.144587179,0.000198840,1.474872131,0.000059701,0.012029851,2.151791344,0.544746269,0.001217207,2.410897005,0.000149254,0.036358209,0.060000000,0.001688536,1.850549665,0.000149254,0.270865672,4.197121114,0.195344691,0.719802592,0.000840132,0.730769231,3.306775594,11.840000000
manthey_single-ordered-initialized-w22-b8.cnf,1,2992.000000000,21730.000000000,1705.000000000,16496.000000000,0.754838710,0.317289040,0.040000000,0.103358390,0.568132640,0.558498155,0.000000000,1.000000000,1.025132123,0.002132571,0.823402612,0.001173021,0.017008798,0.954312844,0.000000000,0.240118817,0.899551406,-0.000000000,0.002132571,1.738334867,0.000545587,0.026430650,1.757077922,0.579451515,0.187394254,0.006896552,0.757009346,1.886373259,0.000994287,2.372630884,0.000060621,0.017398157,1.229551010,0.645126091,0.002204391,1.567030992,0.000545587,0.024127061,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_single-ordered-initialized-w44-b6.cnf,1,7128.000000000,57855.000000000,3598.000000000,46296.000000000,0.981100611,0.249675998,0.120000000,0.077717297,0.531806999,0.589330907,0.000000000,1.000000000,1.043279231,0.001036831,0.756639204,0.000555864,0.013340745,0.966221195,0.000000000,0.209456541,0.850246242,0.000000000,0.001036831,2.317808708,0.000194401,0.016221704,1.160225979,0.613887769,0.187606233,0.001331558,0.903743316,1.063329231,0.000481495,2.804640860,0.000021600,0.009180059,0.982003772,0.647291343,0.000936154,2.021411765,0.000151201,0.012657681,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorterHalf_35_9.cnf,1,8300.000000000,28853.000000000,4570.000000000,23732.000000000,0.816192560,0.215784595,0.080000000,0.192566998,0.313459758,1.158099207,0.000000000,1.000000000,1.384897305,0.000565846,0.415489665,0.000437637,0.008752735,1.028978450,0.000000000,0.622829934,0.873967639,-0.000000000,0.000565846,0.726719963,0.000252823,0.013357492,2.275723617,0.195366911,0.163180542,0.000000000,0.791666667,2.766870900,0.000391221,0.872350240,0.000042137,0.011082083,2.254627141,0.787038598,0.000481950,0.665805163,0.000168549,0.008174617,0.040000000,0.000803497,1.476141866,0.000210686,0.041547278,3.284741932,0.171587703,0.457280467,0.002028398,0.549450549,3.241423402,0.520000000
007-80-12.cnf,1,13408.000000000,478488.000000000,12703.000000000,307309.000000000,0.055498701,0.557025665,0.640000000,0.041336245,0.375449933,0.589590458,0.000000000,1.000000000,2.190145409,0.000453077,0.201257257,0.000157443,0.001259545,1.443975418,0.000000000,0.001148681,0.038078937,0.040000000,0.000453077,0.440038280,0.000032541,0.000881849,3.716499791,0.117482351,0.068491552,0.000000000,0.672727273,2.813337407,0.000073722,0.497440406,0.000006508,0.000188735,3.282735022,0.193599927,0.000063590,0.418147865,0.000016270,0.000123654,0.280000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_8x8#20_16.cnf,1,14534.000000000,116684.000000000,7024.000000000,82943.000000000,1.069191344,0.406797439,0.480000000,0.084684663,0.389229953,0.744470815,0.000000000,1.000000000,1.825272161,0.000565906,0.238435428,0.000284738,0.000854214,1.335993148,0.000000000,0.036265869,0.348866089,0.000000000,0.000565906,0.599801674,0.000072339,0.001290043,3.850458332,0.262193282,0.172508990,0.000000000,0.782178218,3.801775420,0.000140958,0.482481994,0.000036169,0.000434033,2.721053937,0.315421434,0.000524947,0.301978941,0.000060282,0.000831897,0.080000000,0.001015963,0.395369739,0.000036169,0.002399238,4.745440112,0.358989492,0.318808809,0.048309179,0.733333333,3.617011624,16.600000000
manthey_single-ordered-initialized-w22-b6.cnf,1,2112.000000000,15395.000000000,1033.000000000,11229.000000000,1.044530494,0.371003651,0.020000000,0.091993944,0.553326500,0.579087645,0.000000000,1.000000000,1.091767482,0.003550308,0.727412671,0.001936108,0.026137464,1.042340783,0.000000000,0.235639861,0.858847627,-0.000000000,0.003550308,1.599686051,0.000801496,0.031614569,1.703951723,0.570305567,0.218917839,0.002816901,0.818181818,1.662811767,0.001638425,2.014667570,0.000089055,0.018256301,1.436585107,0.642710838,0.003200984,1.429468299,0.000623386,0.024757325,-0.000000000,0.018370005,0.798566402,0.000445276,0.148722059,4.373152558,0.146356872,0.802298541,0.013869228,0.861471861,2.953704368,19.600000000
004-80-8.cnf,1,13408.000000000,478484.000000000,12706.000000000,307403.000000000,0.055249488,0.556536533,0.640000000,0.041333364,0.375440424,0.589434573,0.000000000,1.000000000,2.190435338,0.000453034,0.201327418,0.000157406,0.001574059,1.444316231,0.000000000,0.001135317,0.037998979,0.040000000,0.000453034,0.439993836,0.000026024,0.000881579,3.719650623,0.117515262,0.068585346,0.000000000,0.672727273,2.814011938,0.000073701,0.497830122,0.000003253,0.000188677,3.282513836,0.193540727,0.000063681,0.420668611,0.000016265,0.000139882,0.280000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
q_query_3_L150_coli.sat.cnf,1,486992.000000000,2456708.000000000,91522.000000000,944203.000000000,4.321037565,1.601885400,20.200000000,0.096930427,0.509487681,0.616413020,0.000000000,1.000000000,1.250812903,0.000038784,0.450048040,0.000021853,0.000207600,0.999776513,0.000000000,0.083134665,0.825552344,0.060000000,0.000038784,2.854908240,0.000001059,0.001279386,2.170757375,0.384820017,0.140223295,0.000000000,1.000000000,2.145461792,0.000013356,2.766432404,0.000000000,0.000959539,2.109662133,0.430121489,0.000029366,3.439134048,0.000002118,0.002526999,10.800000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_single-ordered-initialized-w20-b8.cnf,1,2560.000000000,18240.000000000,1444.000000000,13599.000000000,0.772853186,0.341275094,0.020000000,0.106184278,0.572157742,0.556608249,0.000000000,1.000000000,1.020516182,0.002490610,0.791076455,0.001385042,0.018698061,0.960590935,0.000000000,0.245165086,0.901242738,-0.000000000,0.002490610,1.660555182,0.000661813,0.028825649,1.768492754,0.566370808,0.190024448,0.007672634,0.818181818,1.920243272,0.001167289,2.268902673,0.000073535,0.019045518,1.278968676,0.643576734,0.002582478,1.497885495,0.000661813,0.026325465,-0.000000000,0.013841741,0.834033058,0.000367674,0.105669535,4.500820654,0.118400897,0.924144248,0.010976170,0.802298851,2.730515383,19.780000000
mrpp_4x4#6_5.cnf,1,963.000000000,5002.000000000,341.000000000,2903.000000000,1.824046921,0.723045126,0.000000000,0.117464692,0.441887702,0.752721227,0.000000000,1.000000000,1.744931362,0.010722046,0.245499579,0.005865103,0.017595308,1.299820994,0.000000000,0.080950741,0.455390975,0.000000000,0.010722046,0.554870762,0.003789184,0.024801929,3.636262784,0.257827393,0.165020618,0.000000000,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.000000000,0.018001025,0.452467333,0.001722356,0.045125732,4.441347038,0.372316161,0.273941592,0.081720430,0.888888889,3.693500820,0.240000000
aes_24_4_keyfind_5.cnf,1,520.000000000,5968.000000000,320.000000000,5424.000000000,0.625000000,0.100294985,0.000000000,0.058997050,0.337881023,0.753867933,0.000000000,1.000000000,1.915309827,0.019091077,0.225780638,0.006250000,0.025000000,1.219953515,0.000000000,0.008849558,0.132743363,0.000000000,0.019091077,0.435148768,0.001843658,0.027101770,2.884206434,0.021627910,0.025116444,0.000000000,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.000000000,0.043172728,0.226199369,0.002765487,0.055862832,4.325913591,0.689631785,0.196786667,0.239833865,0.777399567,2.342766066,11.760000000
grieu-vmpc-31.cnf,1,961.000000000,146909.000000000,961.000000000,146909.000000000,0.000000000,0.000000000,0.120000000,0.006541464,0.595062249,0.547632859,0.000000000,1.000000000,0.675011071,0.002724970,0.290471812,0.002081165,0.032258065,0.673614124,0.000000000,0.393120912,0.999577970,0.020000000,0.002724970,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.999577970,0.001524668,0.077632088,0.000810025,0.001572402,0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.420000000
AProVE07-03.cnf,1,3114.000000000,10827.000000000,1304.000000000,7470.000000000,1.388036810,0.449397590,0.020000000,0.174564926,0.385361727,0.585937712,0.000000000,1.000000000,1.300205435,0.002596480,0.708996371,0.001533742,0.091257669,1.117620239,0.000000000,0.130522088,0.565327979,-0.000000000,0.002596480,0.787223404,0.000937082,0.023560910,2.851926377,0.069591949,0.098553647,0.000000000,0.400000000,1.987284950,0.001338483,0.791388888,0.000401606,0.011780455,2.448892629,0.536947791,0.002697087,1.678259445,0.000669344,0.017135207,-0.000000000,0.006205455,0.700458135,0.000669344,0.067603748,4.470551665,0.223489710,0.404492445,0.005992261,0.535714286,3.537326620,0.500000000
itox_vc1130.cnf,1,152428.000000000,441729.000000000,41484.000000000,197664.000000000,2.674380484,1.234746843,2.100000000,0.209871297,0.397924212,0.682464030,0.000000000,1.000000000,1.241417830,0.000081844,0.762084031,0.000048211,0.001711503,1.017896268,0.000000000,0.092798891,0.830818966,0.020000000,0.000081844,5.242446859,0.000035414,0.043002266,2.082672607,0.088371456,0.096443596,0.000000000,1.000000000,1.782978695,0.000025134,3.872079674,0.000000000,0.012146876,1.683326131,0.357966043,0.000065775,2.831603988,0.000020236,0.014883843,2.220000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.480000000
manthey_single-ordered-initialized-w40-b8.cnf,1,8320.000000000,66820.000000000,5019.000000000,55130.000000000,0.657700737,0.212044259,0.160000000,0.091039362,0.548265812,0.567948447,0.000000000,1.000000000,1.001783896,0.000734531,0.862570984,0.000398486,0.009364415,0.893640657,0.000000000,0.216651551,0.894721567,-0.000000000,0.000734531,2.398089893,0.000163250,0.015109741,1.205507349,0.617842817,0.165237863,0.000000000,0.854748603,1.295086260,0.000347119,3.156518495,0.000018139,0.009776891,0.874600944,0.652947578,0.000766816,2.095226145,0.000163250,0.013749320,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
atco_enc3_opt2_10_12.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
62bits_14.dimacs.cnf,1,1164.000000000,28980.000000000,1163.000000000,28980.000000000,0.000859845,0.000000000,0.060000000,0.040131125,0.346612711,0.655560344,0.000000000,1.000000000,2.577668551,0.005947916,0.297015301,0.001719690,0.025795357,2.089978781,0.000000000,0.006763285,0.050448585,0.000000000,0.005947916,1.026929325,0.000310559,0.034092478,5.214261038,0.081970123,0.101101915,0.000000000,0.785714286,2.967415015,0.000498461,0.554468666,0.000034507,0.001656315,3.262996764,0.110869565,0.001270720,0.406825885,0.000138026,0.003623188,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
aes_id.cnf,1,325041.000000000,1161168.000000000,131825.000000000,902184.000000000,1.465700740,0.287063393,4.220000000,0.146117643,0.481461412,0.605142513,0.000000000,1.000000000,1.651564769,0.000029320,0.307763728,0.000015172,0.000068272,1.263886275,0.000000000,0.037454666,0.409870935,0.080000000,0.000029320,1.947752625,0.000007759,0.000729341,2.708924505,0.020034913,0.046597108,0.000000000,0.529411765,1.037960557,0.000011446,1.208025704,0.000001108,0.000176239,2.713933649,0.438359581,0.000013343,1.389174569,0.000004434,0.000169588,22.260000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
velev-vliw-uns-4.0-9-i1.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
manthey_DimacsSorterHalf_28_4.cnf,1,3666.000000000,11883.000000000,2050.000000000,10053.000000000,0.788292683,0.182035213,0.020000000,0.203919228,0.274785068,1.201612690,0.000000000,1.000000000,1.379817760,0.001317796,0.414203463,0.000975610,0.012195122,1.134422411,0.000000000,0.571670148,0.844921914,-0.000000000,0.001317796,0.546897193,0.000696310,0.016910375,2.471485111,0.193268271,0.156415211,0.000000000,0.741935484,2.918003686,0.000831107,0.663970402,0.000099473,0.012533572,2.257625400,0.744255446,0.001118559,0.493635989,0.000596837,0.010743062,-0.000000000,0.001793439,0.961321475,0.000497364,0.041082264,3.380219086,0.181580574,0.467484622,0.004877706,0.571428571,3.385406125,0.160000000
6s167-opt.cnf,1,4640.000000000,13523.000000000,822.000000000,4048.000000000,4.644768856,2.340662055,0.020000000,0.203063241,0.434864954,0.760941109,0.000000000,1.000000000,1.463779133,0.003825144,0.387836971,0.002433090,0.029197080,1.169860356,0.000000000,0.241600791,0.678853755,-0.000000000,0.003825144,0.681409753,0.001976285,0.028656126,2.404278722,0.078234332,0.092846434,0.000000000,0.666666667,2.014668398,0.002057728,0.941891285,0.000000000,0.017292490,2.240526632,0.599308300,0.002202283,0.984900675,0.001235178,0.019762846,-0.000000000,0.007459644,0.791876666,0.001235178,0.048913043,3.960139628,0.273726973,0.557503904,0.017714837,1.000000000,3.524854803,0.120000000
q_query_3_L80_coli.sat.cnf,1,250567.000000000,1183233.000000000,34857.000000000,365178.000000000,6.188427002,2.240154117,6.620000000,0.095452081,0.489079655,0.635719400,0.000000000,1.000000000,1.398844074,0.000107050,0.488435053,0.000057377,0.000545084,1.215347412,0.000000000,0.115406733,0.769293331,0.020000000,0.000107050,2.168306537,0.000002738,0.001774477,2.629026923,0.376639279,0.169525217,0.000000000,1.000000000,2.570563120,0.000037675,1.934870612,0.000000000,0.001330858,2.538334105,0.469338241,0.000080467,2.623642860,0.000005477,0.003466802,1.640000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
SAT_dat.k95-24_1_rule_3.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
atco_enc1_opt1_10_21.cnf,1,46993.000000000,270831.000000000,22514.000000000,212686.000000000,1.087279026,0.273384238,0.980000000,0.105855581,0.555845653,0.595644290,0.000000000,1.000000000,1.959557106,0.000177741,0.512517963,0.000088834,0.000977170,1.854669433,0.000000000,0.250726423,0.515511129,0.020000000,0.000177741,2.757153027,0.000009404,0.004908645,3.301240122,0.306038193,0.199303495,0.000000000,1.000000000,3.229299984,0.000102764,3.150302276,0.000004702,0.003032640,3.040241835,0.589469923,0.000114046,1.013280565,0.000009404,0.000644142,0.680000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorterHalf_29_8.cnf,1,4495.000000000,14793.000000000,2710.000000000,13217.000000000,0.658671587,0.119240372,0.040000000,0.205038965,0.283585294,1.173984110,0.000000000,1.000000000,1.364034841,0.000998267,0.454561910,0.000738007,0.008856089,1.101396879,0.000000000,0.567148370,0.853219339,-0.000000000,0.000998267,0.520981086,0.000605281,0.008322615,2.260784964,0.196666223,0.163851282,0.000000000,0.687500000,2.798386480,0.000627923,0.666412983,0.000075660,0.005977151,2.278770356,0.741015359,0.000819140,0.513338804,0.000378301,0.006052811,0.020000000,0.001308015,0.935928373,0.000378301,0.031928577,3.325868185,0.185896476,0.478731456,0.004750541,0.571428571,3.436999968,0.180000000
SAT_dat.k70-24_1_rule_3.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
manthey_DimacsSorter_36_7.cnf,1,4119.000000000,13249.000000000,2346.000000000,11400.000000000,0.755754476,0.162192982,0.020000000,0.205789474,0.282990393,1.180083146,0.000000000,1.000000000,1.383436447,0.001147231,0.430418732,0.000852515,0.008525149,1.109689322,0.000000000,0.575789474,0.855964912,-0.000000000,0.001147231,0.465868566,0.000614035,0.010175439,2.481053010,0.184065114,0.151725791,0.000000000,0.750000000,2.882723487,0.000740155,0.565014153,0.000087719,0.007894737,2.207037877,0.756140351,0.001001855,0.453707270,0.000526316,0.006315789,-0.000000000,0.001443429,0.810443551,0.000438596,0.025263158,3.281531557,0.178846753,0.431512466,0.006992503,0.571428571,3.300749134,0.140000000
50bits_11.dimacs.cnf,1,836.000000000,19244.000000000,836.000000000,19244.000000000,0.000000000,0.000000000,0.020000000,0.043442112,0.344268688,0.671808914,0.000000000,1.000000000,2.566424105,0.008164416,0.309448049,0.002392344,0.028708134,2.106908431,0.000000000,0.007742673,0.057368530,0.020000000,0.008164416,1.243631026,0.000519642,0.056173353,5.130096514,0.090291777,0.110660381,0.000000000,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.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
UTI-20-10p1.cnf,1,260342.000000000,1391257.000000000,138674.000000000,958485.000000000,0.877367062,0.451516716,4.700000000,0.144680407,0.400265064,0.908158724,0.000000000,1.000000000,1.415530994,0.000020267,0.436261091,0.000014422,0.000072112,1.101057914,0.000000000,0.511968367,0.869293729,0.100000000,0.000020267,0.735487197,0.000007303,0.000073032,3.129466443,0.226686278,0.148540060,0.000000000,0.846153846,2.970141118,0.000011253,0.843127283,0.000003130,0.000049036,2.764197816,0.690705645,0.000022081,0.654738083,0.000005217,0.000083465,24.700000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
6s169-opt.cnf,1,6061.000000000,17575.000000000,1932.000000000,9365.000000000,2.137163561,0.876668446,0.040000000,0.206300053,0.433286626,0.770239356,0.000000000,1.000000000,1.455048479,0.001633544,0.576607976,0.001035197,0.025362319,1.150143081,0.000000000,0.234063001,0.696102509,-0.000000000,0.001633544,1.115309333,0.000106781,0.040363054,2.466661597,0.092064073,0.106342630,0.000000000,1.000000000,2.158106609,0.000860379,1.337724812,0.000106781,0.018686599,2.329693622,0.588254138,0.001276724,1.375950174,0.000106781,0.021890016,-0.000000000,0.005095001,1.080530984,0.000427122,0.036412173,4.381648351,0.249442681,0.671834980,0.012501440,1.000000000,3.597286740,0.900000000
mrpp_8x8#16_12.cnf,1,10790.000000000,88870.000000000,4845.000000000,55247.000000000,1.227038184,0.608594132,0.320000000,0.087697070,0.399512492,0.766899961,0.000000000,1.000000000,1.832240349,0.000803040,0.260510852,0.000412797,0.001238390,1.409140512,0.000000000,0.083135736,0.368671602,-0.000000000,0.000803040,0.630652996,0.000144804,0.001936757,3.938318219,0.284488677,0.172535237,0.000000000,0.782178218,3.847444609,0.000206170,0.499020143,0.000036201,0.000506815,2.737371133,0.334153891,0.000756277,0.322886890,0.000126704,0.001248937,0.060000000,0.001441559,0.431610277,0.000072402,0.003602006,4.806608273,0.370706090,0.310506090,0.055476529,0.888888889,3.669214465,10.180000000
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
jgiraldezlevy.2200.9086.08.40.158.cnf,1,2200.000000000,9086.000000000,2136.000000000,8978.000000000,0.029962547,0.012029405,0.000000000,0.237914903,0.497089181,0.586000689,0.000000000,1.000000000,0.714990898,0.001421077,0.063039878,0.001404494,0.002340824,0.154315488,0.000000000,0.000000000,0.965805302,0.000000000,0.001421077,0.290705257,0.000556917,0.003230118,2.699455327,0.232283793,0.168948076,0.000000000,1.000000000,3.341406024,0.000702873,0.399087266,0.000111383,0.001782134,2.318014956,0.497772332,0.002469624,0.261106047,0.000891067,0.005457786,0.000000000,0.002127152,0.241662012,0.000556917,0.004566719,2.929820633,0.140375821,0.269526349,0.053426249,0.428571429,2.665762378,0.160000000
009-80-4.cnf,1,13408.000000000,478480.000000000,12702.000000000,307263.000000000,0.055581798,0.557232729,0.660000000,0.041339178,0.375428943,0.589395352,0.000000000,1.000000000,2.190146896,0.000453147,0.201278836,0.000157456,0.001574555,1.443910252,0.000000000,0.001093526,0.037947947,0.020000000,0.000453147,0.439966718,0.000052073,0.000881981,3.718190831,0.117463541,0.068568730,0.000000000,0.672727273,2.814752740,0.000073731,0.497491589,0.000003255,0.000188763,3.280216270,0.193550802,0.000063592,0.419412155,0.000016273,0.000139945,0.300000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
manthey_DimacsSorterHalf_37_8.cnf,1,6247.000000000,21154.000000000,3886.000000000,19175.000000000,0.607565620,0.103207301,0.040000000,0.202659713,0.299168541,1.162115473,0.000000000,1.000000000,1.379924395,0.000690527,0.494121166,0.000514668,0.009006691,1.073323500,0.000000000,0.586753585,0.865606258,-0.000000000,0.000690527,0.569332226,0.000417210,0.004641460,2.313536906,0.205724992,0.173816878,0.000000000,0.804878049,2.842979690,0.000443541,0.739524830,0.000052151,0.003181226,2.320696458,0.756036506,0.000572993,0.577214519,0.000312907,0.003389831,0.020000000,0.000885475,1.084681022,0.000260756,0.038644068,3.299117864,0.185366221,0.473697405,0.002699055,0.666666667,3.357031330,0.280000000
atco_enc1_opt2_10_16.cnf,1,9643.000000000,152744.000000000,6657.000000000,136922.000000000,0.448550398,0.115554841,0.240000000,0.048618922,0.575415987,0.462948994,0.000000000,1.000000000,1.965049640,0.000668557,0.412953628,0.000300436,0.003304792,1.866374636,0.000000000,0.097172113,0.359934853,0.020000000,0.000668557,1.831992115,0.000014607,0.007624779,4.281556759,0.361180991,0.280239814,0.000000000,1.000000000,4.086269638,0.000410471,2.000781976,0.000007303,0.004082616,3.857360502,0.595572662,0.000337061,0.695607236,0.000014607,0.001000570,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
bob12m09-opt.cnf,1,51144.000000000,152446.000000000,14436.000000000,77811.000000000,2.542809643,0.959183149,0.600000000,0.185526468,0.452828655,0.831914005,0.000000000,1.000000000,1.739377075,0.000235242,0.478573665,0.000138543,0.003394292,1.562503133,0.000000000,0.298916606,0.637442007,0.000000000,0.000235242,2.979763149,0.000089962,0.024790839,2.982618936,0.144375966,0.122040332,0.000000000,0.866666667,2.982318099,0.000097135,2.620330611,0.000012852,0.008417833,2.362797365,0.526467980,0.000279247,2.304157816,0.000064258,0.019752991,0.300000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_8x8#22_11.cnf,1,9854.000000000,79956.000000000,4583.000000000,54297.000000000,1.150120009,0.472567545,0.280000000,0.084406137,0.384998557,0.736491803,0.000000000,1.000000000,1.807788403,0.000857625,0.241484393,0.000436395,0.001309186,1.340177435,0.000000000,0.042120191,0.365231965,-0.000000000,0.000857625,0.588023417,0.000110503,0.001970643,3.902937408,0.251549615,0.173157969,0.000000000,0.782178218,3.836618140,0.000222618,0.441760067,0.000036834,0.000663020,2.763229897,0.322946019,0.000779374,0.322147227,0.000092086,0.001270788,0.040000000,0.001518155,0.411641637,0.000055252,0.003665028,4.780045895,0.349974503,0.323309939,0.056691993,0.671600370,3.624910045,10.500000000
jgiraldezlevy.2200.9086.08.40.117.cnf,1,2200.000000000,9086.000000000,2125.000000000,8979.000000000,0.035294118,0.011916695,0.000000000,0.236663326,0.499413446,0.586123434,0.000000000,1.000000000,0.739342102,0.001432624,0.071578454,0.001411765,0.002352941,0.183142305,0.000000000,0.000000000,0.958235884,0.000000000,0.001432624,0.296568649,0.000111371,0.003675242,2.715616888,0.222822751,0.167160204,0.000000000,1.000000000,3.334117527,0.000700930,0.401739191,0.000000000,0.002004678,2.314421068,0.492036975,0.002472069,0.265353006,0.000222742,0.005568549,0.000000000,0.002162748,0.243221322,0.000668226,0.004677581,2.947336397,0.140163190,0.274305050,0.053426249,0.392857143,2.688131849,0.140000000
64bits_11.dimacs.cnf,1,1150.000000000,29431.000000000,1150.000000000,29431.000000000,0.000000000,0.000000000,0.060000000,0.039074445,0.347094223,0.656712220,0.000000000,1.000000000,2.587327511,0.006044499,0.293188879,0.001739130,0.026956522,2.085095016,0.000000000,0.006149978,0.048010601,0.000000000,0.006044499,0.997892962,0.000237844,0.033570045,5.236634227,0.082277397,0.102558149,0.000000000,0.857142857,2.969397048,0.000498173,0.563513518,0.000033978,0.001630933,3.273787054,0.107471713,0.001285896,0.406104026,0.000203867,0.003669600,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.080000000
partial-10-11-s.cnf,1,189456.000000000,850574.000000000,88808.000000000,479001.000000000,1.133321322,0.775724894,2.640000000,0.185402536,0.395641435,1.004805640,0.000000000,1.000000000,1.388259137,0.000030667,0.497422365,0.000022520,0.000112602,1.014366906,0.000000000,0.632800349,0.866555602,0.040000000,0.000030667,0.436476603,0.000014614,0.000077244,2.532350158,0.269081859,0.160618315,0.000000000,0.750000000,2.857813784,0.000018283,0.447232497,0.000006263,0.000056367,2.240463197,0.752102814,0.000033227,0.453503026,0.000008351,0.000083507,10.220000000,0.000040888,0.554698817,0.000006263,0.000164927,3.366476419,0.160670803,0.586197380,0.027263875,0.607142857,3.125361172,7.080000000
manthey_DimacsSorter_29_8.cnf,1,4495.000000000,14793.000000000,2710.000000000,13217.000000000,0.658671587,0.119240372,0.020000000,0.205038965,0.283585294,1.173984110,0.000000000,1.000000000,1.364034841,0.000998267,0.454561910,0.000738007,0.008856089,1.101396879,0.000000000,0.567148370,0.853219339,-0.000000000,0.000998267,0.520981086,0.000605281,0.008322615,2.260784964,0.196666223,0.163851282,0.000000000,0.687500000,2.798386480,0.000627923,0.666412983,0.000075660,0.005977151,2.278770356,0.741015359,0.000819140,0.513338804,0.000378301,0.006052811,0.020000000,0.001308015,0.935928373,0.000378301,0.031928577,3.325868185,0.185896476,0.478731456,0.004750541,0.571428571,3.436999968,0.180000000
mrpp_8x8#18_12.cnf,1,10790.000000000,88451.000000000,5053.000000000,59727.000000000,1.135365130,0.480921526,0.320000000,0.084601604,0.387974729,0.740679899,0.000000000,1.000000000,1.811240012,0.000775065,0.248214379,0.000395804,0.001187413,1.360599844,0.000000000,0.051400539,0.376245249,0.020000000,0.000775065,0.602538261,0.000100457,0.001791485,3.948121535,0.259752731,0.176752629,0.000000000,0.782178218,3.883020746,0.000200404,0.454598303,0.000033486,0.000602742,2.734847299,0.328829508,0.000715777,0.312863363,0.000083714,0.001155256,0.040000000,0.001379126,0.414672306,0.000050229,0.003331826,4.792921540,0.353412549,0.332541177,0.044326241,0.733333333,3.650965999,11.720000000
mrpp_4x4#10_9.cnf,1,1976.000000000,12310.000000000,859.000000000,8333.000000000,1.300349243,0.477259090,0.020000000,0.103084123,0.406004240,0.740118110,0.000000000,1.000000000,1.800836821,0.004469096,0.243872672,0.002328289,0.006984866,1.323489303,0.000000000,0.054242170,0.400216009,-0.000000000,0.004469096,0.627184220,0.000840034,0.010560422,3.549645307,0.269432015,0.159031836,0.000000000,0.724137931,3.627424372,0.001214298,0.454970041,0.000240010,0.002640106,2.659109083,0.340093604,0.004091339,0.346468524,0.000600024,0.006840274,-0.000000000,0.008116806,0.429426471,0.000360014,0.019440778,4.557499593,0.363622642,0.302910199,0.078160920,0.888888889,3.667440242,1.120000000
mrpp_6x6#18_9.cnf,1,4736.000000000,37504.000000000,2131.000000000,23816.000000000,1.222430784,0.574739671,0.100000000,0.089477662,0.391729650,0.749178212,0.000000000,1.000000000,1.807004593,0.001823814,0.242912906,0.000938527,0.002815580,1.335575528,0.000000000,0.052905610,0.375797783,-0.000000000,0.001823814,0.636625132,0.000293920,0.004450789,3.978845967,0.262752936,0.163106070,0.000000000,0.782178218,3.830032827,0.000470741,0.450995135,0.000083977,0.001049714,2.688769556,0.324277796,0.001657199,0.341071415,0.000209943,0.002855223,0.020000000,0.003323871,0.426780259,0.000167954,0.008355727,4.778254216,0.360368573,0.311859362,0.045068027,0.733333333,3.663548160,4.400000000
mrpp_8x8#24_24.cnf,1,22022.000000000,170032.000000000,10858.000000000,126493.000000000,1.028181986,0.344200865,0.720000000,0.085838742,0.397635442,0.738950513,0.000000000,1.000000000,1.836023510,0.000368769,0.237017923,0.000184196,0.000552588,1.335204942,0.000000000,0.033472208,0.338753923,0.000000000,0.000368769,0.618336694,0.000047433,0.000845897,3.823428545,0.279343689,0.169890018,0.000000000,0.782178218,3.698351804,0.000091074,0.500002292,0.000015811,0.000245073,2.705833009,0.313108235,0.000347171,0.295490224,0.000039528,0.000545485,0.200000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
velev-vliw-uns-2.0-uq5.cnf,1,151669.000000000,2465731.000000000,120317.000000000,2391111.000000000,0.260578306,0.031207251,9.980000000,0.050318450,0.762961842,0.530553415,0.000000000,1.000000000,1.025373066,0.000025681,2.068014959,0.000016623,0.001130347,0.612882247,0.000000000,0.902946789,0.934163659,0.240000000,0.000025681,5.770331044,0.000002091,0.017327928,4.437996351,0.342981426,0.263624964,0.000000000,1.000000000,4.231260909,0.000015610,5.220324441,0.000000418,0.009183597,4.139163279,0.926614448,0.000047095,3.934331313,0.000002091,0.017232575,19.640000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.480000000
dimacs.cnf,1,2835.000000000,9747.000000000,1717.000000000,8037.000000000,0.651135702,0.212765957,0.000000000,0.213636929,0.546059308,0.618296453,0.000000000,1.000000000,0.901122681,0.001788757,0.266545025,0.001164822,0.019219569,0.362233449,0.000000000,0.020654473,0.937538883,0.000000000,0.001788757,1.132461591,0.001119821,0.017917133,1.526208285,0.088476576,0.046953040,0.000000000,0.500000000,1.458277352,0.000728865,0.732918605,0.000248849,0.005101406,1.351047598,0.421177056,0.001071196,1.090337737,0.000622123,0.008834142,0.000000000,0.005687023,0.782197349,0.000995396,0.022645266,3.348130929,0.202719122,0.591215201,0.046760711,0.638095238,3.063631992,0.460000000
manthey_single-ordered-initialized-w32-b9.cnf,1,6480.000000000,50184.000000000,4039.000000000,40804.000000000,0.604357514,0.229879424,0.120000000,0.098985394,0.558540129,0.562742746,0.000000000,1.000000000,0.874527071,0.000904729,0.896710344,0.000495172,0.010151027,0.878141102,0.000000000,0.225590628,0.910572493,0.000000000,0.000904729,2.201928586,0.000220567,0.017547299,1.558943133,0.602921642,0.166874186,0.005235602,0.801324503,1.457674409,0.000428148,3.015933551,0.000024507,0.011959612,0.944133467,0.651627291,0.001000574,1.929662859,0.000245074,0.016861092,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
SAT_dat.k90.debugged.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
manthey_single-ordered-initialized-w24-b7.cnf,1,2940.000000000,21769.000000000,1582.000000000,16472.000000000,0.858407080,0.321576008,0.040000000,0.096041768,0.558542383,0.567120726,0.000000000,1.000000000,1.062122368,0.002307559,0.784488419,0.001264223,0.020859671,0.980284457,0.000000000,0.234458475,0.881981544,-0.000000000,0.002307559,1.765540345,0.000546382,0.026469160,1.855590301,0.576474116,0.196572437,0.002298851,0.801801802,1.872880181,0.001078450,2.295824213,0.000060709,0.016391452,1.270670075,0.646855270,0.002259130,1.571643991,0.000485673,0.022583779,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
mrpp_8x8#24_14.cnf,1,12662.000000000,101072.000000000,5968.000000000,69687.000000000,1.121648794,0.450370944,0.380000000,0.085640076,0.399573330,0.742519780,0.000000000,1.000000000,1.829397094,0.000661001,0.245354222,0.000335121,0.001005362,1.358449834,0.000000000,0.048158193,0.361157748,-0.000000000,0.000661001,0.609626942,0.000086099,0.001535437,3.933902824,0.272531980,0.172514992,0.000000000,0.782178218,3.857732652,0.000168700,0.465250374,0.000028700,0.000444846,2.698562388,0.324809505,0.000614010,0.314602951,0.000071749,0.000990142,0.060000000,0.001186132,0.410237254,0.000043050,0.002855626,4.785679171,0.361219251,0.317934708,0.036236119,0.733333333,3.642629901,13.460000000
58bits_10.dimacs.cnf,1,1103.000000000,24009.000000000,1103.000000000,24009.000000000,0.000000000,0.000000000,0.040000000,0.045941105,0.357650690,0.647303566,0.000000000,1.000000000,2.554498330,0.006017991,0.304963787,0.001813237,0.025385313,2.080382516,0.000000000,0.008371861,0.058852930,-0.000000000,0.006017991,0.969019803,0.000374859,0.041151235,5.155933102,0.080902851,0.100645990,0.000000000,0.857142857,2.954155584,0.000585758,0.530209854,0.000124953,0.001832646,3.206829520,0.125911117,0.001482143,0.408215080,0.000166604,0.003831896,-0.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
mrpp_4x4#6_20.cnf,1,4188.000000000,22548.000000000,1846.000000000,17576.000000000,1.268689057,0.282885753,0.060000000,0.105029586,0.417796996,0.743734822,0.000000000,1.000000000,1.821028251,0.002116547,0.227661011,0.001083424,0.003250271,1.281062200,0.000000000,0.033739190,0.355655439,0.000000000,0.002116547,0.507980843,0.000625853,0.004096495,3.061081228,0.256039133,0.154075962,0.000000000,0.661971831,3.245325401,0.000545195,0.451314525,0.000113792,0.001137915,2.540163596,0.321461083,0.001897532,0.254697470,0.000568958,0.002674101,0.020000000,0.003606543,0.348593502,0.000341375,0.007453345,4.247104917,0.373599475,0.253340640,0.105911330,0.888888889,3.492617821,2.020000000
manthey_DimacsSorterHalf_36_0.cnf,1,4551.000000000,14683.000000000,2602.000000000,12671.000000000,0.749039201,0.158787783,0.040000000,0.205350801,0.286919575,1.179251365,0.000000000,1.000000000,1.382723407,0.001033093,0.439024126,0.000768640,0.007686395,1.101798732,0.000000000,0.581958804,0.859758504,-0.000000000,0.001033093,0.487661382,0.000552443,0.014915950,2.500116039,0.187077705,0.151095790,0.000000000,0.750000000,2.910462760,0.000667638,0.598939875,0.000078920,0.011522374,2.205586039,0.759056112,0.000902155,0.448258769,0.000473522,0.008365559,-0.000000000,0.001322967,0.952888772,0.000394602,0.022886907,3.241067971,0.179361340,0.421523185,0.006872852,0.571428571,3.259879369,0.180000000
UCG-20-10p1.cnf,1,259258.000000000,1388006.000000000,137954.000000000,956610.000000000,0.879307595,0.450963297,4.640000000,0.144211330,0.401103851,0.908762033,0.000000000,1.000000000,1.409646245,0.000020340,0.437430454,0.000014498,0.000072488,1.092984276,0.000000000,0.514994616,0.869415958,0.100000000,0.000020340,0.741123363,0.000007318,0.000073175,3.092712130,0.225584476,0.148317084,0.000000000,0.840000000,2.943933302,0.000011347,0.845662616,0.000003136,0.000049132,2.739699785,0.693324343,0.000022157,0.653288193,0.000005227,0.000081538,24.640000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_single-ordered-initialized-w48-b9.cnf,1,13176.000000000,108264.000000000,8471.000000000,91820.000000000,0.555424389,0.179089523,0.280000000,0.092256589,0.548206630,0.567265372,0.000000000,1.000000000,0.849672053,0.000433508,0.908889688,0.000236100,0.006728840,0.847963853,0.000000000,0.213602701,0.907983010,-0.000000000,0.000433508,2.722218572,0.000098018,0.011979961,1.265232753,0.622681203,0.150500225,0.003484321,0.860465116,1.185597762,0.000207458,3.653568720,0.000010891,0.008102810,0.734129950,0.656991941,0.000482657,2.341988759,0.000108909,0.011500762,0.100000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.120000000
58bits_11.dimacs.cnf,1,1111.000000000,24120.000000000,1110.000000000,24115.000000000,0.000900901,0.000207340,0.040000000,0.046029442,0.357500852,0.648138894,0.000000000,1.000000000,2.552362851,0.005971761,0.305487277,0.001801802,0.025225225,2.079991251,0.000000000,0.008335061,0.059465063,-0.000000000,0.005971761,0.970275348,0.000373212,0.040970350,5.155928048,0.083446091,0.103146454,0.000000000,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.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
mrpp_4x4#4_4.cnf,1,748.000000000,3859.000000000,215.000000000,1629.000000000,2.479069767,1.368937999,0.000000000,0.131982812,0.478704435,0.741909674,0.000000000,1.000000000,1.673745404,0.016517481,0.240165622,0.009302326,0.032558140,1.250579203,0.000000000,0.096992020,0.480049110,0.000000000,0.016517481,0.506180128,0.004297115,0.040515654,3.638139287,0.259555937,0.186222312,0.000000000,0.764705882,3.760426892,0.005179380,0.473463086,0.001227747,0.012277471,2.704609042,0.383057090,0.013899239,0.368577832,0.004910988,0.027010436,0.000000000,0.026218317,0.442438863,0.003069368,0.074892572,4.277060821,0.392639320,0.240330550,0.122807018,0.733333333,3.622938736,0.080000000
manthey_DimacsSorter_31_0.cnf,1,4358.000000000,14320.000000000,2617.000000000,12780.000000000,0.665265571,0.120500782,0.020000000,0.204773083,0.278585209,1.180639763,0.000000000,1.000000000,1.358843809,0.001032463,0.443114596,0.000764234,0.011463508,1.107251919,0.000000000,0.563145540,0.852269171,-0.000000000,0.001032463,0.541027724,0.000625978,0.010641628,2.278134942,0.192560763,0.159518903,0.000000000,0.777777778,2.839683004,0.000649360,0.681378656,0.000078247,0.007355243,2.304105087,0.738341158,0.000847235,0.529130904,0.000469484,0.008450704,-0.000000000,0.001382650,0.978376532,0.000391236,0.044522692,3.356084922,0.184473184,0.488947857,0.003545771,0.666666667,3.439441816,0.200000000
atco_enc3_opt2_18_44.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
manthey_single-ordered-initialized-w44-b8.cnf,1,9856.000000000,80184.000000000,5992.000000000,66787.000000000,0.644859813,0.200592930,0.180000000,0.089718059,0.545906730,0.568985531,0.000000000,1.000000000,0.995707590,0.000612782,0.831085793,0.000333778,0.008511348,0.883684305,0.000000000,0.213963795,0.894485454,0.000000000,0.000612782,2.534287137,0.000134757,0.013790109,1.137408833,0.616045907,0.162158007,0.000000000,0.913043478,1.228577377,0.000291678,3.305684841,0.000014973,0.008908919,0.816676187,0.653899711,0.000641279,2.196304417,0.000134757,0.012547352,0.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
64bits_13.dimacs.cnf,1,1152.000000000,29555.000000000,1152.000000000,29555.000000000,0.000000000,0.000000000,0.060000000,0.038978176,0.348486865,0.652847367,0.000000000,1.000000000,2.588138066,0.006044903,0.292439984,0.001736111,0.026909722,2.084534097,0.000000000,0.006056505,0.046827948,0.000000000,0.006044903,0.991393168,0.000304517,0.033429200,5.215067898,0.079839416,0.100163547,0.000000000,0.793103448,2.910656761,0.000497043,0.569223272,0.000033835,0.001725596,3.278928813,0.107257655,0.001285445,0.406874871,0.000203011,0.003654204,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.080000000
mrpp_8x8#24_11.cnf,1,9854.000000000,79645.000000000,4487.000000000,51742.000000000,1.196122131,0.539271771,0.280000000,0.086718720,0.400067643,0.752188850,0.000000000,1.000000000,1.826485814,0.000869196,0.253853598,0.000445732,0.001337196,1.383525150,0.000000000,0.065285455,0.375787561,-0.000000000,0.000869196,0.620102787,0.000115960,0.002067953,4.011431828,0.274187565,0.172692771,0.000000000,0.782178218,3.889903096,0.000225351,0.467677501,0.000038653,0.000599126,2.730958821,0.332573151,0.000807352,0.329658611,0.000096633,0.001333539,0.040000000,0.001558159,0.428176907,0.000057980,0.003846005,4.819801291,0.360953604,0.321489319,0.039057239,0.733333333,3.667255900,9.620000000
post-cbmc-aes-ee-r2-noholes.cnf,1,266199.000000000,1575975.000000000,4366.000000000,253406.000000000,59.970911590,5.219170028,13.600000000,0.017229268,0.307723503,0.727619660,0.000000000,1.000000000,1.949358184,0.001630930,0.152035173,0.000458085,0.007787448,1.046121109,0.000000000,0.008665935,0.031617247,0.020000000,0.001630930,1.963203281,0.000031570,0.017166129,3.898459873,0.062725152,0.083853596,0.000000000,0.800000000,2.466224078,0.000073944,1.539343101,0.000003946,0.000674806,2.995948616,0.058952827,0.000050638,0.643731707,0.000015785,0.000169688,0.100000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
manthey_single-ordered-initialized-w44-b9.cnf,1,11286.000000000,91680.000000000,7251.000000000,77284.000000000,0.556474969,0.186274002,0.260000000,0.093822783,0.549953567,0.566586078,0.000000000,1.000000000,0.851460023,0.000504063,0.877098002,0.000275824,0.007033513,0.851353080,0.000000000,0.215452099,0.908868589,-0.000000000,0.000504063,2.612786153,0.000116454,0.012991046,1.383149788,0.617168233,0.154727238,0.003802281,0.903225806,1.290174077,0.000241444,3.513735532,0.000012939,0.008798716,0.763992952,0.655387920,0.000558850,2.251644306,0.000129393,0.012473474,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
7pipe_k.cnf,1,23909.000000000,751116.000000000,20783.000000000,740841.000000000,0.150411394,0.013869373,1.720000000,0.028053253,0.883783597,0.345384838,0.000000000,1.000000000,0.686770753,0.000148469,2.196260360,0.000096232,0.006976856,0.430540057,0.000000000,0.940616138,0.949447992,0.080000000,0.000148469,4.307086521,0.000008099,0.015929194,4.738204481,0.481826538,0.275218358,0.000000000,1.000000000,4.253240964,0.000091770,3.773641442,0.000000000,0.008569990,4.510430905,0.949040347,0.000224733,2.643442174,0.000008099,0.012677484,0.820000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.340000000
mrpp_4x4#8_8.cnf,1,1744.000000000,11025.000000000,736.000000000,7138.000000000,1.369565217,0.544550294,0.020000000,0.103110115,0.418656019,0.759913785,0.000000000,1.000000000,1.810628234,0.005145836,0.256859876,0.002717391,0.008152174,1.369829640,0.000000000,0.088119922,0.403474363,-0.000000000,0.005145836,0.628799075,0.000980667,0.012328383,3.668905803,0.289096901,0.162759712,0.000000000,0.724137931,3.735971343,0.001383821,0.475975779,0.000280191,0.003082096,2.671708141,0.345054637,0.004691288,0.344574426,0.000700476,0.007985430,-0.000000000,0.009202049,0.446353300,0.000560381,0.022695433,4.610604296,0.373140983,0.295733131,0.082352941,0.888888889,3.695669811,0.900000000
AProVE09-06.cnf,1,77262.000000000,263137.000000000,37512.000000000,193019.000000000,1.059660909,0.363269937,0.940000000,0.194343562,0.357213813,0.561610055,0.000000000,1.000000000,1.156535958,0.000086607,0.269979076,0.000053316,0.000586479,1.059986487,0.000000000,0.163818070,0.610634186,0.000000000,0.000086607,1.080179426,0.000036266,0.003274289,1.973237198,0.044148703,0.064348409,0.000000000,0.739130435,1.301991915,0.000048804,1.853210885,0.000005181,0.003092960,1.650839027,0.600122268,0.000043628,2.199324330,0.000020723,0.003269108,1.860000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
002-80-4.cnf,1,13408.000000000,478480.000000000,12703.000000000,307362.000000000,0.055498701,0.556731151,0.660000000,0.041329117,0.375392467,0.589368533,0.000000000,1.000000000,2.190122854,0.000453143,0.201203907,0.000157443,0.001574431,1.443771955,0.000000000,0.001102934,0.037948738,0.040000000,0.000453143,0.439697914,0.000045549,0.000881697,3.714047469,0.117445570,0.068528818,0.000000000,0.672727273,2.814368285,0.000073699,0.497643504,0.000003253,0.000188703,3.283719684,0.193481953,0.000063536,0.417922517,0.000016267,0.000120379,0.320000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
66bit.dimacs.cnf,1,1652.000000000,33258.000000000,1212.000000000,33258.000000000,0.363036304,0.000000000,0.060000000,0.036442360,0.340111385,0.665505977,0.000000000,1.000000000,2.596431127,0.005869627,0.289620860,0.001650165,0.026402640,2.086788200,0.000000000,0.005833183,0.045162066,0.000000000,0.005869627,1.043461226,0.000270612,0.029707138,5.275058921,0.082705494,0.100903041,0.000000000,0.785714286,2.986444923,0.000455733,0.570555406,0.000030068,0.001503398,3.310147696,0.103223285,0.001132609,0.418194831,0.000120272,0.003307475,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
mrpp_6x6#18_12.cnf,1,6401.000000000,50273.000000000,3012.000000000,34288.000000000,1.125166003,0.466198087,0.200000000,0.087844144,0.387385285,0.741535708,0.000000000,1.000000000,1.810600814,0.001307523,0.235285840,0.000664011,0.001992032,1.313787633,0.000000000,0.038672422,0.356101260,-0.000000000,0.001307523,0.624494220,0.000204153,0.003091461,3.854874095,0.262010165,0.163852140,0.000000000,0.782178218,3.802453724,0.000330640,0.449139107,0.000058329,0.000729118,2.645571837,0.316524732,0.001193410,0.317184346,0.000145824,0.001983201,0.020000000,0.002381484,0.403382392,0.000116659,0.005803780,4.719860937,0.363408208,0.304938580,0.045068027,0.733333333,3.616955082,6.540000000
jgiraldezlevy.2200.9086.08.40.81.cnf,1,2200.000000000,9086.000000000,2146.000000000,9020.000000000,0.025163094,0.007317073,0.000000000,0.237915743,0.493555063,0.587356403,0.000000000,1.000000000,0.709423246,0.001415463,0.065057864,0.001397950,0.002329916,0.161538550,0.000000000,0.000000000,0.963858093,0.000000000,0.001415463,0.281412452,0.000554324,0.003325942,2.659863521,0.230700257,0.169781373,0.000000000,1.000000000,3.321248426,0.000701300,0.398773200,0.000000000,0.001995565,2.311593399,0.497228381,0.002459069,0.253883369,0.000886918,0.005321508,0.000000000,0.002110290,0.241131307,0.000776053,0.005099778,2.917743002,0.140907497,0.267667242,0.057057057,0.381818182,2.668363639,0.120000000
SAT_dat.k85-24_1_rule_3.cnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
jgiraldezlevy.2200.9086.08.40.20.cnf,1,2200.000000000,9086.000000000,2141.000000000,9032.000000000,0.027557216,0.005978742,0.000000000,0.237046058,0.497401831,0.586386566,0.000000000,1.000000000,0.701666816,0.001418021,0.066060924,0.001401214,0.002802429,0.155520097,0.000000000,0.000000000,0.966341895,0.000000000,0.001418021,0.287916409,0.000221435,0.003210806,2.699166202,0.229716649,0.173844466,0.000000000,1.000000000,3.319037313,0.000704537,0.408730737,0.000000000,0.001882197,2.347581202,0.498782108,0.002458848,0.259526311,0.000442870,0.005093003,0.000000000,0.002124201,0.234858964,0.000664305,0.004650133,2.909608517,0.139742701,0.269525285,0.055128205,0.500000000,2.661443651,0.140000000
mrpp_6x6#16_24.cnf,1,13061.000000000,101632.000000000,6451.000000000,72980.000000000,1.024647341,0.392600713,0.380000000,0.088394081,0.401928382,0.749056418,0.000000000,1.000000000,1.837707259,0.000616276,0.242528545,0.000310029,0.000930088,1.358900292,0.000000000,0.061893669,0.322307482,-0.000000000,0.000616276,0.649982365,0.000109619,0.001452453,3.595344711,0.286542550,0.155484797,0.000000000,0.782178218,3.521177630,0.000144235,0.545316646,0.000041107,0.000342560,2.645610557,0.301082488,0.000574570,0.292439513,0.000068512,0.000931762,0.060000000,0.001141717,0.385717739,0.000054810,0.002726774,4.611777663,0.387148735,0.272667194,0.060317460,0.888888889,3.560607172,14.400000000
manthey_DimacsSorter_37_3.cnf,1,6634.000000000,23392.000000000,4156.000000000,21298.000000000,0.596246391,0.098319091,0.060000000,0.195135693,0.329986316,1.120332323,0.000000000,1.000000000,1.393622846,0.000637489,0.508388756,0.000481232,0.008662175,1.038754302,0.000000000,0.609399944,0.875762982,0.000000000,0.000637489,0.627675297,0.000375622,0.007418537,2.304087340,0.216811595,0.187646147,0.000000000,0.809523810,2.872783977,0.000419332,0.825078471,0.000046953,0.004930040,2.347477422,0.770776599,0.000533359,0.644714605,0.000234764,0.005493474,0.020000000,0.000803409,1.242266092,0.000234764,0.037233543,3.239061482,0.185642851,0.466281625,0.002528421,0.666666667,3.308327613,0.360000000
mrpp_8x8#22_10.cnf,1,8918.000000000,72538.000000000,4096.000000000,48344.000000000,1.177246094,0.500455072,0.260000000,0.084726129,0.385174306,0.737076371,0.000000000,1.000000000,1.805566590,0.000956236,0.242974587,0.000488281,0.001464844,1.343066896,0.000000000,0.044659110,0.371090518,-0.000000000,0.000956236,0.590056892,0.000124111,0.002213305,3.912765968,0.249872319,0.172757081,0.000000000,0.782178218,3.836643123,0.000249433,0.442617825,0.000041370,0.000744663,2.773766671,0.324114678,0.000867340,0.328003663,0.000103425,0.001427271,0.040000000,0.001691908,0.417220396,0.000062055,0.004116333,4.785475879,0.348875753,0.324928969,0.056691993,0.671600370,3.632602308,9.240000000
UR-20-10p0.cnf,1,258781.000000000,1372095.000000000,137484.000000000,943589.000000000,0.882262663,0.454123564,4.080000000,0.145703267,0.406246200,0.906292003,0.000000000,1.000000000,1.419695343,0.000020215,0.427852975,0.000014547,0.000072736,1.095092323,0.000000000,0.523273374,0.870966067,0.100000000,0.000020215,0.734202170,0.000007418,0.000071005,3.007391735,0.215155308,0.148312837,0.000000000,0.833333333,2.943862754,0.000011393,0.847030075,0.000003179,0.000049810,2.733384353,0.696435630,0.000022324,0.625729064,0.000005299,0.000083723,24.280000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_DimacsSorter_35_8.cnf,1,7351.000000000,24835.000000000,4009.000000000,20208.000000000,0.833624345,0.228968725,0.060000000,0.198386778,0.292942718,1.185903151,0.000000000,1.000000000,1.368505137,0.000649074,0.404833171,0.000498878,0.007483163,1.043458765,0.000000000,0.609461599,0.870100950,0.000000000,0.000649074,0.682763289,0.000296912,0.015389945,2.290627737,0.189830091,0.156105663,0.000000000,0.736842105,2.794599091,0.000445220,0.815295420,0.000049485,0.012866192,2.247487172,0.780779889,0.000550992,0.605493622,0.000197941,0.009253761,0.020000000,0.000929961,1.403268946,0.000247427,0.031175772,3.283344507,0.172807078,0.459215419,0.003179634,0.549450549,3.253185006,0.420000000
mrpp_4x4#10_20.cnf,1,4528.000000000,28326.000000000,2135.000000000,21720.000000000,1.120843091,0.304143646,0.080000000,0.098296501,0.399306323,0.734010400,0.000000000,1.000000000,1.812906562,0.001837976,0.231265512,0.000936768,0.002810304,1.289761246,0.000000000,0.032458564,0.362661142,-0.000000000,0.001837976,0.590183207,0.000322284,0.004051565,3.234626565,0.270829687,0.157484971,0.000000000,0.724137931,3.283652009,0.000481582,0.442662581,0.000092081,0.001012891,2.557486798,0.327486188,0.001695197,0.286442814,0.000230203,0.002624309,0.020000000,0.003291893,0.381783872,0.000138122,0.007458564,4.423454395,0.367106299,0.290317984,0.078160920,0.888888889,3.576562727,3.140000000
6s131-opt.cnf,1,49325.000000000,144226.000000000,16390.000000000,80071.000000000,2.009456986,0.801226412,0.560000000,0.204693335,0.474977189,0.771525861,0.000000000,1.000000000,1.647742908,0.000203140,0.586370173,0.000122026,0.002989628,1.446299441,0.000000000,0.261792659,0.715477514,0.020000000,0.000203140,1.737735160,0.000037467,0.032396248,3.038554659,0.167225262,0.138571599,0.000000000,1.000000000,3.088305278,0.000083164,1.622961681,0.000012489,0.010340823,2.453259943,0.521562114,0.000228441,1.298865193,0.000037467,0.017721772,0.360000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
38bits_10.dimacs.cnf,1,448.000000000,12700.000000000,448.000000000,12700.000000000,0.000000000,0.000000000,0.000000000,0.035275591,0.326501693,0.694314602,0.000000000,1.000000000,2.588577049,0.016100429,0.292954698,0.004464286,0.040178571,2.099954076,0.000000000,0.006692913,0.050078740,0.000000000,0.016100429,1.165391760,0.000708661,0.080944882,5.211915668,0.093762610,0.107242799,0.000000000,0.785714286,3.105171653,0.001200436,0.588438391,0.000078740,0.003779528,3.359375129,0.103700787,0.002602995,0.406790370,0.000314961,0.005354331,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
MD5-29-2.cnf,1,8590.000000000,65305.000000000,6098.000000000,63796.000000000,0.408658577,0.023653521,0.100000000,0.095585930,0.445110456,0.449892344,0.000000000,1.000000000,1.624426082,0.000686886,0.192374068,0.000327976,0.000983929,1.146714715,0.000000000,0.008401781,0.222318014,0.020000000,0.000686886,0.679314230,0.000125400,0.001692896,3.247420211,0.021437315,0.056118435,0.000000000,0.416666667,0.845776400,0.000269405,0.683260265,0.000031350,0.000846448,3.003307430,0.398269484,0.000155696,0.414850030,0.000062700,0.000297824,0.060000000,0.001556330,0.390970848,0.000109725,0.002727444,4.853367818,0.335881919,0.235842551,0.135593220,0.601845523,3.441036842,19.080000000
jgiraldezlevy.2200.9086.08.40.135.cnf,1,2200.000000000,9086.000000000,2127.000000000,8994.000000000,0.034320639,0.010229042,0.000000000,0.236490994,0.489081610,0.591516654,0.000000000,1.000000000,0.741908191,0.001432131,0.072598272,0.001410437,0.002350729,0.188944519,0.000000000,0.000000000,0.956304203,0.000000000,0.001432131,0.290642624,0.000333556,0.003557928,2.704710744,0.226920963,0.177354595,0.000000000,1.000000000,3.341786857,0.000700044,0.398788810,0.000000000,0.001778964,2.319021808,0.492439404,0.002482457,0.262793721,0.000667111,0.005781632,0.000000000,0.002139988,0.243937181,0.000667111,0.005448076,2.939665092,0.140409997,0.276017918,0.047346939,0.390476190,2.690089694,0.140000000
AProVE07-27.cnf,1,7729.000000000,29194.000000000,3611.000000000,19862.000000000,1.140404320,0.469841909,0.080000000,0.181804451,0.321745760,0.884748422,0.000000000,1.000000000,1.568230194,0.000870016,0.340232670,0.000553863,0.002215453,1.373363623,0.000000000,0.312053167,0.687644749,-0.000000000,0.000870016,3.149838976,0.000352432,0.155724499,2.575129082,0.128922013,0.128351126,0.000000000,0.666666667,2.571335832,0.000474501,4.428235193,0.000100695,0.120279932,2.368276590,0.600845836,0.000513122,2.787520364,0.000251737,0.074614842,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
44bits_11.dimacs.cnf,1,609.000000000,15417.000000000,609.000000000,15417.000000000,0.000000000,0.000000000,0.020000000,0.039501849,0.332836599,0.689219788,0.000000000,1.000000000,2.578390925,0.011497022,0.301855919,0.003284072,0.034482759,2.105693681,0.000000000,0.007329571,0.052928585,-0.000000000,0.011497022,1.269805464,0.000648635,0.070117403,5.042724016,0.089389519,0.103252819,0.000000000,0.800000000,3.059680053,0.000960384,0.606310420,0.000194590,0.003308037,3.320044059,0.114743465,0.002103536,0.425230576,0.000389181,0.004799896,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.060000000
62bits_10.dimacs.cnf,1,1160.000000000,28773.000000000,1160.000000000,28773.000000000,0.000000000,0.000000000,0.060000000,0.040315574,0.346105092,0.659624374,0.000000000,1.000000000,2.580162413,0.005958801,0.297467751,0.001724138,0.025862069,2.090992882,0.000000000,0.006950961,0.051159073,0.000000000,0.005958801,1.035850726,0.000312793,0.034337747,5.241119703,0.082656387,0.101754520,0.000000000,0.785714286,2.972545952,0.000503795,0.552348821,0.000034755,0.001494457,3.270040619,0.111771452,0.001270708,0.409606453,0.000139019,0.003649255,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
manthey_single-ordered-initialized-w54-b9.cnf,1,16281.000000000,135720.000000000,10552.000000000,116313.000000000,0.542930250,0.166851513,0.360000000,0.090720728,0.545824423,0.568142224,0.000000000,1.000000000,0.846744848,0.000348674,0.905677388,0.000189538,0.005780895,0.843890562,0.000000000,0.210690121,0.906863377,0.020000000,0.000348674,2.890209457,0.000077377,0.010703877,1.212587640,0.629791760,0.144778841,0.000000000,0.921052632,1.125413287,0.000167016,3.865856184,0.000008597,0.007221893,0.674059300,0.657682288,0.000386625,2.480486979,0.000085975,0.010265405,0.160000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.180000000
jgiraldezlevy.2200.9086.08.40.8.cnf,1,2200.000000000,9086.000000000,2124.000000000,8994.000000000,0.035781544,0.010229042,0.000000000,0.236157438,0.494881773,0.590157445,0.000000000,1.000000000,0.758829967,0.001436928,0.075190304,0.001412429,0.002354049,0.206917559,0.000000000,0.000000000,0.949633089,0.000000000,0.001436928,0.307752965,0.000555926,0.004113854,2.746233881,0.239836984,0.178640526,0.000000000,1.000000000,3.403608071,0.000706110,0.427524817,0.000000000,0.002112519,2.383256244,0.493662442,0.002498422,0.277384059,0.001000667,0.006226373,0.000000000,0.002152103,0.260715651,0.000667111,0.005114521,3.005895063,0.140684185,0.286335678,0.056899004,0.361111111,2.729018163,0.140000000
hitag2-8-60-0-0x1eb82244d7f1c3c-47.cnf,1,2282.000000000,30260.000000000,2179.000000000,29976.000000000,0.047269390,0.009474246,0.040000000,0.072691487,0.313221371,0.857981467,0.000000000,1.000000000,1.740645145,0.002706693,0.315101784,0.000917852,0.003212483,1.006536486,0.000000000,0.142947691,0.165465706,-0.000000000,0.002706693,1.824808444,0.000366960,0.041700027,2.917875554,0.038866149,0.054576596,0.000000000,0.269230769,1.815425920,0.000298357,1.726084951,0.000033360,0.004703763,2.543934787,0.207399253,0.000379775,1.210385791,0.000166800,0.003769682,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
jgiraldezlevy.2200.9086.08.40.46.cnf,1,2200.000000000,9086.000000000,2137.000000000,9012.000000000,0.029480580,0.008211274,0.000000000,0.237128273,0.498527889,0.589382616,0.000000000,1.000000000,0.739204663,0.001424140,0.068881014,0.001403837,0.002807674,0.180189883,0.000000000,0.000000000,0.957723036,0.000000000,0.001424140,0.297425903,0.000443853,0.003772747,2.718146561,0.222677413,0.168169221,0.000000000,1.000000000,3.309932704,0.000693299,0.397938954,0.000000000,0.001775411,2.304231569,0.489569463,0.002464452,0.265673825,0.000887705,0.005215269,0.000000000,0.002154325,0.242122802,0.000554816,0.005326232,2.941878220,0.139911131,0.271176410,0.060374150,0.422222222,2.681377035,0.140000000
manthey_single-ordered-initialized-w40-b10.cnf,1,10800.000000000,86325.000000000,7174.000000000,72791.000000000,0.505436298,0.185929579,0.220000000,0.098556140,0.556446629,0.559234545,0.000000000,1.000000000,0.951705418,0.000508370,0.929841138,0.000278784,0.006830220,0.834952660,0.000000000,0.219161710,0.919935157,0.020000000,0.000508370,2.548752623,0.000123642,0.013518155,1.398273033,0.614912885,0.152702608,0.004184100,0.883720930,1.312361267,0.000243086,3.540335551,0.000013738,0.009520408,0.773438780,0.654352873,0.000592111,2.191769278,0.000151118,0.013545631,0.080000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
MD5-30-1.cnf,1,8906.000000000,68106.000000000,6534.000000000,67746.000000000,0.363024181,0.005313967,0.120000000,0.096448499,0.444989618,0.449759645,0.000000000,1.000000000,1.623510529,0.000639375,0.193556082,0.000306091,0.000918274,1.151643547,0.000000000,0.009225637,0.226537360,0.000000000,0.000639375,0.692969572,0.000118088,0.001594190,3.226703407,0.021623093,0.055781438,0.000000000,0.416666667,0.880501715,0.000251592,0.694074470,0.000029522,0.000797095,2.977396672,0.399802202,0.000145911,0.422557000,0.000059044,0.000295220,0.060000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
vmpc_29.cnf,1,841.000000000,120147.000000000,841.000000000,120147.000000000,0.000000000,0.000000000,0.100000000,0.006999759,0.594738112,0.547889610,0.000000000,1.000000000,0.675438359,0.003115149,0.289320265,0.002378121,0.034482759,0.673873154,0.000000000,0.392710596,0.999517258,-0.000000000,0.003115149,0.004299710,0.003062915,0.003121177,0.668852980,0.525524728,0.001599313,0.520215633,0.529729730,-0.000000000,0.003098503,0.004322809,0.003046268,0.003104530,0.668852980,0.999517258,0.001745563,0.074057844,0.001364995,0.001789475,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.600000000
jgiraldezlevy.2200.9086.08.40.62.cnf,1,2200.000000000,9086.000000000,2144.000000000,9020.000000000,0.026119403,0.007317073,0.000000000,0.237694013,0.495347376,0.590837070,0.000000000,1.000000000,0.718299654,0.001416680,0.063202867,0.001399254,0.002332090,0.160424100,0.000000000,0.000000000,0.963082040,0.000000000,0.001416680,0.284104610,0.000443459,0.003547672,2.672955061,0.230108982,0.171457326,0.000000000,1.000000000,3.329187581,0.000705056,0.392661899,0.000000000,0.002328160,2.302652736,0.499778271,0.002455675,0.255061577,0.000886918,0.005210643,0.000000000,0.002106996,0.242183912,0.000776053,0.004878049,2.921776940,0.141695410,0.271470671,0.055128205,0.400000000,2.683942412,0.120000000
manthey_DimacsSorterHalf_31_8.cnf,1,5471.000000000,18706.000000000,3331.000000000,16846.000000000,0.642449715,0.110411967,0.040000000,0.197732399,0.297762504,1.168722029,0.000000000,1.000000000,1.376711476,0.000806536,0.467104790,0.000600420,0.010807565,1.089022735,0.000000000,0.585777039,0.857592307,-0.000000000,0.000806536,0.586279881,0.000474890,0.007063991,2.301593123,0.202545740,0.166406771,0.000000000,0.809523810,2.893586554,0.000513348,0.747178049,0.000059361,0.004867624,2.345867824,0.750385848,0.000661653,0.574237179,0.000296806,0.005520598,0.020000000,0.001077714,1.130709485,0.000296806,0.046717322,3.363164367,0.182663540,0.485433522,0.002547746,0.666666667,3.425240292,0.280000000
manthey_single-ordered-initialized-w48-b6.cnf,1,8352.000000000,68487.000000000,4211.000000000,55182.000000000,0.983376870,0.241111232,0.140000000,0.076311116,0.530017727,0.590070669,0.000000000,1.000000000,1.039917268,0.000887855,0.769680391,0.000474947,0.012823557,0.960356101,0.000000000,0.207440832,0.849208075,-0.000000000,0.000887855,2.421128206,0.000163097,0.014914284,1.106440626,0.617269035,0.182498724,0.001215067,0.911330049,1.023759941,0.000412387,2.919221883,0.000018122,0.008426661,0.937416944,0.648001160,0.000804264,2.108642965,0.000126853,0.011634229,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
hitag2-10-60-0-0x8edc44db7837bbf-65.cnf,1,2271.000000000,30273.000000000,2159.000000000,30001.000000000,0.051875868,0.009066364,0.040000000,0.071964268,0.313583357,0.854329531,0.000000000,1.000000000,1.734388682,0.002739402,0.313376679,0.000926355,0.003242242,0.997374410,0.000000000,0.142228592,0.164361188,-0.000000000,0.002739402,1.836112952,0.000333322,0.042331922,2.922128345,0.038378902,0.053991176,0.000000000,0.285714286,1.809776522,0.000294725,1.671289308,0.000033332,0.004699843,2.546984156,0.204059865,0.000380719,1.229146785,0.000166661,0.003799873,0.020000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.020000000
aes_32_3_keyfind_1.cnf,1,708.000000000,2664.000000000,450.000000000,2204.000000000,0.573333333,0.208711434,0.000000000,0.204174229,0.462794918,0.618562451,0.000000000,1.000000000,1.409081811,0.007836257,0.165367895,0.004444444,0.011111111,0.876551581,0.000000000,0.018148820,0.482758621,0.000000000,0.007836257,0.291026915,0.003176044,0.015426497,2.663525158,0.050908712,0.069138697,0.000000000,0.250000000,1.781994609,0.003178060,0.300827008,0.000907441,0.005898367,2.038184838,0.407894737,0.004081468,0.279957471,0.002268603,0.006805808,0.000000000,0.012439024,0.208541807,0.004083485,0.023139746,3.084916036,0.319490343,0.170505104,0.167948718,0.520467836,3.047872342,0.040000000
manthey_single-ordered-initialized-w44-b7.cnf,1,8470.000000000,68909.000000000,4772.000000000,56414.000000000,0.774937133,0.221487574,0.160000000,0.084588932,0.540301131,0.575082980,0.000000000,1.000000000,1.027238900,0.000772768,0.781913595,0.000419111,0.010687343,0.918590234,0.000000000,0.212216826,0.876342752,-0.000000000,0.000772768,2.444536881,0.000159535,0.014819017,1.354913982,0.611721424,0.172191459,0.001197605,0.923076923,1.315301290,0.000365343,3.073192118,0.000017726,0.009040309,0.886678529,0.651877194,0.000759087,2.122709512,0.000141809,0.012620981,0.040000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-512.000000000,-1.000000000,-0.000000000,-1.000000000,0.000000000,-0.000000000,20.040000000
% 
% 
%