

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


Model Symbols:
{'counterfactual': {'x0': {'lower_bound': 0,
                           'symbol': x0_counterfactual,
                           'upper_bound': 1},
                    'x1_cat_0': {'lower_bound': 0,
                                 'symbol': x1_cat_0_counterfactual,
                                 'upper_bound': 1},
                    'x1_cat_1': {'lower_bound': 0,
                                 'symbol': x1_cat_1_counterfactual,
                                 'upper_bound': 1},
                    'x1_cat_2': {'lower_bound': 0,
                                 'symbol': x1_cat_2_counterfactual,
                                 'upper_bound': 1},
                    'x1_cat_3': {'lower_bound': 0,
                                 'symbol': x1_cat_3_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},
                    'x3_cat_0': {'lower_bound': 0,
                                 'symbol': x3_cat_0_counterfactual,
                                 'upper_bound': 1},
                    'x3_cat_1': {'lower_bound': 0,
                                 'symbol': x3_cat_1_counterfactual,
                                 'upper_bound': 1},
                    'x4_cat_0': {'lower_bound': 0,
                                 'symbol': x4_cat_0_counterfactual,
                                 'upper_bound': 1},
                    'x4_cat_1': {'lower_bound': 0,
                                 'symbol': x4_cat_1_counterfactual,
                                 'upper_bound': 1},
                    'x5_cat_0': {'lower_bound': 0,
                                 'symbol': x5_cat_0_counterfactual,
                                 'upper_bound': 1},
                    'x5_cat_1': {'lower_bound': 0,
                                 'symbol': x5_cat_1_counterfactual,
                                 'upper_bound': 1},
                    'x5_cat_2': {'lower_bound': 0,
                                 'symbol': x5_cat_2_counterfactual,
                                 'upper_bound': 1},
                    'x5_cat_3': {'lower_bound': 0,
                                 'symbol': x5_cat_3_counterfactual,
                                 'upper_bound': 1},
                    'x5_cat_4': {'lower_bound': 0,
                                 'symbol': x5_cat_4_counterfactual,
                                 'upper_bound': 1},
                    'x6': {'lower_bound': 0,
                           'symbol': x6_counterfactual,
                           'upper_bound': 1},
                    'x7': {'lower_bound': 0.0,
                           'symbol': x7_counterfactual,
                           'upper_bound': 1.0},
                    'x8': {'lower_bound': 0.0,
                           'symbol': x8_counterfactual,
                           'upper_bound': 1.0}},
 'interventional': {'x0': {'lower_bound': 0,
                           'symbol': x0_interventional,
                           'upper_bound': 1},
                    'x1_cat_0': {'lower_bound': 0,
                                 'symbol': x1_cat_0_interventional,
                                 'upper_bound': 1},
                    'x1_cat_1': {'lower_bound': 0,
                                 'symbol': x1_cat_1_interventional,
                                 'upper_bound': 1},
                    'x1_cat_2': {'lower_bound': 0,
                                 'symbol': x1_cat_2_interventional,
                                 'upper_bound': 1},
                    'x1_cat_3': {'lower_bound': 0,
                                 'symbol': x1_cat_3_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},
                    'x3_cat_0': {'lower_bound': 0,
                                 'symbol': x3_cat_0_interventional,
                                 'upper_bound': 1},
                    'x3_cat_1': {'lower_bound': 0,
                                 'symbol': x3_cat_1_interventional,
                                 'upper_bound': 1},
                    'x4_cat_0': {'lower_bound': 0,
                                 'symbol': x4_cat_0_interventional,
                                 'upper_bound': 1},
                    'x4_cat_1': {'lower_bound': 0,
                                 'symbol': x4_cat_1_interventional,
                                 'upper_bound': 1},
                    'x5_cat_0': {'lower_bound': 0,
                                 'symbol': x5_cat_0_interventional,
                                 'upper_bound': 1},
                    'x5_cat_1': {'lower_bound': 0,
                                 'symbol': x5_cat_1_interventional,
                                 'upper_bound': 1},
                    'x5_cat_2': {'lower_bound': 0,
                                 'symbol': x5_cat_2_interventional,
                                 'upper_bound': 1},
                    'x5_cat_3': {'lower_bound': 0,
                                 'symbol': x5_cat_3_interventional,
                                 'upper_bound': 1},
                    'x5_cat_4': {'lower_bound': 0,
                                 'symbol': x5_cat_4_interventional,
                                 'upper_bound': 1},
                    'x6': {'lower_bound': 0,
                           'symbol': x6_interventional,
                           'upper_bound': 1},
                    'x7': {'lower_bound': 0.0,
                           'symbol': x7_interventional,
                           'upper_bound': 1.0},
                    'x8': {'lower_bound': 0.0,
                           'symbol': x8_interventional,
                           'upper_bound': 1.0}},
 '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 2.500000 in range [0.000000, 5.000000]...	solution exists & found.
	Iteration #002: testing norm threshold 0.179487 in range [0.000000, 0.358974]...	solution exists & found.
	Iteration #003: testing norm threshold 0.121986 in range [0.000000, 0.243971]...	solution exists & found.
	Iteration #004: testing norm threshold 0.087798 in range [0.000000, 0.175595]...	solution exists & found.
	Iteration #005: testing norm threshold 0.038304 in range [0.000000, 0.076608]...	solution exists & found.
	Iteration #006: testing norm threshold 0.051394 in range [0.000000, 0.102788]...	solution exists & found.
	Iteration #007: testing norm threshold 0.053052 in range [0.000000, 0.106103]...	solution exists & found.
	Iteration #008: testing norm threshold 0.054329 in range [0.000000, 0.108657]...	solution exists & found.
	Iteration #009: testing norm threshold 0.059406 in range [0.000000, 0.118813]...	solution exists & found.
	Iteration #010: testing norm threshold 0.057441 in range [0.000000, 0.114881]...	solution exists & found.
	Iteration #011: testing norm threshold 0.046859 in range [0.000000, 0.093719]...	solution exists & found.
	Iteration #012: testing norm threshold 0.055183 in range [0.000000, 0.110366]...	solution exists & found.
	Iteration #013: testing norm threshold 0.059834 in range [0.000000, 0.119667]...	solution exists & found.
	Iteration #014: testing norm threshold 0.062159 in range [0.000000, 0.124318]...	solution exists & found.
	Iteration #015: testing norm threshold 0.063322 in range [0.000000, 0.126643]...	solution exists & found.
	Iteration #016: testing norm threshold 0.063903 in range [0.000000, 0.127806]...	solution exists & found.
	Iteration #017: testing norm threshold 0.064194 in range [0.000000, 0.128387]...	solution exists & found.
	Iteration #018: testing norm threshold 0.064339 in range [0.000000, 0.128678]...	solution exists & found.
	Iteration #019: testing norm threshold 0.064412 in range [0.000000, 0.128823]...	solution exists & found.
	Iteration #020: testing norm threshold 0.063457 in range [0.000000, 0.126915]...	solution exists & found.
	Iteration #021: testing norm threshold 0.063971 in range [0.000000, 0.127941]...	solution exists & found.
	Iteration #022: testing norm threshold 0.064227 in range [0.000000, 0.128455]...	solution exists & found.
	Iteration #023: testing norm threshold 0.046859 in range [0.000000, 0.093719]...	solution exists & found.
	Iteration #024: testing norm threshold 0.055672 in range [0.000000, 0.111344]...	solution exists & found.
	Iteration #025: testing norm threshold 0.055772 in range [0.000000, 0.111544]...	solution exists & found.
	Iteration #026: testing norm threshold 0.040600 in range [0.000000, 0.081199]...	solution exists & found.
	Iteration #027: testing norm threshold 0.052542 in range [0.000000, 0.105084]...	solution exists & found.
	Iteration #028: testing norm threshold 0.057476 in range [0.000000, 0.114953]...	solution exists & found.
	Iteration #029: testing norm threshold 0.047015 in range [0.000000, 0.094030]...	solution exists & found.
	Iteration #030: testing norm threshold 0.053736 in range [0.000000, 0.107472]...	solution exists & found.
	Iteration #031: testing norm threshold 0.059110 in range [0.000000, 0.118220]...	solution exists & found.
	Iteration #032: testing norm threshold 0.053610 in range [0.000000, 0.107219]...	solution exists & found.
	Iteration #033: testing norm threshold 0.059047 in range [0.000000, 0.118094]...	solution exists & found.
	Iteration #034: testing norm threshold 0.060328 in range [0.000000, 0.120656]...	solution exists & found.
	Iteration #035: testing norm threshold 0.061098 in range [0.000000, 0.122197]...	solution exists & found.
	Iteration #036: testing norm threshold 0.062791 in range [0.000000, 0.125583]...	solution exists & found.
	Iteration #037: testing norm threshold 0.063638 in range [0.000000, 0.127276]...	solution exists & found.
	Iteration #038: testing norm threshold 0.059227 in range [0.000000, 0.118454]...	solution exists & found.
	Iteration #039: testing norm threshold 0.061856 in range [0.000000, 0.123711]...	solution exists & found.
	Iteration #040: testing norm threshold 0.063170 in range [0.000000, 0.126340]...	solution exists & found.
	Iteration #041: testing norm threshold 0.063827 in range [0.000000, 0.127654]...	solution exists & found.
	Iteration #042: testing norm threshold 0.063956 in range [0.000000, 0.127912]...	solution exists & found.
	Iteration #043: testing norm threshold 0.064220 in range [0.000000, 0.128440]...	solution exists & found.
	Iteration #044: testing norm threshold 0.064352 in range [0.000000, 0.128704]...	solution exists & found.
	Iteration #045: testing norm threshold 0.064418 in range [0.000000, 0.128836]...	solution exists & found.
	Iteration #046: testing norm threshold 0.063106 in range [0.000000, 0.126213]...	solution exists & found.
	Iteration #047: testing norm threshold 0.063795 in range [0.000000, 0.127591]...	solution exists & found.
	Iteration #048: testing norm threshold 0.047756 in range [0.000000, 0.095511]...	solution exists & found.
	Iteration #049: testing norm threshold 0.046378 in range [0.000000, 0.092756]...	solution exists & found.
	Iteration #050: testing norm threshold 0.055431 in range [0.000000, 0.110862]...	solution exists & found.
	Iteration #051: testing norm threshold 0.059958 in range [0.000000, 0.119915]...	solution exists & found.
	Iteration #052: testing norm threshold 0.062221 in range [0.000000, 0.124442]...	solution exists & found.
	Iteration #053: testing norm threshold 0.063353 in range [0.000000, 0.126705]...	solution exists & found.
	Iteration #054: testing norm threshold 0.050994 in range [0.000000, 0.101989]...	solution exists & found.
	Iteration #055: testing norm threshold 0.057739 in range [0.000000, 0.115479]...	solution exists & found.
	Iteration #056: testing norm threshold 0.053610 in range [0.000000, 0.107219]...	solution exists & found.
	Iteration #057: testing norm threshold 0.048175 in range [0.000000, 0.096350]...	solution exists & found.
	Iteration #058: testing norm threshold 0.056330 in range [0.000000, 0.112659]...	solution exists & found.
	Iteration #059: testing norm threshold 0.060407 in range [0.000000, 0.120814]...	solution exists & found.
	Iteration #060: testing norm threshold 0.053610 in range [0.000000, 0.107219]...	solution exists & found.
	Iteration #061: testing norm threshold 0.059047 in range [0.000000, 0.118094]...	solution exists & found.
	Iteration #062: testing norm threshold 0.061766 in range [0.000000, 0.123531]...	solution exists & found.
	Iteration #063: testing norm threshold 0.063125 in range [0.000000, 0.126250]...	solution exists & found.
	Iteration #064: testing norm threshold 0.063805 in range [0.000000, 0.127609]...	solution exists & found.
	Iteration #065: testing norm threshold 0.063106 in range [0.000000, 0.126213]...	solution exists & found.
	Iteration #066: testing norm threshold 0.063795 in range [0.000000, 0.127591]...	solution exists & found.
	Iteration #067: testing norm threshold 0.064140 in range [0.000000, 0.128279]...	solution exists & found.
	Iteration #068: testing norm threshold 0.064312 in range [0.000000, 0.128624]...	solution exists & found.
	Iteration #069: testing norm threshold 0.064398 in range [0.000000, 0.128796]...	solution exists & found.
	Iteration #070: testing norm threshold 0.064441 in range [0.000000, 0.128882]...	solution exists & found.
	Iteration #071: testing norm threshold 0.064463 in range [0.000000, 0.128925]...	solution exists & found.
	Iteration #072: testing norm threshold 0.064473 in range [0.000000, 0.128947]...	solution exists & found.
	Iteration #073: testing norm threshold 0.064479 in range [0.000000, 0.128958]...	solution exists & found.
	Iteration #074: testing norm threshold 0.064482 in range [0.000000, 0.128963]...	solution exists & found.
	Iteration #075: testing norm threshold 0.064483 in range [0.000000, 0.128966]...	solution exists & found.
	Iteration #076: testing norm threshold 0.064484 in range [0.000000, 0.128967]...	solution exists & found.
	Iteration #077: testing norm threshold 0.063106 in range [0.000000, 0.126213]...	solution exists & found.
	Iteration #078: testing norm threshold 0.063795 in range [0.000000, 0.127591]...	solution exists & found.
	Iteration #079: testing norm threshold 0.063850 in range [0.000000, 0.127700]...	solution exists & found.
	Iteration #080: testing norm threshold 0.064167 in range [0.000000, 0.128334]...	solution exists & found.
	Iteration #081: testing norm threshold 0.064326 in range [0.000000, 0.128651]...	solution exists & found.
	Iteration #082: testing norm threshold 0.059527 in range [0.000000, 0.119055]...	solution exists & found.
	Iteration #083: testing norm threshold 0.062006 in range [0.000000, 0.124012]...	solution exists & found.
	Iteration #084: testing norm threshold 0.063245 in range [0.000000, 0.126490]...	solution exists & found.
	Iteration #085: testing norm threshold 0.063865 in range [0.000000, 0.127729]...	solution exists & found.
	Iteration #086: testing norm threshold 0.057738 in range [0.000000, 0.115477]...	solution exists & found.
	Iteration #087: testing norm threshold 0.047133 in range [0.000000, 0.094266]...	solution exists & found.
	Iteration #088: testing norm threshold 0.055809 in range [0.000000, 0.111617]...	solution exists & found.
	Iteration #089: testing norm threshold 0.060146 in range [0.000000, 0.120293]...	solution exists & found.
	Iteration #090: testing norm threshold 0.062315 in range [0.000000, 0.124631]...	solution exists & found.
	Iteration #091: testing norm threshold 0.063400 in range [0.000000, 0.126800]...	solution exists & found.
	Iteration #092: testing norm threshold 0.063942 in range [0.000000, 0.127884]...	solution exists & found.
	Iteration #093: testing norm threshold 0.064213 in range [0.000000, 0.128426]...	solution exists & found.
	Iteration #094: testing norm threshold 0.064349 in range [0.000000, 0.128697]...	solution exists & found.
	Iteration #095: testing norm threshold 0.053610 in range [0.000000, 0.107219]...	solution exists & found.
	Iteration #096: testing norm threshold 0.059047 in range [0.000000, 0.118094]...	solution exists & found.
	Iteration #097: testing norm threshold 0.061766 in range [0.000000, 0.123531]...	solution exists & found.
	Iteration #098: testing norm threshold 0.063106 in range [0.000000, 0.126213]...	solution exists & found.
	Iteration #099: testing norm threshold 0.063795 in range [0.000000, 0.127591]...	solution exists & found.


Factual sample: 		 {x0 : 0.14285714285714285, x1_cat_0 : 0.0, x1_cat_1 : 1.0, x1_cat_2 : 0.0, x1_cat_3 : 0.0, x2_cat_0 : 0.0, x2_cat_1 : 1.0, x3_cat_0 : 1.0, x3_cat_1 : 0.0, x4_cat_0 : 1.0, x4_cat_1 : 0.0, x5_cat_0 : 0.0, x5_cat_1 : 0.0, x5_cat_2 : 0.0, x5_cat_3 : 0.0, x5_cat_4 : 1.0, x6 : 0.4375, x7 : 0.5555555555555556, x8 : 0.38461538461538464, y: False}
Nearest counterfactual sample:	 {x0 : 0, x1_cat_0 : 0, x1_cat_1 : 1, x1_cat_2 : 0, x1_cat_3 : 0, x2_cat_0 : 0, x2_cat_1 : 1, x3_cat_0 : 1, x3_cat_1 : 0, x4_cat_0 : 1, x4_cat_1 : 0, x5_cat_0 : 0, x5_cat_1 : 0, x5_cat_2 : 0, x5_cat_3 : 0, x5_cat_4 : 1, x6 : 0, x7 : 0.6646666666666667, x8 : 0.38461538461538464, y: True} (verified)
Minimum counterfactual distance: 0.076608
