{ "data_id": "41704", "name": "ASP-POTASSCO-regression", "exact_name": "ASP-POTASSCO-regression", "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:22", "update_comment": null, "last_update": "2019-05-28 13:59:22", "licence": "Public", "status": "active", "error_message": null, "url": "https:\/\/www.openml.org\/data\/download\/21377446\/file1854470bbbc.arff", "default_target_attribute": "runtime", "row_id_attribute": null, "ignore_attribute": "\"instance_idrepetitionrunstatus\"", "runs": 0, "suggest": { "input": [ "ASP-POTASSCO-regression", "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": 14234, "NumberOfFeatures": 143, "NumberOfClasses": 0, "NumberOfMissingValues": 200838, "NumberOfInstancesWithMissingValues": 2398, "NumberOfNumericFeatures": 140, "NumberOfSymbolicFeatures": 2, "Quartile3MeansOfNumericAtts": 762.8490480508052, "MaxMutualInformation": null, "MinNominalAttDistinctValues": 2, "PercentageOfNumericFeatures": 97.9020979020979, "Quartile3MutualInformation": null, "MaxNominalAttDistinctValues": 11, "MinSkewnessOfNumericAtts": -10.952081795827143, "PercentageOfSymbolicFeatures": 1.3986013986013985, "Quartile3SkewnessOfNumericAtts": 7.414652732177761, "MaxSkewnessOfNumericAtts": 33.17036256893141, "MinStdDevOfNumericAtts": 0, "Quartile1AttributeEntropy": null, "Quartile3StdDevOfNumericAtts": 2244.7942846315327, "MaxStdDevOfNumericAtts": 1208064.6154443054, "MinorityClassPercentage": null, "Quartile1KurtosisOfNumericAtts": 2.4420274620899143, "StdvNominalAttDistinctValues": 6.363961030678928, "MeanAttributeEntropy": null, "MinorityClassSize": null, "Quartile1MeansOfNumericAtts": 0.2457828165434101, "MeanKurtosisOfNumericAtts": 76.56652827795058, "NumberOfBinaryFeatures": 0, "Quartile1MutualInformation": null, "MeanMeansOfNumericAtts": 14983.342439837279, "Quartile1SkewnessOfNumericAtts": 1.3162958316730524, "AutoCorrelation": -88.39090793348288, "MeanMutualInformation": null, "Quartile1StdDevOfNumericAtts": 0.21542080782562872, "ClassEntropy": null, "MeanNoiseToSignalRatio": null, "Quartile2AttributeEntropy": null, "Dimensionality": 0.010046367851622875, "MeanNominalAttDistinctValues": 6.5, "Quartile2KurtosisOfNumericAtts": 25.799881714227357, "EquivalentNumberOfAtts": null, "MeanSkewnessOfNumericAtts": 5.107132698173261, "Quartile2MeansOfNumericAtts": 7.942098605818124, "MajorityClassPercentage": null, "MeanStdDevOfNumericAtts": 60159.28162437404, "Quartile2MutualInformation": null, "MajorityClassSize": null, "MinAttributeEntropy": null, "Quartile2SkewnessOfNumericAtts": 4.396350111785813, "MaxAttributeEntropy": null, "MinKurtosisOfNumericAtts": -1.9845433955853233, "PercentageOfBinaryFeatures": 0, "Quartile2StdDevOfNumericAtts": 10.654214910698098, "Quartile3AttributeEntropy": null, "MaxKurtosisOfNumericAtts": 1098.454021750288, "MinMeansOfNumericAtts": 0, "PercentageOfInstancesWithMissingValues": 16.846986089644513, "Quartile3KurtosisOfNumericAtts": 78.10050450663087, "MaxMeansOfNumericAtts": 247969.49907062098, "MinMutualInformation": null, "PercentageOfMissingValues": 9.866949125063499 }, "tags": [ { "tag": "Algorithm Selection", "uploader": "8316" }, { "tag": "R", "uploader": "8316" } ], "features": [ { "name": "runtime", "index": "141", "type": "numeric", "distinct": "11624", "missing": "0", "target": "1", "min": "0", "max": "741", "mean": "158", "stdev": "241" }, { "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": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Pos_Body", "index": "3", "type": "numeric", "distinct": "720", "missing": "176", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Unary_Rules", "index": "4", "type": "numeric", "distinct": "533", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Binary_Rules", "index": "5", "type": "numeric", "distinct": "879", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Ternary_Rules", "index": "6", "type": "numeric", "distinct": "908", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Integrity_Rules", "index": "7", "type": "numeric", "distinct": "715", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Tight", "index": "8", "type": "numeric", "distinct": "2", "missing": "176", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Problem_Variables", "index": "9", "type": "numeric", "distinct": "1124", "missing": "176", "min": "59", "max": "7758660", "mean": "89617", "stdev": "350127" }, { "name": "Free_Problem_Variables", "index": "10", "type": "numeric", "distinct": "1063", "missing": "176", "min": "45", "max": "1691690", "mean": "48051", "stdev": "98929" }, { "name": "Assigned_Problem_Variables", "index": "11", "type": "numeric", "distinct": "904", "missing": "176", "min": "2", "max": "6910879", "mean": "41565", "stdev": "304948" }, { "name": "Constraints", "index": "12", "type": "numeric", "distinct": "1169", "missing": "176", "min": "138", "max": "7054066", "mean": "195310", "stdev": "414818" }, { "name": "Constraints.Vars", "index": "13", "type": "numeric", "distinct": "1028", "missing": "176", "min": "0", "max": "18", "mean": "2", "stdev": "2" }, { "name": "Created_Bodies", "index": "14", "type": "numeric", "distinct": "1104", "missing": "176", "min": "105", "max": "8043761", "mean": "112189", "stdev": "397645" }, { "name": "Program_Atoms", "index": "15", "type": "numeric", "distinct": "1033", "missing": "176", "min": "51", "max": "2498934", "mean": "39519", "stdev": "96848" }, { "name": "SCCS", "index": "16", "type": "numeric", "distinct": "52", "missing": "176", "min": "0", "max": "425", "mean": "9", "stdev": "28" }, { "name": "Nodes_in_Positive_BADG", "index": "17", "type": "numeric", "distinct": "524", "missing": "176", "min": "0", "max": "407417", "mean": "13562", "stdev": "32658" }, { "name": "Rules", "index": "18", "type": "numeric", "distinct": "1099", "missing": "176", "min": "125", "max": "14182038", "mean": "158505", "stdev": "658739" }, { "name": "Normal_Rules", "index": "19", "type": "numeric", "distinct": "1103", "missing": "176", "min": "105", "max": "14181842", "mean": "147948", "stdev": "656298" }, { "name": "Cardinality_Rules", "index": "20", "type": "numeric", "distinct": "379", "missing": "176", "min": "0", "max": "160797", "mean": "4388", "stdev": "17454" }, { "name": "Choice_Rules", "index": "21", "type": "numeric", "distinct": "509", "missing": "176", "min": "0", "max": "142941", "mean": "6162", "stdev": "17317" }, { "name": "Weight_Rules", "index": "22", "type": "numeric", "distinct": "32", "missing": "176", "min": "0", "max": "299", "mean": "7", "stdev": "38" }, { "name": "Frac_Normal_Rules", "index": "23", "type": "numeric", "distinct": "515", "missing": "176", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Cardinality_Rules", "index": "24", "type": "numeric", "distinct": "330", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Choice_Rules", "index": "25", "type": "numeric", "distinct": "434", "missing": "176", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Weight_Rules", "index": "26", "type": "numeric", "distinct": "39", "missing": "176", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Equivalences", "index": "27", "type": "numeric", "distinct": "1118", "missing": "176", "min": "2", "max": "3678844", "mean": "73137", "stdev": "181404" }, { "name": "Atom.Atom_Equivalences", "index": "28", "type": "numeric", "distinct": "933", "missing": "176", "min": "0", "max": "1219248", "mean": "17927", "stdev": "52281" }, { "name": "Body.Body_Equivalences", "index": "29", "type": "numeric", "distinct": "775", "missing": "176", "min": "0", "max": "536862", "mean": "6368", "stdev": "21488" }, { "name": "Other_Equivalences", "index": "30", "type": "numeric", "distinct": "1103", "missing": "176", "min": "2", "max": "1922734", "mean": "48842", "stdev": "110912" }, { "name": "Frac_Atom.Atom_Equivalences", "index": "31", "type": "numeric", "distinct": "815", "missing": "176", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Body.Body_Equivalences", "index": "32", "type": "numeric", "distinct": "635", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Other_Equivalences", "index": "33", "type": "numeric", "distinct": "864", "missing": "176", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Binary_Constraints", "index": "34", "type": "numeric", "distinct": "1134", "missing": "176", "min": "0", "max": "5388172", "mean": "143014", "stdev": "326129" }, { "name": "Ternary_Constraints", "index": "35", "type": "numeric", "distinct": "1018", "missing": "176", "min": "0", "max": "1665484", "mean": "36379", "stdev": "84904" }, { "name": "Other_Constraints", "index": "36", "type": "numeric", "distinct": "930", "missing": "176", "min": "8", "max": "197800", "mean": "15917", "stdev": "31442" }, { "name": "Frac_Binary_Constraints", "index": "37", "type": "numeric", "distinct": "748", "missing": "176", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Ternary_Constraints", "index": "38", "type": "numeric", "distinct": "702", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Other_Constraints", "index": "39", "type": "numeric", "distinct": "651", "missing": "176", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Choices.1", "index": "40", "type": "numeric", "distinct": "465", "missing": "1485", "min": "14", "max": "18584", "mean": "397", "stdev": "1043" }, { "name": "Conflicts.Choices.1", "index": "41", "type": "numeric", "distinct": "612", "missing": "1485", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.1", "index": "42", "type": "numeric", "distinct": "971", "missing": "1485", "min": "1", "max": "3491", "mean": "125", "stdev": "332" }, { "name": "Avg_LBD_Levels.1", "index": "43", "type": "numeric", "distinct": "570", "missing": "1485", "min": "1", "max": "103", "mean": "8", "stdev": "11" }, { "name": "Learnt_from_Conflict.1", "index": "44", "type": "numeric", "distinct": "6", "missing": "1485", "min": "9", "max": "36", "mean": "32", "stdev": "1" }, { "name": "Learnt_from_Loop.1", "index": "45", "type": "numeric", "distinct": "251", "missing": "1485", "min": "0", "max": "12612", "mean": "434", "stdev": "1258" }, { "name": "Frac_Learnt_from_Conflict.1", "index": "46", "type": "numeric", "distinct": "231", "missing": "1485", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.1", "index": "47", "type": "numeric", "distinct": "231", "missing": "1485", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.1", "index": "48", "type": "numeric", "distinct": "729", "missing": "1485", "min": "14", "max": "37373", "mean": "1593", "stdev": "3894" }, { "name": "Literals_in_Loop_Nogoods.1", "index": "49", "type": "numeric", "distinct": "304", "missing": "1485", "min": "0", "max": "13771023", "mean": "165643", "stdev": "1009959" }, { "name": "Frac_Literals_in_Conflict_Nogoods.1", "index": "50", "type": "numeric", "distinct": "319", "missing": "1485", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.1", "index": "51", "type": "numeric", "distinct": "319", "missing": "1485", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.1", "index": "52", "type": "numeric", "distinct": "1", "missing": "1485", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Learnt_Binary.1", "index": "53", "type": "numeric", "distinct": "31", "missing": "1485", "min": "0", "max": "365", "mean": "3", "stdev": "16" }, { "name": "Learnt_Ternary.1", "index": "54", "type": "numeric", "distinct": "38", "missing": "1485", "min": "0", "max": "766", "mean": "7", "stdev": "38" }, { "name": "Learnt_Others.1", "index": "55", "type": "numeric", "distinct": "279", "missing": "1485", "min": "0", "max": "12316", "mean": "455", "stdev": "1243" }, { "name": "Frac_Removed_Nogood.1", "index": "56", "type": "numeric", "distinct": "1", "missing": "1485", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.1", "index": "57", "type": "numeric", "distinct": "174", "missing": "1485", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.1", "index": "58", "type": "numeric", "distinct": "208", "missing": "1485", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.1", "index": "59", "type": "numeric", "distinct": "246", "missing": "1485", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.1", "index": "60", "type": "numeric", "distinct": "389", "missing": "1485", "min": "14", "max": "18545", "mean": "266", "stdev": "830" }, { "name": "Avg_Skipped_Levels_while_Backjumping.1", "index": "61", "type": "numeric", "distinct": "513", "missing": "1485", "min": "1", "max": "580", "mean": "8", "stdev": "26" }, { "name": "Longest_Backjumping.1", "index": "62", "type": "numeric", "distinct": "190", "missing": "1485", "min": "1", "max": "4612", "mean": "71", "stdev": "272" }, { "name": "Running_Avg_Conflictlevel.1", "index": "63", "type": "numeric", "distinct": "910", "missing": "1485", "min": "0", "max": "1222", "mean": "40", "stdev": "108" }, { "name": "Running_Avg_LBD.1", "index": "64", "type": "numeric", "distinct": "446", "missing": "1485", "min": "0", "max": "33", "mean": "3", "stdev": "4" }, { "name": "Choices.2", "index": "65", "type": "numeric", "distinct": "644", "missing": "1782", "min": "63", "max": "52191", "mean": "1305", "stdev": "3514" }, { "name": "Conflicts.Choices.2", "index": "66", "type": "numeric", "distinct": "791", "missing": "1782", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.2", "index": "67", "type": "numeric", "distinct": "1037", "missing": "1782", "min": "1", "max": "3449", "mean": "166", "stdev": "452" }, { "name": "Avg_LBD_Levels.2", "index": "68", "type": "numeric", "distinct": "760", "missing": "1782", "min": "1", "max": "89", "mean": "8", "stdev": "9" }, { "name": "Learnt_from_Conflict.2", "index": "69", "type": "numeric", "distinct": "12", "missing": "1782", "min": "46", "max": "70", "mean": "65", "stdev": "2" }, { "name": "Learnt_from_Loop.2", "index": "70", "type": "numeric", "distinct": "281", "missing": "1782", "min": "0", "max": "23503", "mean": "619", "stdev": "1859" }, { "name": "Frac_Learnt_from_Conflict.2", "index": "71", "type": "numeric", "distinct": "270", "missing": "1782", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.2", "index": "72", "type": "numeric", "distinct": "270", "missing": "1782", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.2", "index": "73", "type": "numeric", "distinct": "844", "missing": "1782", "min": "64", "max": "56128", "mean": "2436", "stdev": "5074" }, { "name": "Literals_in_Loop_Nogoods.2", "index": "74", "type": "numeric", "distinct": "333", "missing": "1782", "min": "0", "max": "13773228", "mean": "219648", "stdev": "1114210" }, { "name": "Frac_Literals_in_Conflict_Nogoods.2", "index": "75", "type": "numeric", "distinct": "355", "missing": "1782", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.2", "index": "76", "type": "numeric", "distinct": "355", "missing": "1782", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.2", "index": "77", "type": "numeric", "distinct": "1", "missing": "1782", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Learnt_Binary.2", "index": "78", "type": "numeric", "distinct": "50", "missing": "1782", "min": "0", "max": "366", "mean": "8", "stdev": "19" }, { "name": "Learnt_Ternary.2", "index": "79", "type": "numeric", "distinct": "63", "missing": "1782", "min": "0", "max": "866", "mean": "13", "stdev": "50" }, { "name": "Learnt_Others.2", "index": "80", "type": "numeric", "distinct": "315", "missing": "1782", "min": "1", "max": "23218", "mean": "663", "stdev": "1832" }, { "name": "Frac_Removed_Nogood.2", "index": "81", "type": "numeric", "distinct": "1", "missing": "1782", "min": "0", "max": "0", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.2", "index": "82", "type": "numeric", "distinct": "299", "missing": "1782", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.2", "index": "83", "type": "numeric", "distinct": "339", "missing": "1782", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.2", "index": "84", "type": "numeric", "distinct": "422", "missing": "1782", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.2", "index": "85", "type": "numeric", "distinct": "573", "missing": "1782", "min": "59", "max": "51011", "mean": "986", "stdev": "2905" }, { "name": "Avg_Skipped_Levels_while_Backjumping.2", "index": "86", "type": "numeric", "distinct": "794", "missing": "1782", "min": "1", "max": "773", "mean": "15", "stdev": "45" }, { "name": "Longest_Backjumping.2", "index": "87", "type": "numeric", "distinct": "283", "missing": "1782", "min": "1", "max": "7791", "mean": "236", "stdev": "756" }, { "name": "Running_Avg_Conflictlevel.2", "index": "88", "type": "numeric", "distinct": "973", "missing": "1782", "min": "1", "max": "2208", "mean": "107", "stdev": "292" }, { "name": "Running_Avg_LBD.2", "index": "89", "type": "numeric", "distinct": "567", "missing": "1782", "min": "1", "max": "57", "mean": "5", "stdev": "6" }, { "name": "Choices.3", "index": "90", "type": "numeric", "distinct": "717", "missing": "2101", "min": "78", "max": "62222", "mean": "2109", "stdev": "5642" }, { "name": "Conflicts.Choices.3", "index": "91", "type": "numeric", "distinct": "852", "missing": "2101", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.3", "index": "92", "type": "numeric", "distinct": "1029", "missing": "2101", "min": "1", "max": "4431", "mean": "164", "stdev": "454" }, { "name": "Avg_LBD_Levels.3", "index": "93", "type": "numeric", "distinct": "846", "missing": "2101", "min": "1", "max": "88", "mean": "8", "stdev": "9" }, { "name": "Learnt_from_Conflict.3", "index": "94", "type": "numeric", "distinct": "12", "missing": "2101", "min": "68", "max": "103", "mean": "97", "stdev": "2" }, { "name": "Learnt_from_Loop.3", "index": "95", "type": "numeric", "distinct": "290", "missing": "2101", "min": "0", "max": "31942", "mean": "715", "stdev": "2254" }, { "name": "Frac_Learnt_from_Conflict.3", "index": "96", "type": "numeric", "distinct": "315", "missing": "2101", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.3", "index": "97", "type": "numeric", "distinct": "315", "missing": "2101", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.3", "index": "98", "type": "numeric", "distinct": "908", "missing": "2101", "min": "96", "max": "71301", "mean": "3271", "stdev": "6198" }, { "name": "Literals_in_Loop_Nogoods.3", "index": "99", "type": "numeric", "distinct": "364", "missing": "2101", "min": "0", "max": "15276437", "mean": "234889", "stdev": "1159150" }, { "name": "Frac_Literals_in_Conflict_Nogoods.3", "index": "100", "type": "numeric", "distinct": "373", "missing": "2101", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.3", "index": "101", "type": "numeric", "distinct": "373", "missing": "2101", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.3", "index": "102", "type": "numeric", "distinct": "2", "missing": "2101", "min": "0", "max": "61", "mean": "0", "stdev": "2" }, { "name": "Learnt_Binary.3", "index": "103", "type": "numeric", "distinct": "61", "missing": "2101", "min": "0", "max": "697", "mean": "13", "stdev": "37" }, { "name": "Learnt_Ternary.3", "index": "104", "type": "numeric", "distinct": "86", "missing": "2101", "min": "0", "max": "922", "mean": "20", "stdev": "58" }, { "name": "Learnt_Others.3", "index": "105", "type": "numeric", "distinct": "329", "missing": "2101", "min": "4", "max": "31670", "mean": "779", "stdev": "2218" }, { "name": "Frac_Removed_Nogood.3", "index": "106", "type": "numeric", "distinct": "2", "missing": "2101", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.3", "index": "107", "type": "numeric", "distinct": "383", "missing": "2101", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.3", "index": "108", "type": "numeric", "distinct": "411", "missing": "2101", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.3", "index": "109", "type": "numeric", "distinct": "517", "missing": "2101", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.3", "index": "110", "type": "numeric", "distinct": "670", "missing": "2101", "min": "76", "max": "51511", "mean": "1636", "stdev": "4486" }, { "name": "Avg_Skipped_Levels_while_Backjumping.3", "index": "111", "type": "numeric", "distinct": "888", "missing": "2101", "min": "1", "max": "526", "mean": "17", "stdev": "46" }, { "name": "Longest_Backjumping.3", "index": "112", "type": "numeric", "distinct": "301", "missing": "2101", "min": "1", "max": "7791", "mean": "270", "stdev": "804" }, { "name": "Running_Avg_Conflictlevel.3", "index": "113", "type": "numeric", "distinct": "986", "missing": "2101", "min": "1", "max": "4253", "mean": "159", "stdev": "439" }, { "name": "Running_Avg_LBD.3", "index": "114", "type": "numeric", "distinct": "633", "missing": "2101", "min": "1", "max": "85", "mean": "7", "stdev": "8" }, { "name": "Choices.4", "index": "115", "type": "numeric", "distinct": "777", "missing": "2398", "min": "128", "max": "91110", "mean": "2754", "stdev": "7309" }, { "name": "Conflicts.Choices.4", "index": "116", "type": "numeric", "distinct": "858", "missing": "2398", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Avg_Conflict_Levels.4", "index": "117", "type": "numeric", "distinct": "1015", "missing": "2398", "min": "1", "max": "5330", "mean": "151", "stdev": "421" }, { "name": "Avg_LBD_Levels.4", "index": "118", "type": "numeric", "distinct": "879", "missing": "2398", "min": "1", "max": "84", "mean": "7", "stdev": "8" }, { "name": "Learnt_from_Conflict.4", "index": "119", "type": "numeric", "distinct": "10", "missing": "2398", "min": "120", "max": "136", "mean": "129", "stdev": "1" }, { "name": "Learnt_from_Loop.4", "index": "120", "type": "numeric", "distinct": "295", "missing": "2398", "min": "0", "max": "36074", "mean": "816", "stdev": "2657" }, { "name": "Frac_Learnt_from_Conflict.4", "index": "121", "type": "numeric", "distinct": "330", "missing": "2398", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Learnt_from_Loop.4", "index": "122", "type": "numeric", "distinct": "330", "missing": "2398", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Literals_in_Conflict_Nogoods.4", "index": "123", "type": "numeric", "distinct": "916", "missing": "2398", "min": "128", "max": "73774", "mean": "4135", "stdev": "7386" }, { "name": "Literals_in_Loop_Nogoods.4", "index": "124", "type": "numeric", "distinct": "373", "missing": "2398", "min": "0", "max": "16360671", "mean": "247969", "stdev": "1208065" }, { "name": "Frac_Literals_in_Conflict_Nogoods.4", "index": "125", "type": "numeric", "distinct": "379", "missing": "2398", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Frac_Literals_in_Loop_Nogoods.4", "index": "126", "type": "numeric", "distinct": "379", "missing": "2398", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Removed_Nogoods.4", "index": "127", "type": "numeric", "distinct": "6", "missing": "2398", "min": "0", "max": "93", "mean": "1", "stdev": "11" }, { "name": "Learnt_Binary.4", "index": "128", "type": "numeric", "distinct": "74", "missing": "2398", "min": "0", "max": "710", "mean": "16", "stdev": "39" }, { "name": "Learnt_Ternary.4", "index": "129", "type": "numeric", "distinct": "106", "missing": "2398", "min": "0", "max": "1058", "mean": "26", "stdev": "65" }, { "name": "Learnt_Others.4", "index": "130", "type": "numeric", "distinct": "344", "missing": "2398", "min": "6", "max": "35828", "mean": "903", "stdev": "2619" }, { "name": "Frac_Removed_Nogood.4", "index": "131", "type": "numeric", "distinct": "12", "missing": "2398", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Binary.4", "index": "132", "type": "numeric", "distinct": "434", "missing": "2398", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Ternary.4", "index": "133", "type": "numeric", "distinct": "472", "missing": "2398", "min": "0", "max": "1", "mean": "0", "stdev": "0" }, { "name": "Frac_Learnt_Others.4", "index": "134", "type": "numeric", "distinct": "572", "missing": "2398", "min": "0", "max": "1", "mean": "1", "stdev": "0" }, { "name": "Skipped_Levels_while_Backjumping.4", "index": "135", "type": "numeric", "distinct": "712", "missing": "2398", "min": "128", "max": "78200", "mean": "2179", "stdev": "5857" }, { "name": "Avg_Skipped_Levels_while_Backjumping.4", "index": "136", "type": "numeric", "distinct": "919", "missing": "2398", "min": "1", "max": "611", "mean": "17", "stdev": "46" }, { "name": "Longest_Backjumping.4", "index": "137", "type": "numeric", "distinct": "306", "missing": "2398", "min": "1", "max": "7791", "mean": "283", "stdev": "817" }, { "name": "Running_Avg_Conflictlevel.4", "index": "138", "type": "numeric", "distinct": "958", "missing": "2398", "min": "1", "max": "6256", "mean": "158", "stdev": "463" }, { "name": "Running_Avg_LBD.4", "index": "139", "type": "numeric", "distinct": "576", "missing": "2398", "min": "1", "max": "83", "mean": "7", "stdev": "9" }, { "name": "algorithm", "index": "140", "type": "nominal", "distinct": "11", "missing": "0", "distr": [] }, { "name": "runstatus", "index": "142", "type": "nominal", "distinct": "2", "missing": "0", "distr": [] } ], "nr_of_issues": 0, "nr_of_downvotes": 0, "nr_of_likes": 0, "nr_of_downloads": 0, "total_downloads": 0, "reach": 0, "reuse": 1, "impact_of_reuse": 0, "reach_of_reuse": 0, "impact": 1 }