

==============================================


Model Symbols:
{'counterfactual': {'x0_cat_0': {'lower_bound': 0,
                                 'symbol': x0_cat_0_counterfactual,
                                 'upper_bound': 1},
                    'x0_cat_1': {'lower_bound': 0,
                                 'symbol': x0_cat_1_counterfactual,
                                 'upper_bound': 1},
                    'x0_cat_2': {'lower_bound': 0,
                                 'symbol': x0_cat_2_counterfactual,
                                 'upper_bound': 1},
                    'x0_cat_3': {'lower_bound': 0,
                                 'symbol': x0_cat_3_counterfactual,
                                 'upper_bound': 1},
                    'x1': {'lower_bound': 0,
                           'symbol': x1_counterfactual,
                           'upper_bound': 1},
                    'x2': {'lower_bound': 0.0,
                           'symbol': x2_counterfactual,
                           'upper_bound': 1.0},
                    'x3': {'lower_bound': 0.0,
                           'symbol': x3_counterfactual,
                           'upper_bound': 1.0},
                    'x4': {'lower_bound': 0,
                           'symbol': x4_counterfactual,
                           'upper_bound': 1}},
 'interventional': {'x0_cat_0': {'lower_bound': 0,
                                 'symbol': x0_cat_0_interventional,
                                 'upper_bound': 1},
                    'x0_cat_1': {'lower_bound': 0,
                                 'symbol': x0_cat_1_interventional,
                                 'upper_bound': 1},
                    'x0_cat_2': {'lower_bound': 0,
                                 'symbol': x0_cat_2_interventional,
                                 'upper_bound': 1},
                    'x0_cat_3': {'lower_bound': 0,
                                 'symbol': x0_cat_3_interventional,
                                 'upper_bound': 1},
                    'x1': {'lower_bound': 0,
                           'symbol': x1_interventional,
                           'upper_bound': 1},
                    'x2': {'lower_bound': 0.0,
                           'symbol': x2_interventional,
                           'upper_bound': 1.0},
                    'x3': {'lower_bound': 0.0,
                           'symbol': x3_interventional,
                           'upper_bound': 1.0},
                    'x4': {'lower_bound': 0,
                           'symbol': x4_interventional,
                           'upper_bound': 1}},
 'output': {'y': {'symbol': y}}}
Constructing initial formulas: model, counterfactual, distance, plausibility, diversity		done.
Solving (not searching) for closest counterfactual using various distance thresholds...
	Iteration #001: testing norm threshold 0.500000 in range [0.000000, 1.000000]...	solution exists & found.
	Iteration #002: testing norm threshold 0.199520 in range [0.000000, 0.399039]...	solution exists & found.
	Iteration #003: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #004: testing norm threshold 0.045011 in range [0.000000, 0.090022]...	solution exists & found.
	Iteration #005: testing norm threshold 0.052022 in range [0.000000, 0.104045]...	solution exists & found.
	Iteration #006: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #007: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #008: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #009: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #010: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #011: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #012: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #013: testing norm threshold 0.054892 in range [0.000000, 0.109784]...	solution exists & found.
	Iteration #014: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #015: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #016: testing norm threshold 0.045694 in range [0.000000, 0.091388]...	solution exists & found.
	Iteration #017: testing norm threshold 0.052364 in range [0.000000, 0.104728]...	solution exists & found.
	Iteration #018: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #019: testing norm threshold 0.044255 in range [0.000000, 0.088510]...	solution exists & found.
	Iteration #020: testing norm threshold 0.051644 in range [0.000000, 0.103289]...	solution exists & found.
	Iteration #021: testing norm threshold 0.044541 in range [0.000000, 0.089083]...	solution exists & found.
	Iteration #022: testing norm threshold 0.042686 in range [0.000000, 0.085372]...	solution exists & found.
	Iteration #023: testing norm threshold 0.050860 in range [0.000000, 0.101720]...	solution exists & found.
	Iteration #024: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #025: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #026: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #027: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #028: testing norm threshold 0.054892 in range [0.000000, 0.109784]...	solution exists & found.
	Iteration #029: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #030: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #031: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #032: testing norm threshold 0.045741 in range [0.000000, 0.091483]...	solution exists & found.
	Iteration #033: testing norm threshold 0.052388 in range [0.000000, 0.104775]...	solution exists & found.
	Iteration #034: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #035: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #036: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #037: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #038: testing norm threshold 0.057636 in range [0.000000, 0.115272]...	solution exists & found.
	Iteration #039: testing norm threshold 0.046107 in range [0.000000, 0.092213]...	solution exists & found.
	Iteration #040: testing norm threshold 0.052570 in range [0.000000, 0.105140]...	solution exists & found.
	Iteration #041: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #042: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #043: testing norm threshold 0.045011 in range [0.000000, 0.090022]...	solution exists & found.
	Iteration #044: testing norm threshold 0.052022 in range [0.000000, 0.104045]...	solution exists & found.
	Iteration #045: testing norm threshold 0.044640 in range [0.000000, 0.089280]...	solution exists & found.
	Iteration #046: testing norm threshold 0.051837 in range [0.000000, 0.103674]...	solution exists & found.
	Iteration #047: testing norm threshold 0.054135 in range [0.000000, 0.108271]...	solution exists & found.
	Iteration #048: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #049: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #050: testing norm threshold 0.045011 in range [0.000000, 0.090022]...	solution exists & found.
	Iteration #051: testing norm threshold 0.042809 in range [0.000000, 0.085617]...	solution exists & found.
	Iteration #052: testing norm threshold 0.049880 in range [0.000000, 0.099759]...	solution exists & found.
	Iteration #053: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #054: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #055: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #056: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #057: testing norm threshold 0.044255 in range [0.000000, 0.088510]...	solution exists & found.
	Iteration #058: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #059: testing norm threshold 0.053528 in range [0.000000, 0.107055]...	solution exists & found.
	Iteration #060: testing norm threshold 0.045033 in range [0.000000, 0.090067]...	solution exists & found.
	Iteration #061: testing norm threshold 0.052034 in range [0.000000, 0.104067]...	solution exists & found.
	Iteration #062: testing norm threshold 0.055534 in range [0.000000, 0.111067]...	solution exists & found.
	Iteration #063: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #064: testing norm threshold 0.045694 in range [0.000000, 0.091388]...	solution exists & found.
	Iteration #065: testing norm threshold 0.051240 in range [0.000000, 0.102479]...	solution exists & found.
	Iteration #066: testing norm threshold 0.044436 in range [0.000000, 0.088871]...	solution exists & found.
	Iteration #067: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #068: testing norm threshold 0.044255 in range [0.000000, 0.088510]...	solution exists & found.
	Iteration #069: testing norm threshold 0.051644 in range [0.000000, 0.103289]...	solution exists & found.
	Iteration #070: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #071: testing norm threshold 0.045694 in range [0.000000, 0.091388]...	solution exists & found.
	Iteration #072: testing norm threshold 0.046614 in range [0.000000, 0.093227]...	solution exists & found.
	Iteration #073: testing norm threshold 0.043227 in range [0.000000, 0.086454]...	solution exists & found.
	Iteration #074: testing norm threshold 0.042343 in range [0.000000, 0.084685]...	solution exists & found.
	Iteration #075: testing norm threshold 0.042112 in range [0.000000, 0.084223]...	solution exists & found.
	Iteration #076: testing norm threshold 0.045694 in range [0.000000, 0.091388]...	solution exists & found.
	Iteration #077: testing norm threshold 0.042987 in range [0.000000, 0.085974]...	solution exists & found.
	Iteration #078: testing norm threshold 0.051010 in range [0.000000, 0.102021]...	solution exists & found.
	Iteration #079: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.
	Iteration #080: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #081: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #082: testing norm threshold 0.045011 in range [0.000000, 0.090022]...	solution exists & found.
	Iteration #083: testing norm threshold 0.052022 in range [0.000000, 0.104045]...	solution exists & found.
	Iteration #084: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #085: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #086: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #087: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #088: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #089: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #090: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #091: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #092: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #093: testing norm threshold 0.053442 in range [0.000000, 0.106884]...	solution exists & found.
	Iteration #094: testing norm threshold 0.056238 in range [0.000000, 0.112476]...	solution exists & found.
	Iteration #095: testing norm threshold 0.045741 in range [0.000000, 0.091483]...	solution exists & found.
	Iteration #096: testing norm threshold 0.051262 in range [0.000000, 0.102524]...	solution exists & found.
	Iteration #097: testing norm threshold 0.044442 in range [0.000000, 0.088883]...	solution exists & found.
	Iteration #098: testing norm threshold 0.051738 in range [0.000000, 0.103475]...	solution exists & found.
	Iteration #099: testing norm threshold 0.050548 in range [0.000000, 0.101095]...	solution exists & found.


Factual sample: 		 {x0_cat_0 : 0.0, x0_cat_1 : 1.0, x0_cat_2 : 0.0, x0_cat_3 : 0.0, x1 : 0.20588235294117646, x2 : 0.16176956091119182, x3 : 0.3333333333333333, x4 : 0.08928571428571429, y: False}
Nearest counterfactual sample:	 {x0_cat_0 : 0, x0_cat_1 : 1, x0_cat_2 : 0, x0_cat_3 : 0, x1 : 0, x2 : 0.16342679578451424, x3 : 0.4576230231296102, x4 : 0, y: True} (verified)
Minimum counterfactual distance: 0.084223
