-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTRS_Context_Sensitive.summary.json
84 lines (84 loc) · 2 KB
/
TRS_Context_Sensitive.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
{
"layers": [
{
"score": 0,
"miss": 0,
"scorestogo": 0,
"conflicts": 0,
"done": 216,
"togo": 0,
"cpu": 9862,
"time": 4539,
"certtime": 0,
"news": 0,
"wrong": 0
}
],
"participants": {
"302124": {
"score": 98,
"miss": 10,
"scorestogo": 0,
"conflicts": 0,
"done": 108,
"togo": 0,
"cpu": 8596,
"time": 3248,
"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": 94,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 4,
"UP": 0,
"LOW": 0,
"MAYBE": 0,
"timeout": 10,
"error": 0,
"normalized": 0.9702970297029703
},
"163986": {
"score": 101,
"miss": 7,
"scorestogo": 0,
"conflicts": 0,
"done": 108,
"togo": 0,
"cpu": 1266,
"time": 1291,
"certtime": 0,
"news": 0,
"wrong": 0,
"layer": 0,
"solver": "muterm 5.18",
"solver id": "9061",
"configuration": "default",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 97,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 4,
"UP": 0,
"LOW": 0,
"MAYBE": 3,
"timeout": 4,
"error": 0,
"normalized": 1
}
},
"conflicting": false
}