File size: 1,112 Bytes
ae02605
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
{
  "classical_propagation": 1.0,
  "full/aug": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "full/plain": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "mdlm/aug": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "mdlm/plain": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "harder": {
    "30": {
      "n": 120,
      "clues": 30.0,
      "classical_propagation": 0.275
    },
    "26": {
      "n": 120,
      "clues": 26.033333333333335,
      "classical_propagation": 0.041666666666666664
    },
    "22": {
      "n": 120,
      "clues": 23.583333333333332,
      "classical_propagation": 0.03333333333333333
    }
  }
}