C_Integer.summary.json

{
    "layers": [
        {
            "score": 0,
            "miss": 0,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 1005,
            "togo": 0,
            "cpu": 28767,
            "time": 12157,
            "certtime": 0,
            "news": 0,
            "wrong": 0
        }
    ],
    "participants": {
        "302126": {
            "score": 313,
            "miss": 22,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 335,
            "togo": 0,
            "cpu": 14988,
            "time": 4582,
            "certtime": 0,
            "news": 0,
            "wrong": 0,
            "layer": 0,
            "solver": "AProVE",
            "solver id": "20177",
            "configuration": "c",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 214,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 99,
            "UP": 0,
            "LOW": 0,
            "MAYBE": 3,
            "timeout": 8,
            "error": 0,
            "memout": 11,
            "normalized": 0.945619335347432
        },
        "326627": {
            "score": 309,
            "miss": 26,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 335,
            "togo": 0,
            "cpu": 8761,
            "time": 5294,
            "certtime": 0,
            "news": 0,
            "wrong": 0,
            "layer": 0,
            "solver": "UltimateAutomizer2019",
            "solver id": "22668",
            "configuration": "default",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 209,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 100,
            "UP": 0,
            "LOW": 0,
            "MAYBE": 20,
            "timeout": 6,
            "error": 0,
            "normalized": 0.9335347432024169
        },
        "165578": {
            "score": 315,
            "miss": 20,
            "scorestogo": 0,
            "conflicts": 0,
            "done": 335,
            "togo": 0,
            "cpu": 5018,
            "time": 2281,
            "certtime": 0,
            "news": 0,
            "wrong": 0,
            "layer": 0,
            "solver": "VeryMax-termCOMP17",
            "solver id": "9339",
            "configuration": "termcomp17",
            "CERTIFIED YES": 0,
            "CERTIFIED NO": 0,
            "CERTIFIED UP": 0,
            "CERTIFIED LOW": 0,
            "YES": 213,
            "SAST": 0,
            "PAST": 0,
            "AST": 0,
            "NO": 102,
            "UP": 0,
            "LOW": 0,
            "MAYBE": 19,
            "timeout": 1,
            "error": 0,
            "normalized": 0.9516616314199395
        }
    },
    "conflicting": false
}