face lam 1/100 full_Y False states 117720 fails 0 max LV -1.1225 at Y 0 Q -1125899906842624
face lam 1/10 full_Y False states 117720 fails 0 max LV -1.1000 at Y 0 Q -1125899906842624
face lam 1/2 full_Y False states 117720 fails 0 max LV -1.0000 at Y 0 Q -1125899906842624
face lam 1 full_Y False states 117720 fails 0 max LV -0.8750 at Y 0 Q -1125899906842624
face lam 37/10 full_Y False states 211680 fails 0 max LV -0.7838 at Y 0 Q -211011769530807904
face lam 10 full_Y False states 428760 fails 0 max LV -0.7625 at Y 0 Q -11258999068426240000
face lam 100 full_Y False states 3539160 fails 0 max LV -0.7512 at Y 0 Q -112589990684262400000000
[note] face run for lam=1000 stopped by verifier B after 37 min (exceeded 30-min cap; earlier run cut by connection drop). lam=1000 face rerun with subsampled Y below in out_face_1000.txt
