

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


Model Symbols:
{'counterfactual': {'x0': {'lower_bound': -3894893906706415/562949953421312,
                           'symbol': x0_counterfactual,
                           'upper_bound': 3307888273124183/562949953421312},
                    'x1': {'lower_bound': -101612442781781/17592186044416,
                           'symbol': x1_counterfactual,
                           'upper_bound': 3138580266649255/562949953421312}},
 'interventional': {'x0': {'lower_bound': -3894893906706415/562949953421312,
                           'symbol': x0_interventional,
                           'upper_bound': 3307888273124183/562949953421312},
                    'x1': {'lower_bound': -101612442781781/17592186044416,
                           'symbol': x1_interventional,
                           'upper_bound': 3138580266649255/562949953421312}},
 '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.168945 in range [0.000000, 0.337890]...	no solution exists.
	Iteration #003: testing norm threshold 0.253417 in range [0.168945, 0.337890]...	no solution exists.
	Iteration #004: testing norm threshold 0.295654 in range [0.253417, 0.337890]...	no solution exists.
	Iteration #005: testing norm threshold 0.316772 in range [0.295654, 0.337890]...	no solution exists.
	Iteration #006: testing norm threshold 0.327331 in range [0.316772, 0.337890]...	solution exists & found.
	Iteration #007: testing norm threshold 0.322051 in range [0.316772, 0.327331]...	no solution exists.
	Iteration #008: testing norm threshold 0.324691 in range [0.322051, 0.327331]...	solution exists & found.
	Iteration #009: testing norm threshold 0.323371 in range [0.322051, 0.324691]...	no solution exists.
	Iteration #010: testing norm threshold 0.324031 in range [0.323371, 0.324691]...	no solution exists.
	Iteration #011: testing norm threshold 0.324361 in range [0.324031, 0.324691]...	no solution exists.
	Iteration #012: testing norm threshold 0.324526 in range [0.324361, 0.324691]...	solution exists & found.
	Iteration #013: testing norm threshold 0.324444 in range [0.324361, 0.324526]...	no solution exists.
	Iteration #014: testing norm threshold 0.324485 in range [0.324444, 0.324526]...	no solution exists.
	Iteration #015: testing norm threshold 0.324506 in range [0.324485, 0.324526]...	no solution exists.
	Iteration #016: testing norm threshold 0.324516 in range [0.324506, 0.324526]...	no solution exists.
	Iteration #017: testing norm threshold 0.324521 in range [0.324516, 0.324526]...	solution exists & found.


Factual sample: 		 {x0 : -3.761325622586514, x1 : -4.356996213146504, y: False}
Nearest counterfactual sample:	 {x0 : 4.542945914502388, x1 : -4.357026726560673, y: True} (verified)
Minimum counterfactual distance: 0.324521
