File size: 3,757 Bytes
177308a | 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 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 | {
"definition1": {
"edge_formula": "|E| = |E_G^X|(T+1) + |pa_G(S)|T + d(T+1) + dT",
"exhaustive_d4": {
"acyclic": 26064,
"constructions": 26064,
"edge_count_formula_matches": 26064,
"edge_families_exactly_as_defined": 26064,
"node_count_formula_matches": 26064
},
"node_formula": "|V| = 2d(T+1) + T",
"random_large": {
"acyclic": 60,
"constructions": 60,
"edge_count_matches": 60,
"max_edges": 360,
"max_nodes": 245,
"node_count_matches": 60
}
},
"dsep_claims": {
"Ts": [
1,
2,
3
],
"control_naive": {
"agreement": 0.931087811819856,
"mismatches": 98787,
"tested": 1433520
},
"control_no_inheritance": {
"lemma1_converse_failures_without_inheritance": 0,
"tested": 477840
},
"d": 4,
"lemma1": {
"converse_failure_witnesses": 17712,
"tested": 1433520,
"violations": 0
},
"n_models": 8688,
"n_triples_per_model": 55,
"per_T": {
"1": {
"control_naive_Sdeleted_mismatches": 32929,
"lemma1_converse_failures": 5904,
"lemma1_tested": 477840,
"lemma1_violations": 0,
"theorem1_tested": 477840,
"theorem1_violations": 0
},
"2": {
"control_naive_Sdeleted_mismatches": 32929,
"lemma1_converse_failures": 5904,
"lemma1_tested": 477840,
"lemma1_violations": 0,
"theorem1_tested": 477840,
"theorem1_violations": 0
},
"3": {
"control_naive_Sdeleted_mismatches": 32929,
"lemma1_converse_failures": 5904,
"lemma1_tested": 477840,
"lemma1_violations": 0,
"theorem1_tested": 477840,
"theorem1_violations": 0
}
},
"theorem1": {
"agreement": 1.0,
"tested": 1433520,
"violations": 0
},
"theorem1_implication1_T_invariance": {
"Ts_compared": [
1,
2,
3,
4
],
"models": 8688,
"models_whose_dsep_set_changes_with_T": 0
},
"theorem1_implication2_degenerate": {
"models_where_Gplus_equals_G_minus_S": 543,
"models_with_no_selection_parents": 543
}
},
"random_sweep": {
"Ts": [
1,
2,
3,
5
],
"control_naive_Sdeleted_mismatches": 2876,
"ds": [
5,
6,
7,
8,
9,
10
],
"dsep_relations_tested": 143811,
"lemma1_converse_failures": 1586,
"lemma1_violations": 0,
"models_per_d": 40,
"theorem1_violations": 0,
"theorem2_adjacency_pairs": 6200,
"theorem2_adjacency_violations": 0,
"theorem2_orientation_violations": 0,
"theorem2_oriented_edges": 779
},
"theorem2": {
"adjacency_pairs_tested": 52128,
"adjacency_violations": 0,
"d": 4,
"n_distinct_cpdags": 185,
"n_models": 8688,
"orientation_completeness_failures": 0,
"orientation_soundness_violations": 0,
"oriented_edges_tested": 2640,
"oriented_edges_whose_head_is_in_an(S)": 0,
"unoriented_edges_tested": 39030
},
"theorem2_control": {
"checker_fired": 328,
"corrupted_models_tested": 328
},
"theorem4": {
"additional_oriented_edges_vs_single_domain": 172512,
"adjacency_violations": 0,
"configurations_with_strictly_more_orientations": 88176,
"control_no_anS_expansion": {
"configurations": 269328,
"orientation_soundness_violations": 583356
},
"d": 4,
"frac_strict_improvement": 0.327392621636072,
"model_x_Iset_configurations": 269328,
"monotonicity_violations": 0,
"n_I_sets": 31,
"n_models": 8688,
"orientation_soundness_violations": 0,
"total_oriented_edges_multi_domain": 254352
}
}
|