{ "data_id": "41705", "name": "ASP-POTASSCO-classification", "exact_name": "ASP-POTASSCO-classification", "version": 1, "version_label": null, "description": "Author: Marius Lindauer\nDate: 27.02.2014\n\nThese data set was generated for a publication about claspfolio 2.0,\ni.e., an algorithm selector for ASP.\nThe algorithm portfolio of clasp (2.1.4) configuration is generated by the hydra method (see http:\/\/www.cs.ubc.ca\/labs\/beta\/Projects\/Hydra\/)\nin combination with SMAC.\nTo generate the features, I used claspre, a light-weight version of the ASP solver clasp,\nwith static and dynamic features (4 restarts each after 32 conflicts).", "format": "ARFF", "uploader": "Martin Hoang", "uploader_id": 8316, "visibility": "public", "creator": null, "contributor": null, "date": "2019-05-28 13:59:28", "update_comment": null, "last_update": "2019-05-28 13:59:28", "licence": "Public", "status": "active", "error_message": null, "url": "https:\/\/www.openml.org\/data\/download\/21377447\/file18547f421393.arff", "default_target_attribute": "algorithm", "row_id_attribute": null, "ignore_attribute": "\"instance_idrepetitionrunstatusruntime\"", "runs": 0, "suggest": { "input": [ "ASP-POTASSCO-classification", "Author: Marius Lindauer Date: 27.02.2014 These data set was generated for a publication about claspfolio 2.0, i.e., an algorithm selector for ASP. The algorithm portfolio of clasp (2.1.4) configuration is generated by the hydra method (see http:\/\/www.cs.ubc.ca\/labs\/beta\/Projects\/Hydra\/) in combination with SMAC. To generate the features, I used claspre, a light-weight version of the ASP solver clasp, with static and dynamic features (4 restarts each after 32 conflicts). " ], "weight": 5 }, "qualities": { "NumberOfInstances": 1294, "NumberOfFeatures": 143, "NumberOfClasses": 11, "NumberOfMissingValues": 18258, "NumberOfInstancesWithMissingValues": 218, "NumberOfNumericFeatures": 140, "NumberOfSymbolicFeatures": 2, "Dimensionality": 0.11051004636785162, "MeanNominalAttDistinctValues": 6.5, "Quartile2KurtosisOfNumericAtts": 25.91150135156594, "EquivalentNumberOfAtts": 20.00726773880985, "MeanSkewnessOfNumericAtts": 5.126047833608322, "Quartile2MeansOfNumericAtts": 7.942098605818045, "MajorityClassPercentage": 19.938176197836167, "MeanStdDevOfNumericAtts": 60181.79371673051, "Quartile2MutualInformation": 0.16083400787485, "MajorityClassSize": 258, "MinAttributeEntropy": 0.3406774411363256, "Quartile2SkewnessOfNumericAtts": 4.401794957988359, "MaxAttributeEntropy": 0.3406774411363256, "MinKurtosisOfNumericAtts": -1.98733991510195, "PercentageOfBinaryFeatures": 0, "Quartile2StdDevOfNumericAtts": 10.658556123700516, "MaxKurtosisOfNumericAtts": 1103.0000000000578, "MinMeansOfNumericAtts": 0, "PercentageOfInstancesWithMissingValues": 16.846986089644513, "Quartile3AttributeEntropy": 0.3406774411363256, "MaxMeansOfNumericAtts": 247969.49907063352, "MinMutualInformation": 0.16083400787485, "PercentageOfMissingValues": 9.866949125063499, "Quartile3KurtosisOfNumericAtts": 78.41991085509639, "MaxMutualInformation": 0.16083400787485, "MinNominalAttDistinctValues": 2, "PercentageOfNumericFeatures": 97.9020979020979, "Quartile3MeansOfNumericAtts": 762.8490480507692, "MaxNominalAttDistinctValues": 11, "MinSkewnessOfNumericAtts": -10.964989376572628, "PercentageOfSymbolicFeatures": 1.3986013986013985, "Quartile3MutualInformation": 0.16083400787485, "MaxSkewnessOfNumericAtts": 33.21144381083113, "MinStdDevOfNumericAtts": 0, "Quartile1AttributeEntropy": 0.3406774411363256, "Quartile3SkewnessOfNumericAtts": 7.422576345249873, "MaxStdDevOfNumericAtts": 1208575.3170588554, "MinorityClassPercentage": 1.6228748068006182, "Quartile1KurtosisOfNumericAtts": 2.5121476927798487, "Quartile3StdDevOfNumericAtts": 2245.720011209795, "MeanAttributeEntropy": 0.3406774411363256, "MinorityClassSize": 21, "Quartile1MeansOfNumericAtts": 0.24578281654340794, "StdvNominalAttDistinctValues": 6.363961030678928, "MeanKurtosisOfNumericAtts": 76.92551574908767, "NumberOfBinaryFeatures": 0, "Quartile1MutualInformation": 0.16083400787485, "MeanMeansOfNumericAtts": 14982.64014194336, "Quartile1SkewnessOfNumericAtts": 1.3186198111265535, "AutoCorrelation": 0.34261407579273007, "MeanMutualInformation": 0.16083400787485, "Quartile1StdDevOfNumericAtts": 0.2154994528279508, "ClassEntropy": 3.217849057057976, "MeanNoiseToSignalRatio": 1.1181928227605782, "Quartile2AttributeEntropy": 0.3406774411363256 }, "tags": [ { "uploader": "8316", "tag": "Algorithm Selection" }, { "uploader": "38960", "tag": "Computer Systems" }, { "uploader": "8316", "tag": "R" }, { "uploader": "38960", "tag": "Social Media" } ], "topics": [ { "topic": "Book-based", "uploader": "8111" } ], "features": [ { "name": "algorithm", "index": "140", "type": "nominal", "distinct": "11", "missing": "0", "target": "1", "distr": [ [ "clasp.2.1.3.h1.n1", "clasp.2.1.3.h10.n1", "clasp.2.1.3.h11.n1", "clasp.2.1.3.h2.n1", "clasp.2.1.3.h3.n1", "clasp.2.1.3.h4.n1", "clasp.2.1.3.h5.n1", "clasp.2.1.3.h6.n1", "clasp.2.1.3.h7.n1", "clasp.2.1.3.h8.n1", "clasp.2.1.3.h9.n1" ], [ [ "240", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "258", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "75", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "87", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "21", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "125", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "65", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "151", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "88", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "109", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "75" ] ] ] }, { "name": "instance_id", "index": "0", "type": "string", "distinct": "1294", "missing": "0" }, { "name": "repetition", "index": "1", "type": "numeric", "distinct": "1", "missing": "0", "min": "1", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Neg_Body", "index": "2", "type": "numeric", "distinct": "684", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Pos_Body", "index": "3", "type": "numeric", "distinct": "720", "missing": "16", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Unary_Rules", "index": "4", "type": "numeric", "distinct": "533", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Binary_Rules", "index": "5", "type": "numeric", "distinct": "879", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Ternary_Rules", "index": "6", "type": "numeric", "distinct": "908", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Integrity_Rules", "index": "7", "type": "numeric", "distinct": "715", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Tight", "index": "8", "type": "numeric", "distinct": "2", "missing": "16", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Problem_Variables", "index": "9", "type": "numeric", "distinct": "1124", "missing": "16", "min": "59", "max": "7758660", "mean": "89617", "stdev": "350251" }, { "name": "Free_Problem_Variables", "index": "10", "type": "numeric", "distinct": "1063", "missing": "16", "min": "45", "max": "1691690", "mean": "48051", "stdev": "98965" }, { "name": "Assigned_Problem_Variables", "index": "11", "type": "numeric", "distinct": "904", "missing": "16", "min": "2", "max": "6910879", "mean": "41565", "stdev": "305057" }, { "name": "Constraints", "index": "12", "type": "numeric", "distinct": "1169", "missing": "16", "min": "138", "max": "7054066", "mean": "195310", "stdev": "414965" }, { "name": "Constraints.Vars", "index": "13", "type": "numeric", "distinct": "1028", "missing": "16", "min": "0", "max": "18", "mean": "2", "stdev": "2" }, { "name": "Created_Bodies", "index": "14", "type": "numeric", "distinct": "1104", "missing": "16", "min": "105", "max": "8043761", "mean": "112189", "stdev": "397786" }, { "name": "Program_Atoms", "index": "15", "type": "numeric", "distinct": "1033", "missing": "16", "min": "51", "max": "2498934", "mean": "39519", "stdev": "96883" }, { "name": "SCCS", "index": "16", "type": "numeric", "distinct": "52", "missing": "16", "min": "0", "max": "425", "mean": "9", "stdev": "28" }, { "name": "Nodes_in_Positive_BADG", "index": "17", "type": "numeric", "distinct": "524", "missing": "16", "min": "0", "max": "407417", "mean": "13562", "stdev": "32670" }, { "name": "Rules", "index": "18", "type": "numeric", "distinct": "1099", "missing": "16", "min": "125", "max": "14182038", "mean": "158505", "stdev": "658973" }, { "name": "Normal_Rules", "index": "19", "type": "numeric", "distinct": "1103", "missing": "16", "min": "105", "max": "14181842", "mean": "147948", "stdev": "656532" }, { "name": "Cardinality_Rules", "index": "20", "type": "numeric", "distinct": "379", "missing": "16", "min": "0", "max": "160797", "mean": "4388", "stdev": "17460" }, { "name": "Choice_Rules", "index": "21", "type": "numeric", "distinct": "509", "missing": "16", "min": "0", "max": "142941", "mean": "6162", "stdev": "17323" }, { "name": "Weight_Rules", "index": "22", "type": "numeric", "distinct": "32", "missing": "16", "min": "0", "max": "299", "mean": "7", "stdev": "38" }, { "name": "Frac_Normal_Rules", "index": "23", "type": "numeric", "distinct": "515", "missing": "16", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Cardinality_Rules", "index": "24", "type": "numeric", "distinct": "330", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Choice_Rules", "index": "25", "type": "numeric", "distinct": "434", "missing": "16", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Weight_Rules", "index": "26", "type": "numeric", "distinct": "39", "missing": "16", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Equivalences", "index": "27", "type": "numeric", "distinct": "1118", "missing": "16", "min": "2", "max": "3678844", "mean": "73137", "stdev": "181468" }, { "name": "Atom.Atom_Equivalences", "index": "28", "type": "numeric", "distinct": "933", "missing": "16", "min": "0", "max": "1219248", "mean": "17927", "stdev": "52299" }, { "name": "Body.Body_Equivalences", "index": "29", "type": "numeric", "distinct": "775", "missing": "16", "min": "0", "max": "536862", "mean": "6368", "stdev": "21495" }, { "name": "Other_Equivalences", "index": "30", "type": "numeric", "distinct": "1103", "missing": "16", "min": "2", "max": "1922734", "mean": "48842", "stdev": "110952" }, { "name": "Frac_Atom.Atom_Equivalences", "index": "31", "type": "numeric", "distinct": "815", "missing": "16", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Body.Body_Equivalences", "index": "32", "type": "numeric", "distinct": "635", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Other_Equivalences", "index": "33", "type": "numeric", "distinct": "864", "missing": "16", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Binary_Constraints", "index": "34", "type": "numeric", "distinct": "1134", "missing": "16", "min": "0", "max": "5388172", "mean": "143014", "stdev": "326245" }, { "name": "Ternary_Constraints", "index": "35", "type": "numeric", "distinct": "1018", "missing": "16", "min": "0", "max": "1665484", "mean": "36379", "stdev": "84935" }, { "name": "Other_Constraints", "index": "36", "type": "numeric", "distinct": "930", "missing": "16", "min": "8", "max": "197800", "mean": "15917", "stdev": "31453" }, { "name": "Frac_Binary_Constraints", "index": "37", "type": "numeric", "distinct": "748", "missing": "16", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Ternary_Constraints", "index": "38", "type": "numeric", "distinct": "702", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Other_Constraints", "index": "39", "type": "numeric", "distinct": "651", "missing": "16", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Choices.1", "index": "40", "type": "numeric", "distinct": "465", "missing": "135", "min": "14", "max": "18584", "mean": "397", "stdev": "1043" }, { "name": "Conflicts.Choices.1", "index": "41", "type": "numeric", "distinct": "612", "missing": "135", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.1", "index": "42", "type": "numeric", "distinct": "971", "missing": "135", "min": "1", "max": "3491", "mean": "125", "stdev": "332" }, { "name": "Avg_LBD_Levels.1", "index": "43", "type": "numeric", "distinct": "570", "missing": "135", "min": "1", "max": "103", "mean": "8", "stdev": "11" }, { "name": "Learnt_from_Conflict.1", "index": "44", "type": "numeric", "distinct": "6", "missing": "135", "min": "9", "max": "36", "mean": "32", "stdev": "1" }, { "name": "Learnt_from_Loop.1", "index": "45", "type": "numeric", "distinct": "251", "missing": "135", "min": "0", "max": "12612", "mean": "434", "stdev": "1259" }, { "name": "Frac_Learnt_from_Conflict.1", "index": "46", "type": "numeric", "distinct": "231", "missing": "135", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.1", "index": "47", "type": "numeric", "distinct": "231", "missing": "135", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.1", "index": "48", "type": "numeric", "distinct": "729", "missing": "135", "min": "14", "max": "37373", "mean": "1593", "stdev": "3896" }, { "name": "Literals_in_Loop_Nogoods.1", "index": "49", "type": "numeric", "distinct": "304", "missing": "135", "min": "0", "max": "13771023", "mean": "165643", "stdev": "1010355" }, { "name": "Frac_Literals_in_Conflict_Nogoods.1", "index": "50", "type": "numeric", "distinct": "319", "missing": "135", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.1", "index": "51", "type": "numeric", "distinct": "319", "missing": "135", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.1", "index": "52", "type": "numeric", "distinct": "1", "missing": "135", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Learnt_Binary.1", "index": "53", "type": "numeric", "distinct": "31", "missing": "135", "min": "0", "max": "365", "mean": "3", "stdev": "16" }, { "name": "Learnt_Ternary.1", "index": "54", "type": "numeric", "distinct": "38", "missing": "135", "min": "0", "max": "766", "mean": "7", "stdev": "38" }, { "name": "Learnt_Others.1", "index": "55", "type": "numeric", "distinct": "279", "missing": "135", "min": "0", "max": "12316", "mean": "455", "stdev": "1243" }, { "name": "Frac_Removed_Nogood.1", "index": "56", "type": "numeric", "distinct": "1", "missing": "135", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.1", "index": "57", "type": "numeric", "distinct": "174", "missing": "135", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.1", "index": "58", "type": "numeric", "distinct": "208", "missing": "135", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.1", "index": "59", "type": "numeric", "distinct": "246", "missing": "135", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.1", "index": "60", "type": "numeric", "distinct": "389", "missing": "135", "min": "14", "max": "18545", "mean": "266", "stdev": "830" }, { "name": "Avg_Skipped_Levels_while_Backjumping.1", "index": "61", "type": "numeric", "distinct": "513", "missing": "135", "min": "1", "max": "580", "mean": "8", "stdev": "26" }, { "name": "Longest_Backjumping.1", "index": "62", "type": "numeric", "distinct": "190", "missing": "135", "min": "1", "max": "4612", "mean": "71", "stdev": "272" }, { "name": "Running_Avg_Conflictlevel.1", "index": "63", "type": "numeric", "distinct": "910", "missing": "135", "min": "0", "max": "1222", "mean": "40", "stdev": "108" }, { "name": "Running_Avg_LBD.1", "index": "64", "type": "numeric", "distinct": "446", "missing": "135", "min": "0", "max": "33", "mean": "3", "stdev": "4" }, { "name": "Choices.2", "index": "65", "type": "numeric", "distinct": "644", "missing": "162", "min": "63", "max": "52191", "mean": "1305", "stdev": "3515" }, { "name": "Conflicts.Choices.2", "index": "66", "type": "numeric", "distinct": "791", "missing": "162", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.2", "index": "67", "type": "numeric", "distinct": "1037", "missing": "162", "min": "1", "max": "3449", "mean": "166", "stdev": "453" }, { "name": "Avg_LBD_Levels.2", "index": "68", "type": "numeric", "distinct": "760", "missing": "162", "min": "1", "max": "89", "mean": "8", "stdev": "9" }, { "name": "Learnt_from_Conflict.2", "index": "69", "type": "numeric", "distinct": "12", "missing": "162", "min": "46", "max": "70", "mean": "65", "stdev": "2" }, { "name": "Learnt_from_Loop.2", "index": "70", "type": "numeric", "distinct": "281", "missing": "162", "min": "0", "max": "23503", "mean": "619", "stdev": "1860" }, { "name": "Frac_Learnt_from_Conflict.2", "index": "71", "type": "numeric", "distinct": "270", "missing": "162", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.2", "index": "72", "type": "numeric", "distinct": "270", "missing": "162", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.2", "index": "73", "type": "numeric", "distinct": "844", "missing": "162", "min": "64", "max": "56128", "mean": "2436", "stdev": "5076" }, { "name": "Literals_in_Loop_Nogoods.2", "index": "74", "type": "numeric", "distinct": "333", "missing": "162", "min": "0", "max": "13773228", "mean": "219648", "stdev": "1114657" }, { "name": "Frac_Literals_in_Conflict_Nogoods.2", "index": "75", "type": "numeric", "distinct": "355", "missing": "162", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.2", "index": "76", "type": "numeric", "distinct": "355", "missing": "162", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.2", "index": "77", "type": "numeric", "distinct": "1", "missing": "162", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Learnt_Binary.2", "index": "78", "type": "numeric", "distinct": "50", "missing": "162", "min": "0", "max": "366", "mean": "8", "stdev": "19" }, { "name": "Learnt_Ternary.2", "index": "79", "type": "numeric", "distinct": "63", "missing": "162", "min": "0", "max": "866", "mean": "13", "stdev": "50" }, { "name": "Learnt_Others.2", "index": "80", "type": "numeric", "distinct": "315", "missing": "162", "min": "1", "max": "23218", "mean": "663", "stdev": "1833" }, { "name": "Frac_Removed_Nogood.2", "index": "81", "type": "numeric", "distinct": "1", "missing": "162", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.2", "index": "82", "type": "numeric", "distinct": "299", "missing": "162", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.2", "index": "83", "type": "numeric", "distinct": "339", "missing": "162", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.2", "index": "84", "type": "numeric", "distinct": "422", "missing": "162", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.2", "index": "85", "type": "numeric", "distinct": "573", "missing": "162", "min": "59", "max": "51011", "mean": "986", "stdev": "2906" }, { "name": "Avg_Skipped_Levels_while_Backjumping.2", "index": "86", "type": "numeric", "distinct": "794", "missing": "162", "min": "1", "max": "773", "mean": "15", "stdev": "45" }, { "name": "Longest_Backjumping.2", "index": "87", "type": "numeric", "distinct": "283", "missing": "162", "min": "1", "max": "7791", "mean": "236", "stdev": "756" }, { "name": "Running_Avg_Conflictlevel.2", "index": "88", "type": "numeric", "distinct": "973", "missing": "162", "min": "1", "max": "2208", "mean": "107", "stdev": "292" }, { "name": "Running_Avg_LBD.2", "index": "89", "type": "numeric", "distinct": "567", "missing": "162", "min": "1", "max": "57", "mean": "5", "stdev": "6" }, { "name": "Choices.3", "index": "90", "type": "numeric", "distinct": "717", "missing": "191", "min": "78", "max": "62222", "mean": "2109", "stdev": "5644" }, { "name": "Conflicts.Choices.3", "index": "91", "type": "numeric", "distinct": "852", "missing": "191", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.3", "index": "92", "type": "numeric", "distinct": "1029", "missing": "191", "min": "1", "max": "4431", "mean": "164", "stdev": "454" }, { "name": "Avg_LBD_Levels.3", "index": "93", "type": "numeric", "distinct": "846", "missing": "191", "min": "1", "max": "88", "mean": "8", "stdev": "9" }, { "name": "Learnt_from_Conflict.3", "index": "94", "type": "numeric", "distinct": "12", "missing": "191", "min": "68", "max": "103", "mean": "97", "stdev": "2" }, { "name": "Learnt_from_Loop.3", "index": "95", "type": "numeric", "distinct": "290", "missing": "191", "min": "0", "max": "31942", "mean": "715", "stdev": "2255" }, { "name": "Frac_Learnt_from_Conflict.3", "index": "96", "type": "numeric", "distinct": "315", "missing": "191", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.3", "index": "97", "type": "numeric", "distinct": "315", "missing": "191", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.3", "index": "98", "type": "numeric", "distinct": "908", "missing": "191", "min": "96", "max": "71301", "mean": "3271", "stdev": "6200" }, { "name": "Literals_in_Loop_Nogoods.3", "index": "99", "type": "numeric", "distinct": "364", "missing": "191", "min": "0", "max": "15276437", "mean": "234889", "stdev": "1159628" }, { "name": "Frac_Literals_in_Conflict_Nogoods.3", "index": "100", "type": "numeric", "distinct": "373", "missing": "191", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.3", "index": "101", "type": "numeric", "distinct": "373", "missing": "191", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.3", "index": "102", "type": "numeric", "distinct": "2", "missing": "191", "min": "0", "max": "61", "mean": "0", "stdev": "2" }, { "name": "Learnt_Binary.3", "index": "103", "type": "numeric", "distinct": "61", "missing": "191", "min": "0", "max": "697", "mean": "13", "stdev": "37" }, { "name": "Learnt_Ternary.3", "index": "104", "type": "numeric", "distinct": "86", "missing": "191", "min": "0", "max": "922", "mean": "20", "stdev": "58" }, { "name": "Learnt_Others.3", "index": "105", "type": "numeric", "distinct": "329", "missing": "191", "min": "4", "max": "31670", "mean": "779", "stdev": "2219" }, { "name": "Frac_Removed_Nogood.3", "index": "106", "type": "numeric", "distinct": "2", "missing": "191", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.3", "index": "107", "type": "numeric", "distinct": "383", "missing": "191", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.3", "index": "108", "type": "numeric", "distinct": "411", "missing": "191", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.3", "index": "109", "type": "numeric", "distinct": "517", "missing": "191", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.3", "index": "110", "type": "numeric", "distinct": "670", "missing": "191", "min": "76", "max": "51511", "mean": "1636", "stdev": "4488" }, { "name": "Avg_Skipped_Levels_while_Backjumping.3", "index": "111", "type": "numeric", "distinct": "888", "missing": "191", "min": "1", "max": "526", "mean": "17", "stdev": "46" }, { "name": "Longest_Backjumping.3", "index": "112", "type": "numeric", "distinct": "301", "missing": "191", "min": "1", "max": "7791", "mean": "270", "stdev": "804" }, { "name": "Running_Avg_Conflictlevel.3", "index": "113", "type": "numeric", "distinct": "986", "missing": "191", "min": "1", "max": "4253", "mean": "159", "stdev": "439" }, { "name": "Running_Avg_LBD.3", "index": "114", "type": "numeric", "distinct": "633", "missing": "191", "min": "1", "max": "85", "mean": "7", "stdev": "8" }, { "name": "Choices.4", "index": "115", "type": "numeric", "distinct": "777", "missing": "218", "min": "128", "max": "91110", "mean": "2754", "stdev": "7312" }, { "name": "Conflicts.Choices.4", "index": "116", "type": "numeric", "distinct": "858", "missing": "218", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.4", "index": "117", "type": "numeric", "distinct": "1015", "missing": "218", "min": "1", "max": "5330", "mean": "151", "stdev": "421" }, { "name": "Avg_LBD_Levels.4", "index": "118", "type": "numeric", "distinct": "879", "missing": "218", "min": "1", "max": "84", "mean": "7", "stdev": "8" }, { "name": "Learnt_from_Conflict.4", "index": "119", "type": "numeric", "distinct": "10", "missing": "218", "min": "120", "max": "136", "mean": "129", "stdev": "1" }, { "name": "Learnt_from_Loop.4", "index": "120", "type": "numeric", "distinct": "295", "missing": "218", "min": "0", "max": "36074", "mean": "816", "stdev": "2658" }, { "name": "Frac_Learnt_from_Conflict.4", "index": "121", "type": "numeric", "distinct": "330", "missing": "218", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.4", "index": "122", "type": "numeric", "distinct": "330", "missing": "218", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.4", "index": "123", "type": "numeric", "distinct": "916", "missing": "218", "min": "128", "max": "73774", "mean": "4135", "stdev": "7389" }, { "name": "Literals_in_Loop_Nogoods.4", "index": "124", "type": "numeric", "distinct": "373", "missing": "218", "min": "0", "max": "16360671", "mean": "247969", "stdev": "1208575" }, { "name": "Frac_Literals_in_Conflict_Nogoods.4", "index": "125", "type": "numeric", "distinct": "379", "missing": "218", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.4", "index": "126", "type": "numeric", "distinct": "379", "missing": "218", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.4", "index": "127", "type": "numeric", "distinct": "6", "missing": "218", "min": "0", "max": "93", "mean": "1", "stdev": "11" }, { "name": "Learnt_Binary.4", "index": "128", "type": "numeric", "distinct": "74", "missing": "218", "min": "0", "max": "710", "mean": "16", "stdev": "39" }, { "name": "Learnt_Ternary.4", "index": "129", "type": "numeric", "distinct": "106", "missing": "218", "min": "0", "max": "1058", "mean": "26", "stdev": "65" }, { "name": "Learnt_Others.4", "index": "130", "type": "numeric", "distinct": "344", "missing": "218", "min": "6", "max": "35828", "mean": "903", "stdev": "2620" }, { "name": "Frac_Removed_Nogood.4", "index": "131", "type": "numeric", "distinct": "12", "missing": "218", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.4", "index": "132", "type": "numeric", "distinct": "434", "missing": "218", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.4", "index": "133", "type": "numeric", "distinct": "472", "missing": "218", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.4", "index": "134", "type": "numeric", "distinct": "572", "missing": "218", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.4", "index": "135", "type": "numeric", "distinct": "712", "missing": "218", "min": "128", "max": "78200", "mean": "2179", "stdev": "5860" }, { "name": "Avg_Skipped_Levels_while_Backjumping.4", "index": "136", "type": "numeric", "distinct": "919", "missing": "218", "min": "1", "max": "611", "mean": "17", "stdev": "46" }, { "name": "Longest_Backjumping.4", "index": "137", "type": "numeric", "distinct": "306", "missing": "218", "min": "1", "max": "7791", "mean": "283", "stdev": "818" }, { "name": "Running_Avg_Conflictlevel.4", "index": "138", "type": "numeric", "distinct": "958", "missing": "218", "min": "1", "max": "6256", "mean": "158", "stdev": "463" }, { "name": "Running_Avg_LBD.4", "index": "139", "type": "numeric", "distinct": "576", "missing": "218", "min": "1", "max": "83", "mean": "7", "stdev": "9" }, { "name": "runtime", "index": "141", "type": "numeric", "distinct": "1250", "missing": "0", "min": "0", "max": "614", "mean": "59", "stdev": "157" }, { "name": "runstatus", "index": "142", "type": "nominal", "distinct": "2", "missing": "0", "distr": [ [ "ok", "timeout", "memout", "not_applicable", "crash", "other" ], [ [ "240", "176", "75", "87", "21", "125", "65", "151", "88", "109", "75" ], [ "0", "82", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], [ "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ] ] ] } ], "nr_of_issues": 0, "nr_of_downvotes": 0, "nr_of_likes": 0, "nr_of_downloads": 0, "total_downloads": 0, "reach": 0, "reuse": 8, "impact_of_reuse": 0, "reach_of_reuse": 0, "impact": 8 }