{
    "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,
        "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,
        "MaxKurtosisOfNumericAtts": 1098.454021750288,
        "MinMeansOfNumericAtts": 0,
        "PercentageOfInstancesWithMissingValues": 16.846986089644513,
        "Quartile3AttributeEntropy": null,
        "MaxMeansOfNumericAtts": 247969.49907062098,
        "MinMutualInformation": null,
        "PercentageOfMissingValues": 9.866949125063499,
        "Quartile3KurtosisOfNumericAtts": 78.10050450663087,
        "MaxMutualInformation": null,
        "MinNominalAttDistinctValues": 2,
        "PercentageOfNumericFeatures": 97.9020979020979,
        "Quartile3MeansOfNumericAtts": 762.8490480508052,
        "MaxNominalAttDistinctValues": 11,
        "MinSkewnessOfNumericAtts": -10.952081795827143,
        "PercentageOfSymbolicFeatures": 1.3986013986013985,
        "Quartile3MutualInformation": null,
        "MaxSkewnessOfNumericAtts": 33.17036256893141,
        "MinStdDevOfNumericAtts": 0,
        "Quartile1AttributeEntropy": null,
        "Quartile3SkewnessOfNumericAtts": 7.414652732177761,
        "MaxStdDevOfNumericAtts": 1208064.6154443054,
        "MinorityClassPercentage": null,
        "Quartile1KurtosisOfNumericAtts": 2.4420274620899143,
        "Quartile3StdDevOfNumericAtts": 2244.7942846315327,
        "MeanAttributeEntropy": null,
        "MinorityClassSize": null,
        "Quartile1MeansOfNumericAtts": 0.2457828165434101,
        "StdvNominalAttDistinctValues": 6.363961030678928,
        "MeanKurtosisOfNumericAtts": 76.56652827795058,
        "NumberOfBinaryFeatures": 0,
        "Quartile1MutualInformation": null,
        "MeanMeansOfNumericAtts": 14983.342439837279,
        "Quartile1SkewnessOfNumericAtts": 1.3162958316730524,
        "AutoCorrelation": -88.39090793348288,
        "MeanMutualInformation": null,
        "Quartile1StdDevOfNumericAtts": 0.21542080782562872
    },
    "tags": [
        {
            "uploader": "8316",
            "tag": "Algorithm Selection"
        },
        {
            "uploader": "38960",
            "tag": "Chemistry"
        },
        {
            "uploader": "38960",
            "tag": "Machine Learning"
        },
        {
            "uploader": "8316",
            "tag": "R"
        }
    ],
    "topics": [
        {
            "topic": "Book-based",
            "uploader": "8111"
        }
    ],
    "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": 0,
    "impact_of_reuse": 0,
    "reach_of_reuse": 0,
    "impact": 0
}