

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


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_cat_0': {'lower_bound': 0,
                                 'symbol': x2_cat_0_counterfactual,
                                 'upper_bound': 1},
                    'x2_cat_1': {'lower_bound': 0,
                                 'symbol': x2_cat_1_counterfactual,
                                 'upper_bound': 1},
                    'x2_cat_2': {'lower_bound': 0,
                                 'symbol': x2_cat_2_counterfactual,
                                 'upper_bound': 1},
                    'x2_cat_3': {'lower_bound': 0,
                                 'symbol': x2_cat_3_counterfactual,
                                 'upper_bound': 1},
                    'x2_cat_4': {'lower_bound': 0,
                                 'symbol': x2_cat_4_counterfactual,
                                 'upper_bound': 1},
                    'x3': {'lower_bound': 0.0,
                           'symbol': x3_counterfactual,
                           'upper_bound': 1.0},
                    'x4': {'lower_bound': 0.0,
                           'symbol': x4_counterfactual,
                           'upper_bound': 1.0},
                    'x5': {'lower_bound': 0,
                           'symbol': x5_counterfactual,
                           'upper_bound': 1},
                    'x6': {'lower_bound': 0,
                           'symbol': x6_counterfactual,
                           'upper_bound': 1},
                    'x7': {'lower_bound': 0,
                           'symbol': x7_counterfactual,
                           'upper_bound': 1},
                    'x8': {'lower_bound': 0,
                           'symbol': x8_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_cat_0': {'lower_bound': 0,
                                 'symbol': x2_cat_0_interventional,
                                 'upper_bound': 1},
                    'x2_cat_1': {'lower_bound': 0,
                                 'symbol': x2_cat_1_interventional,
                                 'upper_bound': 1},
                    'x2_cat_2': {'lower_bound': 0,
                                 'symbol': x2_cat_2_interventional,
                                 'upper_bound': 1},
                    'x2_cat_3': {'lower_bound': 0,
                                 'symbol': x2_cat_3_interventional,
                                 'upper_bound': 1},
                    'x2_cat_4': {'lower_bound': 0,
                                 'symbol': x2_cat_4_interventional,
                                 'upper_bound': 1},
                    'x3': {'lower_bound': 0.0,
                           'symbol': x3_interventional,
                           'upper_bound': 1.0},
                    'x4': {'lower_bound': 0.0,
                           'symbol': x4_interventional,
                           'upper_bound': 1.0},
                    'x5': {'lower_bound': 0,
                           'symbol': x5_interventional,
                           'upper_bound': 1},
                    'x6': {'lower_bound': 0,
                           'symbol': x6_interventional,
                           'upper_bound': 1},
                    'x7': {'lower_bound': 0,
                           'symbol': x7_interventional,
                           'upper_bound': 1},
                    'x8': {'lower_bound': 0,
                           'symbol': x8_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.253463 in range [0.000000, 0.506925]...	solution exists & found.
	Iteration #003: testing norm threshold 0.190310 in range [0.000000, 0.380621]...	solution exists & found.
	Iteration #004: testing norm threshold 0.134515 in range [0.000000, 0.269031]...	solution exists & found.
	Iteration #005: testing norm threshold 0.133531 in range [0.000000, 0.267063]...	solution exists & found.
	Iteration #006: testing norm threshold 0.128172 in range [0.000000, 0.256345]...	solution exists & found.
	Iteration #007: testing norm threshold 0.130360 in range [0.000000, 0.260720]...	solution exists & found.
	Iteration #008: testing norm threshold 0.127181 in range [0.000000, 0.254362]...	solution exists & found.
	Iteration #009: testing norm threshold 0.104071 in range [0.000000, 0.208141]...	no solution exists.
	Iteration #010: testing norm threshold 0.156106 in range [0.104071, 0.208141]...	solution exists & found.
	Iteration #011: testing norm threshold 0.191230 in range [0.104071, 0.278390]...	solution exists & found.
	Iteration #012: testing norm threshold 0.183815 in range [0.104071, 0.263559]...	solution exists & found.
	Iteration #013: testing norm threshold 0.187916 in range [0.104071, 0.271760]...	solution exists & found.
	Iteration #014: testing norm threshold 0.198337 in range [0.104071, 0.292604]...	solution exists & found.
	Iteration #015: testing norm threshold 0.154414 in range [0.104071, 0.204757]...	solution exists & found.
	Iteration #016: testing norm threshold 0.169722 in range [0.104071, 0.235374]...	solution exists & found.
	Iteration #017: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #018: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #019: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #020: testing norm threshold 0.192383 in range [0.104071, 0.280696]...	solution exists & found.
	Iteration #021: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #022: testing norm threshold 0.154414 in range [0.104071, 0.204757]...	solution exists & found.
	Iteration #023: testing norm threshold 0.181507 in range [0.104071, 0.258943]...	solution exists & found.
	Iteration #024: testing norm threshold 0.186551 in range [0.104071, 0.269031]...	solution exists & found.
	Iteration #025: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #026: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #027: testing norm threshold 0.200860 in range [0.104071, 0.297650]...	solution exists & found.
	Iteration #028: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #029: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #030: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #031: testing norm threshold 0.180857 in range [0.104071, 0.257644]...	solution exists & found.
	Iteration #032: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #033: testing norm threshold 0.154414 in range [0.104071, 0.204757]...	solution exists & found.
	Iteration #034: testing norm threshold 0.193901 in range [0.104071, 0.283731]...	solution exists & found.
	Iteration #035: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #036: testing norm threshold 0.167670 in range [0.104071, 0.231269]...	solution exists & found.
	Iteration #037: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #038: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #039: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #040: testing norm threshold 0.203945 in range [0.104071, 0.303820]...	solution exists & found.
	Iteration #041: testing norm threshold 0.209694 in range [0.104071, 0.315317]...	solution exists & found.
	Iteration #042: testing norm threshold 0.174459 in range [0.104071, 0.244847]...	solution exists & found.
	Iteration #043: testing norm threshold 0.180275 in range [0.104071, 0.256480]...	solution exists & found.
	Iteration #044: testing norm threshold 0.200559 in range [0.104071, 0.297046]...	solution exists & found.
	Iteration #045: testing norm threshold 0.177626 in range [0.104071, 0.251182]...	solution exists & found.
	Iteration #046: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #047: testing norm threshold 0.186551 in range [0.104071, 0.269031]...	solution exists & found.
	Iteration #048: testing norm threshold 0.186551 in range [0.104071, 0.269031]...	solution exists & found.
	Iteration #049: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #050: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #051: testing norm threshold 0.177135 in range [0.104071, 0.250200]...	solution exists & found.
	Iteration #052: testing norm threshold 0.194888 in range [0.104071, 0.285706]...	solution exists & found.
	Iteration #053: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #054: testing norm threshold 0.186551 in range [0.104071, 0.269031]...	solution exists & found.
	Iteration #055: testing norm threshold 0.192187 in range [0.104071, 0.280302]...	solution exists & found.
	Iteration #056: testing norm threshold 0.198982 in range [0.104071, 0.293894]...	solution exists & found.
	Iteration #057: testing norm threshold 0.215960 in range [0.104071, 0.327850]...	solution exists & found.
	Iteration #058: testing norm threshold 0.191308 in range [0.104071, 0.278545]...	solution exists & found.
	Iteration #059: testing norm threshold 0.182210 in range [0.104071, 0.260349]...	solution exists & found.
	Iteration #060: testing norm threshold 0.203084 in range [0.104071, 0.302097]...	solution exists & found.
	Iteration #061: testing norm threshold 0.186330 in range [0.104071, 0.268589]...	solution exists & found.
	Iteration #062: testing norm threshold 0.195245 in range [0.104071, 0.286419]...	solution exists & found.
	Iteration #063: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #064: testing norm threshold 0.196237 in range [0.104071, 0.288403]...	solution exists & found.
	Iteration #065: testing norm threshold 0.175906 in range [0.104071, 0.247741]...	solution exists & found.
	Iteration #066: testing norm threshold 0.192383 in range [0.104071, 0.280696]...	solution exists & found.
	Iteration #067: testing norm threshold 0.191308 in range [0.104071, 0.278545]...	solution exists & found.
	Iteration #068: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #069: testing norm threshold 0.196817 in range [0.104071, 0.289564]...	solution exists & found.
	Iteration #070: testing norm threshold 0.186551 in range [0.104071, 0.269031]...	solution exists & found.
	Iteration #071: testing norm threshold 0.166779 in range [0.104071, 0.229487]...	solution exists & found.
	Iteration #072: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #073: testing norm threshold 0.175708 in range [0.104071, 0.247346]...	solution exists & found.
	Iteration #074: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #075: testing norm threshold 0.192383 in range [0.104071, 0.280696]...	solution exists & found.
	Iteration #076: testing norm threshold 0.203579 in range [0.104071, 0.303086]...	solution exists & found.
	Iteration #077: testing norm threshold 0.217245 in range [0.104071, 0.330419]...	solution exists & found.
	Iteration #078: testing norm threshold 0.184951 in range [0.104071, 0.265831]...	solution exists & found.
	Iteration #079: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #080: testing norm threshold 0.180208 in range [0.104071, 0.256345]...	solution exists & found.
	Iteration #081: testing norm threshold 0.180387 in range [0.104071, 0.256704]...	solution exists & found.
	Iteration #082: testing norm threshold 0.175370 in range [0.104071, 0.246669]...	solution exists & found.
	Iteration #083: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #084: testing norm threshold 0.179789 in range [0.104071, 0.255507]...	solution exists & found.
	Iteration #085: testing norm threshold 0.175370 in range [0.104071, 0.246669]...	solution exists & found.
	Iteration #086: testing norm threshold 0.198726 in range [0.104071, 0.293382]...	solution exists & found.
	Iteration #087: testing norm threshold 0.155065 in range [0.104071, 0.206059]...	solution exists & found.
	Iteration #088: testing norm threshold 0.178014 in range [0.104071, 0.251957]...	solution exists & found.
	Iteration #089: testing norm threshold 0.195999 in range [0.104071, 0.287927]...	solution exists & found.
	Iteration #090: testing norm threshold 0.191308 in range [0.104071, 0.278545]...	solution exists & found.
	Iteration #091: testing norm threshold 0.192383 in range [0.104071, 0.280696]...	solution exists & found.
	Iteration #092: testing norm threshold 0.175445 in range [0.104071, 0.246820]...	solution exists & found.
	Iteration #093: testing norm threshold 0.193306 in range [0.104071, 0.282542]...	solution exists & found.
	Iteration #094: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #095: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #096: testing norm threshold 0.202600 in range [0.104071, 0.301130]...	solution exists & found.
	Iteration #097: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #098: testing norm threshold 0.173865 in range [0.104071, 0.243659]...	solution exists & found.
	Iteration #099: testing norm threshold 0.186551 in range [0.104071, 0.269031]...	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.29411764705882354, x2_cat_0 : 0.0, x2_cat_1 : 0.0, x2_cat_2 : 0.0, x2_cat_3 : 0.0, x2_cat_4 : 1.0, x3 : 0.11417409486079014, x4 : 0.3333333333333333, x5 : 0.6666666666666666, x6 : 0.23214285714285715, x7 : 0.0, x8 : 0.0, y: False}
Nearest counterfactual sample:	 {x0_cat_0 : 0, x0_cat_1 : 1, x0_cat_2 : 0, x0_cat_3 : 0, x1 : 0, x2_cat_0 : 0, x2_cat_1 : 0, x2_cat_2 : 0, x2_cat_3 : 0, x2_cat_4 : 1, x3 : 0.0, x4 : 0.3333333333333333, x5 : 0, x6 : 1, x7 : 0, x8 : 0, y: True} (verified)
Minimum counterfactual distance: 0.204757
