-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathInteger_Transition_Systems.summary.json
116 lines (116 loc) · 2.89 KB
/
Integer_Transition_Systems.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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
{
"layers": [
{
"score": 0,
"miss": 0,
"scorestogo": 0,
"conflicts": 0,
"done": 3666,
"togo": 0,
"cpu": 210597,
"time": 209410,
"certtime": 0,
"news": 0,
"wrong": 0
}
],
"participants": {
"325897": {
"score": 631,
"miss": 591,
"scorestogo": 0,
"conflicts": 0,
"done": 1222,
"togo": 0,
"cpu": 71225,
"time": 71172,
"certtime": 0,
"news": 2,
"wrong": 0,
"layer": 0,
"solver": "irankfinder",
"solver id": "22294",
"configuration": "competition",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 631,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 0,
"UP": 0,
"LOW": 0,
"MAYBE": 435,
"timeout": 156,
"error": 0,
"normalized": 0.5374787052810903
},
"326534": {
"score": 1046,
"miss": 176,
"scorestogo": 0,
"conflicts": 0,
"done": 1222,
"togo": 0,
"cpu": 36671,
"time": 36560,
"certtime": 0,
"news": 0,
"wrong": 0,
"layer": 0,
"solver": "VeryMax-termCOMP17",
"solver id": "9339",
"configuration": "termcomp2019_ITS",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 628,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 418,
"UP": 0,
"LOW": 0,
"MAYBE": 141,
"timeout": 35,
"error": 0,
"normalized": 0.8909710391822828
},
"23757": {
"score": 445,
"miss": 777,
"scorestogo": 0,
"conflicts": 0,
"done": 1222,
"togo": 0,
"cpu": 102701,
"time": 101678,
"certtime": 0,
"news": 0,
"wrong": 0,
"layer": 0,
"solver": "Ctrl",
"solver id": "3723",
"configuration": "Transition",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 445,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 0,
"UP": 0,
"LOW": 0,
"MAYBE": 522,
"timeout": 255,
"error": 0,
"normalized": 0.379045996592845
}
},
"conflicting": true
}