-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathLogic_Programming.summary.json
84 lines (84 loc) · 1.99 KB
/
Logic_Programming.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": 600,
"togo": 0,
"cpu": 124750,
"time": 76610,
"certtime": 0,
"news": 0,
"wrong": 0
}
],
"participants": {
"302124": {
"score": 238,
"miss": 62,
"scorestogo": 0,
"conflicts": 0,
"done": 300,
"togo": 0,
"cpu": 9271,
"time": 2787,
"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": 238,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 0,
"UP": 0,
"LOW": 0,
"MAYBE": 56,
"timeout": 6,
"error": 0,
"normalized": 0.85
},
"325861": {
"score": 42,
"miss": 258,
"scorestogo": 0,
"conflicts": 0,
"done": 300,
"togo": 0,
"cpu": 115479,
"time": 73823,
"certtime": 0,
"news": 0,
"wrong": 0,
"layer": 0,
"solver": "NTI",
"solver id": "22308",
"configuration": "default",
"CERTIFIED YES": 0,
"CERTIFIED NO": 0,
"CERTIFIED UP": 0,
"CERTIFIED LOW": 0,
"YES": 0,
"SAST": 0,
"PAST": 0,
"AST": 0,
"NO": 42,
"UP": 0,
"LOW": 0,
"MAYBE": 12,
"timeout": 246,
"error": 0,
"normalized": 0.15
}
},
"conflicting": false
}