DEVELOPMENT...      {
    "data_id": "41625",
    "name": "MAXSAT12-PMS_regression",
    "exact_name": "MAXSAT12-PMS_regression",
    "version": 1,
    "version_label": null,
    "description": "source: COSEAL Portfolio Benchmark authors: Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann translator into coseal format: Yuri Malitsky  The data does not distinguish between timeout, memout or crashes! The status file will only have ok, timeout, or out of memory!  This data is a collection of random, crafted and industrial Unweighted MaxSAT instances  from the 2012 Evaluation (http:\/\/maxsat.ia.udl.cat:81\/12\/benchmarks\/index.html)  There are a total of 876 instances each of which is defined by 37 features and solved with 6 state-of-the-art solvers from 2012 (akmaxsat_ls, akmaxsat, DSWPM1_924, pwbo2.1,  qmaxsat0.21comp, qmaxsat0.21g2comp).   The best single solver, qmaxsat0.21g2comp, solves 674 instances with a PAR10 score of 4,893  while the virtual best of all 6 solvers finishes 747 instances with a PAR10 score  of 3,128.  The features computed using an in house developed tool and are based on a version of UBC SAT  features and provide the following:  Problem Size Features: \t[1-2]\tNumber of variables and clauses in original formula: denoted v and c, respectively \t[3] \tPercentage of Soft Clauses \t[4-7]\tSoft Clause Weights: mean, stdev, min and max \t[8] \tRatio of variables to clauses  Variable-Clause Graph Features: \t[9-13]\tVariable node degree statistics: mean, stdev, min, max, spread \t[14-18] Clause node degree statistics: mean, stdev, min, max, spread \t Balance Features: \t[19-23]\tPositive to negative occurrences of each variable: mean, stdev, min, max, spread \t[24-28] Positive to negative literals in each clause: mean, stdev, min, max, spread \t[29-31] Fraction of unary, binary and ternary clauses  Proximity to Horn Formula: \t[32-36] Occurrences of a variable in a Horn clause: mean, stdev, min, max, spread \t[37]\tFraction of Horn clauses",
    "format": "ARFF",
    "uploader": "Mia Rhodes",
    "uploader_id": 8316,
    "visibility": "public",
    "creator": null,
    "contributor": null,
    "date": "2019-04-12 16:49:41",
    "update_comment": null,
    "last_update": "2019-04-12 16:49:41",
    "licence": "Public",
    "status": "in_preparation",
    "error_message": "Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA],Default target attribute(s) could not be found: [NA]",
    "url": "https:\/\/www.openml.org\/data\/download\/21242479\/file4b44331def.arff",
    "default_target_attribute": "NA",
    "row_id_attribute": null,
    "ignore_attribute": "\"instance_idrepetitionrunstatus\"",
    "runs": 0,
    "suggest": {
        "input": [
            "MAXSAT12-PMS_regression",
            "source: COSEAL Portfolio Benchmark authors: Carlos Ansotegui, Yuri Malitsky, Meinolf Sellmann translator into coseal format: Yuri Malitsky The data does not distinguish between timeout, memout or crashes! The status file will only have ok, timeout, or out of memory! This data is a collection of random, crafted and industrial Unweighted MaxSAT instances from the 2012 Evaluation (http:\/\/maxsat.ia.udl.cat:81\/12\/benchmarks\/index.html) There are a total of 876 instances each of which is defined by 37 "
        ],
        "weight": 5
    },
    "qualities": [],
    "tags": [],
    "features": [],
    "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
}