

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


Model Symbols:
{'counterfactual': {'x0': {'lower_bound': -4677299678594081/1125899906842624,
                           'symbol': x0_counterfactual,
                           'upper_bound': 597016253335045/140737488355328},
                    'x1': {'lower_bound': -8649541274119025/2251799813685248,
                           'symbol': x1_counterfactual,
                           'upper_bound': 8913627213352543/2251799813685248}},
 'interventional': {'x0': {'lower_bound': -4677299678594081/1125899906842624,
                           'symbol': x0_interventional,
                           'upper_bound': 597016253335045/140737488355328},
                    'x1': {'lower_bound': -8649541274119025/2251799813685248,
                           'symbol': x1_interventional,
                           'upper_bound': 8913627213352543/2251799813685248}},
 '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 5.000000 in range [0.000000, 10.000000]...	solution exists & found.
	Iteration #002: testing norm threshold 0.120364 in range [0.000000, 0.240728]...	no solution exists.
	Iteration #003: testing norm threshold 0.180546 in range [0.120364, 0.240728]...	no solution exists.
	Iteration #004: testing norm threshold 0.210637 in range [0.180546, 0.240728]...	no solution exists.
	Iteration #005: testing norm threshold 0.225682 in range [0.210637, 0.240728]...	no solution exists.
	Iteration #006: testing norm threshold 0.233205 in range [0.225682, 0.240728]...	solution exists & found.
	Iteration #007: testing norm threshold 0.229444 in range [0.225682, 0.233205]...	solution exists & found.
	Iteration #008: testing norm threshold 0.227563 in range [0.225682, 0.229444]...	solution exists & found.
	Iteration #009: testing norm threshold 0.226623 in range [0.225682, 0.227563]...	no solution exists.
	Iteration #010: testing norm threshold 0.227093 in range [0.226623, 0.227563]...	no solution exists.
	Iteration #011: testing norm threshold 0.227328 in range [0.227093, 0.227563]...	solution exists & found.
	Iteration #012: testing norm threshold 0.227211 in range [0.227093, 0.227328]...	no solution exists.
	Iteration #013: testing norm threshold 0.227269 in range [0.227211, 0.227328]...	no solution exists.
	Iteration #014: testing norm threshold 0.227299 in range [0.227269, 0.227328]...	no solution exists.
	Iteration #015: testing norm threshold 0.227314 in range [0.227299, 0.227328]...	solution exists & found.
	Iteration #016: testing norm threshold 0.227306 in range [0.227299, 0.227314]...	no solution exists.


Factual sample: 		 {x0 : -1.9313616871956647, x1 : -2.474496967698736, y: False}
Nearest counterfactual sample:	 {x0 : 1.8856852575211747, x1 : -2.474354021316735, y: True} (verified)
Minimum counterfactual distance: 0.227314
