-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathC.summary.json
85 lines (85 loc) · 2.06 KB
/
C.summary.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
{
"layers": [
{
"score": 0,
"miss": 0,
"scorestogo": 0,
"conflicts": 0,
"done": 936,
"togo": 0,
"cpu": 105642,
"time": 67108,
"certtime": 0,
"news": 0,
"wrong": 0
}
],
"participants": {
"302126": {
"score": 283,
"miss": 185,
"scorestogo": 0,
"conflicts": 0,
"done": 468,
"togo": 0,
"cpu": 48757,
"time": 27225,
"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": 263,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 20,
"UP": 0,
"LOW": 0,
"MAYBE": 95,
"timeout": 67,
"error": 0,
"memout": 23,
"normalized": 0.7817679558011049
},
"326627": {
"score": 314,
"miss": 154,
"scorestogo": 0,
"conflicts": 0,
"done": 468,
"togo": 0,
"cpu": 56885,
"time": 39883,
"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": 258,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 56,
"UP": 0,
"LOW": 0,
"MAYBE": 56,
"timeout": 98,
"error": 0,
"normalized": 0.8674033149171271
}
},
"conflicting": false
}