@relation R_data_frame

@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
MaxHS,1,8.31721698113,14106,10297.7564103,803225,78,2.04230235784,2945,1.44313453537,2081,2279893,2379770,1,17641,2.08761551528953,160.891919639333,1.34882509768349,5.92026221094686e-05,0,0.5,0.00217834004295863,0.000346280096773055,1,33,6.4036298127787,10.6550610537691,2.40141154170408,0.528887366277298,0.0470619254658111,0.349145713488296,0.0117277835022683,0.0429111922092844,0.0202660190570419,3852,13,576,0,492,0,19,652,155,0,0,0,107,94,3160,0,0,0,0,1,112,0,0,0,276,0,8,0,87,0,124,0,14,0,75,0,0,0.26911,0.16208,0.0107,0.00153,0.01223,0.06575
maxino2018,1,7.59207920792,7668,6677.30645161,413993,62,1.97160493827,1597,1.42592592593,1155,1879243,1961323,1,20749,2.08735432299069,258.359928053086,1.34018327798238,3.8679312200021e-05,0,0.5,0.00212405442125142,0.000345171064906019,1,33,6.27381666816399,11.2504066984671,2.39419741061216,0.507895865257017,0.0435160125452724,0.35677142090287,0.0169653101618631,0.0497309054046684,0.0251204857283091,3551,17,531,1,576,0,16,547,166,0,0,0,107,68,3328,0,0,0,0,0,155,0,0,0,373,0,10,0,86,0,147,0,25,0,107,0,0,0.37451,0.15865,0.0143,0,0.0156,0.08192
Open.WBO.g,1,10.9585613761,14016,9197.13333333,827742,90,2.52480916031,2646,1.59160305344,1668,3256439,3411046,1,27801,2.09495464217202,261.918363775166,1.34905554958687,3.79048607449375e-05,0,0.5,0.0022323245107188,0.000359862737412515,1,33,6.44479696398895,10.6021305747388,2.41569208224213,0.518245524058331,0.0504572760069654,0.34899276461819,0.011535816019426,0.0473535326604339,0.0234150866366537,3763,13,531,0,556,0,14,668,192,0,0,0,100,105,3106,0,0,0,0,0,97,0,0,0,351,0,3,0,79,0,124,0,30,0,73,0,0,0.27401,0.17232,0.01412,0,0.00847,0.08898
Open.WBO.ms,1,10.203033839,17488,9672.21359223,996238,103,2.49367088608,3546,1.5611814346,2220,2859000,2995611,1,25538,2.09556558237146,253.263150277581,1.3510506925066,4.04396005573363e-05,0,0.5,0.00229252993358994,0.000368724232099199,1,33,6.40252639399145,10.6925545339718,2.41292240309771,0.513326638367779,0.0496499911390162,0.353680191622291,0.013438807170927,0.0470518240968126,0.0228525476031742,3659,15,503,0,544,0,14,649,175,0,0,0,92,113,3199,0,0,0,0,0,129,0,0,0,345,0,7,0,98,0,166,0,15,0,84,0,0.00138,0.3168,0.16667,0.00964,0,0.00826,0.07713
Open.WBO.ms.pre,1,11.9950908198,24434,8307.68965517,1204615,145,3.31302774427,5493,1.76296743064,2923,4579579,4800841,1,32774,2.09662984304889,257.710484454099,1.35340615418946,3.90075646413859e-05,0,0.5,0.00231266184758944,0.000371121521821926,1,33,6.53740313937871,10.9496495107398,2.43268306289952,0.519782182525302,0.0526237114884275,0.346711105833277,0.0121345792045685,0.0463448207437605,0.0224036002046648,3721,21,510,1,547,0,23,708,208,0,0,0,115,113,3057,0,0,0,0,0,123,0,0,0,321,0,15,0,92,0,140,0,18,0,58,0,0.00143,0.25251,0.2066,0.00143,0,0.01435,0.0703
QMaxSAT2018,1,9.02480417755,6913,12445.875,398268,32,2.40548780488,1578,1.44512195122,948,108844,112909,1,2521,2.07469405755026,119.737867729777,1.30706528064075,9.06043796266638e-05,0,0.5,0.00257242823966711,0.000438531287260563,1,31,6.13591974613574,19.9203306200435,2.29444467633017,0.49300159831484,0.0333059248514861,0.357754598619721,0.0312549081199937,0.05213462799915,0.0325483420948087,3676,11,387,1,594,0,10,388,157,0,0,0,90,44,3313,0,0,0,0,0,329,0,0,0,376,0,13,0,102,0,223,0,28,0,107,0,0,0.4944,0.04483,0.08717,0.00249,0.03736,0.06476
UWrMaxSAT,1,7.77264492754,8581,8914.10526316,508104,57,2.5166130761,2348,1.39657020364,1303,1229936,1281653,1,17415,2.08409705870875,281.03898295831,1.33884794339227,3.98631020128042e-05,0,0.5,0.00243573561145691,0.000403307595181392,1,39,5.97337878256827,11.1300949052459,2.32731053108386,0.501331051996823,0.0406685819434503,0.369669663780678,0.0217347962648834,0.045718245135818,0.0208776608783472,3660,14,473,0,593,1,20,529,168,0,0,0,86,72,3411,0,0,0,0,1,189,0,0,0,336,0,3,0,80,0,136,0,15,0,68,0,0,0.36302,0.139,0.01484,0.00675,0.02024,0.06073