Complexity__ITS.summary.json

{
    "layers": [
        {
            "score": 0,
            "miss": 0,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 1516,
            "togo": 0,
            "cpu": 42356,
            "time": 30383,
            "certtime": 0,
            "news": 0,
            "wrong": 0
        }
    ],
    "participants": {
        "302122": {
            "score": 1132.9609375,
            "miss": 383.0390625,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 758,
            "togo": 0,
            "cpu": 25729,
            "time": 13722,
            "certtime": 0,
            "news": 4.5,
            "wrong": 0,
            "layer": 0,
            "solver": "AProVE",
            "solver id": "20177",
            "configuration": "complexity",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 0,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 0,
            "UP": 724.3984375,
            "LOW": 408.5625,
            "MAYBE": 39,
            "timeout": 0,
            "error": 0,
            "normalized": 0.9781925370315409
        },
        "302760": {
            "score": 714.9375,
            "miss": 801.0625,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 758,
            "togo": 0,
            "cpu": 16627,
            "time": 16661,
            "certtime": 0,
            "news": 0,
            "wrong": 0,
            "layer": 0,
            "solver": "CoFloCo 2018",
            "solver id": "20274",
            "configuration": "its",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 0,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 0,
            "UP": 714.9375,
            "LOW": 0,
            "MAYBE": 263,
            "timeout": 42,
            "error": 0,
            "normalized": 0.6172732914227127
        }
    },
    "conflicting": false
}