-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathRuntime_Complexity__TRS_Innermost.summary.json
97 lines (97 loc) · 2.39 KB
/
Runtime_Complexity__TRS_Innermost.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": 663,
"togo": 0,
"cpu": 327455,
"time": 99980,
"certtime": 0,
"news": 0,
"wrong": 0
},
{
"score": 0,
"miss": 0,
"scorestogo": 0,
"conflicts": 0,
"done": 663,
"togo": 0,
"cpu": 147205,
"time": 67233,
"certtime": 0,
"news": 0,
"wrong": 0
}
],
"participants": {
"302122": {
"score": 863.4384765625,
"miss": 462.5615234375,
"scorestogo": 0,
"conflicts": 0,
"done": 663,
"togo": 0,
"cpu": 327455,
"time": 99980,
"certtime": 0,
"news": 0.875,
"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": 478.8759765625,
"LOW": 384.5625,
"MAYBE": 0,
"timeout": 20,
"error": 0,
"normalized": 0.9556090195658823
},
"302125": {
"score": 293.75,
"miss": 1032.25,
"scorestogo": 0,
"conflicts": 0,
"done": 663,
"togo": 0,
"cpu": 147205,
"time": 67233,
"certtime": 67.30000000000007,
"news": 0,
"wrong": 0,
"layer": 1,
"solver": "AProVE",
"solver id": "20177",
"configuration": "certified",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 293.75,
"CERTIFIED LOW": 0,
"YES": 0,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 0,
"UP": 0,
"LOW": 0,
"MAYBE": 409,
"timeout": 44,
"error": 0,
"normalized": 0.32510729729700516
}
},
"conflicting": false
}