4bc171beddf90a19ab84a504285e6a64  far_hostile.py
RQ-AUD/audit/far/../rqd/a34b_semantic.py:58: RuntimeWarning: overflow encountered in divide
  return float(np.sum(probs * (vals * erf(vals / (s * math.sqrt(2))) + 2 * s * ISQ2PI * np.exp(-vals ** 2 / (2 * s * s)))))
far-region hostile search: 4 atoms + Gaussian part, 8 x 80 starts, seed 12; C5 = 0.8551004555; 38 s
{"EZ": 0.8266648, "margin_to_C5": 0.028436, "Vp": 0.8, "Vm": 0.094951, "in_closure_of_F": true, "atoms": [[0.85, 0.10505], [1.2978, 0.8], [-1.10073, 0.09495]], "gauss": 0.0}
{"EZ": 0.8266648, "margin_to_C5": 0.028436, "Vp": 0.8, "Vm": 0.094958, "in_closure_of_F": true, "atoms": [[1.2978, 0.8], [1.54, 0.0], [-1.10077, 0.09496], [0.85, 0.10504]], "gauss": 0.0}
{"EZ": 0.8266648, "margin_to_C5": 0.028436, "Vp": 0.8, "Vm": 0.094972, "in_closure_of_F": true, "atoms": [[-1.10073, 0.09497], [1.29786, 0.8], [0.85, 0.10503]], "gauss": 0.0}
{"EZ": 0.8266647, "margin_to_C5": 0.028436, "Vp": 0.8, "Vm": 0.09471, "in_closure_of_F": true, "atoms": [[1.29854, 0.70249], [-1.10136, 0.09471], [0.85, 0.10529], [1.29898, 0.09751]], "gauss": 0.0}
{"EZ": 0.8266647, "margin_to_C5": 0.028436, "Vp": 0.8, "Vm": 0.094625, "in_closure_of_F": true, "atoms": [[1.29861, 0.8], [-1.10108, 0.09462], [0.85, 0.10538]], "gauss": 0.0}
{"EZ": 0.8266639, "margin_to_C5": 0.028437, "Vp": 0.8, "Vm": 0.094955, "in_closure_of_F": true, "atoms": [[1.29826, 0.8], [-1.10277, 0.09495], [0.85, 0.10504]], "gauss": 0.0}
{"EZ": 0.8266614, "margin_to_C5": 0.028439, "Vp": 0.093786, "Vm": 0.8, "in_closure_of_F": true, "atoms": [[1.10092, 0.09379], [-1.30051, 0.8], [-0.85, 0.1062], [-0.83555, 0.0]], "gauss": 1e-05}
{"EZ": 0.8266596, "margin_to_C5": 0.028441, "Vp": 0.095901, "Vm": 0.8, "in_closure_of_F": true, "atoms": [[-1.29591, 0.79958], [1.10179, 0.0959], [-1.54, 0.00042], [-0.85, 0.1041]], "gauss": 0.0}
NO FAR-REGION LAW ABOVE C5 FOUND

real	0m38.493s
user	3m58.845s
sys	0m6.073s
