@RELATION ALGORITHM_FEATURE_VALUES_SAT11-RAND-ALGO @ATTRIBUTE algorithm STRING @ATTRIBUTE repetition NUMERIC @ATTRIBUTE Lines..Average. NUMERIC @ATTRIBUTE Lines..Total. NUMERIC @ATTRIBUTE Size..Average. NUMERIC @ATTRIBUTE Size..Total. NUMERIC @ATTRIBUTE Number.of.files NUMERIC @ATTRIBUTE Cyclomatic..Average. NUMERIC @ATTRIBUTE Cyclomatic..Total. NUMERIC @ATTRIBUTE Max.Indent..Average. NUMERIC @ATTRIBUTE Max.Indent..Total. NUMERIC @ATTRIBUTE nb_nodes NUMERIC @ATTRIBUTE nb_edges NUMERIC @ATTRIBUTE degree_min NUMERIC @ATTRIBUTE degree_max NUMERIC @ATTRIBUTE degree_mean NUMERIC @ATTRIBUTE degree_variance NUMERIC @ATTRIBUTE degree_entropy NUMERIC @ATTRIBUTE transitivity NUMERIC @ATTRIBUTE clustering_min NUMERIC @ATTRIBUTE clustering_max NUMERIC @ATTRIBUTE clustering_mean NUMERIC @ATTRIBUTE clustering_variance NUMERIC @ATTRIBUTE path_min NUMERIC @ATTRIBUTE paths_max NUMERIC @ATTRIBUTE path_mean NUMERIC @ATTRIBUTE path_variance NUMERIC @ATTRIBUTE path_entropy NUMERIC @ATTRIBUTE Stmt NUMERIC @ATTRIBUTE Type NUMERIC @ATTRIBUTE Decl NUMERIC @ATTRIBUTE Attribute NUMERIC @ATTRIBUTE Operator NUMERIC @ATTRIBUTE Literal NUMERIC @ATTRIBUTE edge_ss NUMERIC @ATTRIBUTE edge_st NUMERIC @ATTRIBUTE edge_sd NUMERIC @ATTRIBUTE edge_sa NUMERIC @ATTRIBUTE edge_so NUMERIC @ATTRIBUTE edge_sl NUMERIC @ATTRIBUTE edge_ts NUMERIC @ATTRIBUTE edge_tt NUMERIC @ATTRIBUTE edge_td NUMERIC @ATTRIBUTE edge_ta NUMERIC @ATTRIBUTE edge_to NUMERIC @ATTRIBUTE edge_tl NUMERIC @ATTRIBUTE edge_ds NUMERIC @ATTRIBUTE edge_dt NUMERIC @ATTRIBUTE edge_dd NUMERIC @ATTRIBUTE edge_da NUMERIC @ATTRIBUTE edge_do NUMERIC @ATTRIBUTE edge_dl NUMERIC @ATTRIBUTE edge_as NUMERIC @ATTRIBUTE edge_at NUMERIC @ATTRIBUTE edge_ad NUMERIC @ATTRIBUTE edge_aa NUMERIC @ATTRIBUTE edge_ao NUMERIC @ATTRIBUTE edge_al NUMERIC @ATTRIBUTE edge_os NUMERIC @ATTRIBUTE edge_ot NUMERIC @ATTRIBUTE edge_od NUMERIC @ATTRIBUTE edge_oa NUMERIC @ATTRIBUTE edge_oo NUMERIC @ATTRIBUTE edge_ol NUMERIC @ATTRIBUTE edge_ls NUMERIC @ATTRIBUTE edge_lt NUMERIC @ATTRIBUTE edge_ld NUMERIC @ATTRIBUTE edge_la NUMERIC @ATTRIBUTE edge_lo NUMERIC @ATTRIBUTE edge_ll NUMERIC @ATTRIBUTE op_short NUMERIC @ATTRIBUTE op_int NUMERIC @ATTRIBUTE op_long NUMERIC @ATTRIBUTE op_long_long NUMERIC @ATTRIBUTE op_float NUMERIC @ATTRIBUTE op_double NUMERIC @ATTRIBUTE op_bit NUMERIC @DATA adaptg2wsat2011_2011.03.02,1,22.4029850746,1501,57892,57892,1,5.19696969697,343,2.75757575758,182,11801,12052,1,683,2.04253876790103,41.3788682659757,1.31166861778462,0.000159881277902358,0,0.5,0.00234805648112744,0.000481838065950229,1,22,6.67736757624398,16.5685745660446,2.50973822804648,0.591814253029404,0.0234725870688925,0.142784509787306,0.0285569019574612,0.13829336496907,0.0750783831878654,3975,0,197,0,1659,0,0,252,127,0,0,0,232,47,1121,0,0,0,0,1,310,0,0,0,1238,0,5,0,170,0,209,0,32,0,425,0,0,0.80657,0.02351,0.01287,0,0.0142,0.02972 EagleUP_1.565.350,1,28.2525252525,2797,22573.625,180589,8,4.71590909091,415,2.625,231,18462,18971,1,2948,2.05514028815946,472.180048057345,1.28180436661661,8.94581998532886e-06,0,0.5,0.00193689204467515,0.000422997429611566,1,25,4.71906572514938,17.6088118171704,2.06433673422506,0.441763139301049,0.0463068645035056,0.303929561389206,0.0705473123539323,0.0847872166965596,0.0526659057557476,2968,0,152,0,1077,0,0,447,290,0,0,0,78,36,2900,0,0,0,0,0,676,0,0,0,705,0,1,0,107,0,274,0,6,0,241,0,0.00421,0.6393,0.09123,0,0.0407,0.03298,0.00702 march_rw_2011.03.02,1,24.2008928571,5421,8728.92,218223,25,5.53608247423,1074,2.4175257732,469,75757,77911,1,12246,2.05686603218184,1980.86896115335,1.28771911187178,3.62502279133125e-06,0,0.5,0.00264389505343098,0.000489411391937785,1,26,4.42625603549524,17.1631880364434,1.77217125162294,0.391350308540018,0.0400903817439448,0.328862696388694,0.117020573739082,0.0826517263705916,0.0400243132176694,2549,0,103,1,1083,0,0,446,251,0,0,0,82,42,3098,0,0,0,0,1,1131,0,0,0,725,0,4,0,99,0,146,0,7,0,225,0,0,0.62118,0.07676,0.0462,0.02203,0.01493,0.09311 MPhaseSAT_M_2011.02.16,1,23.1003811944,18180,22346.3103448,648043,29,6.96695402299,4849,2.35201149425,1637,435513,450693,1,11050,2.0697108926714,329.988279490114,1.31566304096184,2.71590107488803e-05,0,0.5,0.00224059037279325,0.000383458344916611,1,29,5.97911732176495,13.666908995129,2.37834686132181,0.485925110487249,0.038485720141958,0.346924205401496,0.028055355321006,0.0674461612158088,0.0331634474324813,3430,14,406,4,854,0,13,509,175,0,0,0,107,56,3091,0,0,0,0,2,273,0,0,0,514,0,13,0,124,0,128,0,20,0,168,0,0.00087,0.52443,0.10035,0.01396,0.00436,0.00873,0.06632 SAT09referencesolvergnovelty.2_2009.03.22,1,28.7272727273,1580,13575.2,67876,5,8.14,407,2.7,135,231107,241667,1,1411,2.09138624100525,26.593000279482,1.36043994484209,0.000426145720554479,0,0.5,0.00233071401730062,0.000397655843125047,1,33,6.73560943744236,11.2713333295287,2.44356062676179,0.520601501140658,0.0561752259547568,0.343538303467252,0.011715688835484,0.0457003291364088,0.0222689514654407,3724,8,539,0,558,0,21,681,205,0,0,0,103,96,3094,0,0,0,0,9,113,0,0,0,315,0,11,0,73,0,147,0,22,0,53,0,0.00292,0.26901,0.18713,0.00439,0.00731,0.00731,0.05409 SAT09referencesolvermarch_hi_hi,1,24.5366666667,7361,7573.23076923,295356,39,5.7421875,1470,2.5,640,101702,105063,1,16738,2.06609506204401,2756.10748870702,1.29224698080533,3.02173596397937e-06,0,0.5,0.00307139096472272,0.000568076416456905,1,28,4.50337758227948,18.3002654803497,1.8324759557063,0.399202677428881,0.0466679791318043,0.325100895757456,0.107116842208879,0.0821931292450044,0.0397184762279752,2665,0,108,2,1036,0,0,522,212,0,0,0,78,53,3089,0,0,0,0,3,1076,0,0,0,670,0,9,0,102,0,114,0,8,0,248,0,0,0.66739,0.06277,0.04545,0.01587,0.01299,0.10606 SAT09referencesolverTNM_2009.03.22,1,21.9032258065,1358,15766.6666667,47300,3,5.50877192982,314,3.0350877193,173,10179,10369,1,685,2.03733176146969,47.5586376430184,1.30699259699839,0.000101302460202605,0,0.5,0.00177220524170415,0.000327174219078427,1,22,6.7458615061786,17.7959396086135,2.50491368386034,0.582964927792514,0.0267216818940957,0.152470773160428,0.032616170547205,0.138913449258277,0.0663129973474801,3780,0,138,0,1707,0,0,333,148,0,0,0,269,27,1258,0,0,0,0,0,351,0,0,0,1161,0,23,0,175,0,172,0,49,0,409,0,0,0.81493,0.02052,0.01309,0,0.01833,0.03448 sparrow2011_sparrow2011_ubcsat1.2_2011.03.02,1,22.2620481928,14782,11807.4423077,613987,52,3.85610200364,2117,2.59927140255,1427,382663,392457,1,70823,2.05118864379363,13114.5267920955,1.2564030729889,4.97760637262484e-07,0,0.5,0.00229170322654892,0.000394341958896345,1,33,3.79346386055226,17.0070428772444,1.49243770213294,0.336442083249717,0.0375822516080651,0.417067142660991,0.130134454314051,0.0476848086692931,0.0310892594978823,2465,0,91,0,690,0,0,456,186,0,0,0,26,42,3972,0,0,0,0,4,1199,0,0,0,382,0,5,0,58,0,277,0,1,0,53,0,0,0.50437,0.0824,0.04619,0,0.04245,0.12609