HRS_Union_Beta.summary.json

{
    "layers": [
        {
            "score": 0,
            "miss": 0,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 522,
            "togo": 0,
            "cpu": 20541,
            "time": 10890,
            "certtime": 0,
            "news": 0,
            "wrong": 0
        }
    ],
    "participants": {
        "325830": {
            "score": 104,
            "miss": 157,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 261,
            "togo": 0,
            "cpu": 973,
            "time": 975,
            "certtime": 0,
            "news": 1,
            "wrong": 0,
            "layer": 0,
            "solver": "SizeChangeTool_v2019",
            "solver id": "22292",
            "configuration": "default",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 104,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 0,
            "UP": 0,
            "LOW": 0,
            "MAYBE": 155,
            "timeout": 2,
            "error": 0,
            "normalized": 0.42105263157894735
        },
        "326231": {
            "score": 204,
            "miss": 57,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 261,
            "togo": 0,
            "cpu": 19568,
            "time": 9915,
            "certtime": 0,
            "news": 2,
            "wrong": 0,
            "layer": 0,
            "solver": "Wanda 2.1c",
            "solver id": "22525",
            "configuration": "default",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 188,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 16,
            "UP": 0,
            "LOW": 0,
            "MAYBE": 27,
            "timeout": 30,
            "error": 0,
            "normalized": 0.8259109311740891
        }
    },
    "conflicting": false
}