-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTRS_Outermost.summary.json
97 lines (97 loc) · 2.32 KB
/
TRS_Outermost.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
86
87
88
89
90
91
92
93
94
95
96
97
{
"layers": [
{
"score": 0,
"miss": 0,
"scorestogo": 0,
"conflicts": 0,
"done": 279,
"togo": 0,
"cpu": 43353,
"time": 16398,
"certtime": 0,
"news": 0,
"wrong": 0
},
{
"score": 0,
"miss": 0,
"scorestogo": 0,
"conflicts": 0,
"done": 279,
"togo": 0,
"cpu": 22294,
"time": 14130,
"certtime": 0,
"news": 0,
"wrong": 0
}
],
"participants": {
"302124": {
"score": 206,
"miss": 73,
"scorestogo": 0,
"conflicts": 0,
"done": 279,
"togo": 0,
"cpu": 43353,
"time": 16398,
"certtime": 0,
"news": 0,
"wrong": 0,
"layer": 0,
"solver": "AProVE",
"solver id": "20177",
"configuration": "standard",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 31,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 175,
"UP": 0,
"LOW": 0,
"MAYBE": 35,
"timeout": 38,
"error": 0,
"normalized": 0.9951690821256038
},
"302125": {
"score": 174,
"miss": 105,
"scorestogo": 0,
"conflicts": 0,
"done": 279,
"togo": 0,
"cpu": 22294,
"time": 14130,
"certtime": 0.6,
"news": 0,
"wrong": 0,
"layer": 1,
"solver": "AProVE",
"solver id": "20177",
"configuration": "certified",
"CERTIFIED YES": 0,
"CERTIFIED NO": 174,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 0,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 0,
"UP": 0,
"LOW": 0,
"MAYBE": 92,
"timeout": 13,
"error": 0,
"normalized": 0.8405797101449275
}
},
"conflicting": false
}