instance,nvarsOrig,nclausesOrig,nvars,nclauses,reducedVars,reducedClauses,Pre-featuretime,vars-clauses-ratio,POSNEG-RATIO-CLAUSE-mean,POSNEG-RATIO-CLAUSE-coeff-variation,POSNEG-RATIO-CLAUSE-min,POSNEG-RATIO-CLAUSE-max,POSNEG-RATIO-CLAUSE-entropy,VCG-CLAUSE-mean,VCG-CLAUSE-coeff-variation,VCG-CLAUSE-min,VCG-CLAUSE-max,VCG-CLAUSE-entropy,UNARY,BINARY+,TRINARY+,Basic-featuretime,VCG-VAR-mean,VCG-VAR-coeff-variation,VCG-VAR-min,VCG-VAR-max,VCG-VAR-entropy,POSNEG-RATIO-VAR-mean,POSNEG-RATIO-VAR-stdev,POSNEG-RATIO-VAR-min,POSNEG-RATIO-VAR-max,POSNEG-RATIO-VAR-entropy,HORNY-VAR-mean,HORNY-VAR-coeff-variation,HORNY-VAR-min,HORNY-VAR-max,HORNY-VAR-entropy,horn-clauses-fraction,VG-mean,VG-coeff-variation,VG-min,VG-max,KLB-featuretime,CG-mean,CG-coeff-variation,CG-min,CG-max,CG-entropy,cluster-coeff-mean,cluster-coeff-coeff-variation,cluster-coeff-min,cluster-coeff-max,cluster-coeff-entropy,CG-featuretime
instances/qcplin2006.10218.cnf,1066.000000000,7672.000000000,1066.000000000,7672.000000000,0.000000000,0.000000000,0.000000000,0.138946820,1.000000000,0.000000000,1.000000000,1.000000000,-0.000000000,0.002104580,0.414210982,0.001876173,0.009380863,0.419454484,0.000000000,0.919968717,0.934176225,0.000000000,0.002104580,0.211989361,0.000912409,0.003388947,2.637733740,0.609452265,0.093700913,0.142857143,0.769230769,2.634151109,0.001713548,0.260365412,0.000521376,0.002997914,2.637733740,0.913321168,0.001713548,0.260365412,0.000521376,0.002997914,0.000000000,0.001190460,1.697700286,0.000651721,0.018899896,0.685808369,0.308779748,0.259989170,0.013698630,0.333333333,0.489480586,0.040000000
instances/qcplin2006.1031.cnf,4414.000000000,47942.000000000,4414.000000000,47942.000000000,0.000000000,0.000000000,0.080000000,0.092069584,1.000000000,0.000000000,1.000000000,1.000000000,-0.000000000,0.000498469,0.499375269,0.000453104,0.003624830,0.242904063,0.000000000,0.962308623,0.963539277,-0.000000000,0.000498469,0.199437031,0.000187727,0.000855200,2.973299748,0.738104759,0.056760402,0.333333333,0.853658537,2.786049416,0.000435893,0.228067646,0.000125151,0.000792624,2.973299748,0.962016603,0.000435893,0.228067646,0.000125151,0.000792624,0.020000000,0.000200663,2.678805722,0.000104293,0.008614576,0.362796522,0.321423138,0.186619164,0.004830918,0.333333333,0.212842478,0.480000000
instances/qcplin2006.10641.cnf,2601.000000000,23450.000000000,2601.000000000,23450.000000000,0.000000000,0.000000000,0.020000000,0.110916844,1.000000000,0.000000000,1.000000000,1.000000000,-0.000000000,0.000853616,0.464965421,0.000768935,0.004998078,0.322691705,0.000000000,0.945714286,0.950831557,-0.000000000,0.000853616,0.227710399,0.000341151,0.001620469,2.923828161,0.683156865,0.079194513,0.250000000,0.842105263,2.850751479,0.000725684,0.267853732,0.000213220,0.001492537,2.923828161,0.943752665,0.000725684,0.267853732,0.000213220,0.001492537,0.020000000,0.000402453,2.225203063,0.000213220,0.011684435,0.497530439,0.316389245,0.219928533,0.007272727,0.333333333,0.320483938,0.160000000
instances/qcplin2006.10556.cnf,700.000000000,5264.000000000,700.000000000,5264.000000000,0.000000000,0.000000000,0.000000000,0.132978723,1.000000000,0.000000000,1.000000000,1.000000000,-0.000000000,0.003206144,0.422271582,0.002857143,0.014285714,0.397357103,0.000000000,0.925151976,0.934080547,0.000000000,0.003206144,0.194120455,0.001709726,0.005129179,2.592682102,0.629580435,0.080031728,0.333333333,0.777777778,2.587874876,0.002636235,0.236085964,0.001139818,0.004559271,2.592682102,0.922682371,0.002636235,0.236085964,0.001139818,0.004559271,0.000000000,0.001752816,1.774079901,0.000949848,0.030205167,0.613406321,0.310773447,0.251687289,0.012500000,0.333333333,0.423983707,0.020000000
