cert_24_nice_int.json (m,p)=(2,4) d=14: (nstart, nok, distinct, #real, min realness, max rel. residual) = [(14, 14, True, 0, 0.5689230380436721, 5.219444162658172e-15), (14, 14, True, 0, 0.5689230380436723, 4.598352091063155e-15)]
cert_25_nice_int.json (m,p)=(2,5) d=42: (nstart, nok, distinct, #real, min realness, max rel. residual) = [(42, 42, True, 0, 0.8322823822073346, 1.5524363697628334e-14), (42, 42, True, 0, 0.8322823822073356, 2.545643033209731e-14)]
cert_33_nice.json (m,p)=(3,3) d=42: (nstart, nok, distinct, #real, min realness, max rel. residual) = [(42, 42, True, 0, 0.14332470450088694, 1.6492776762893368e-14), (42, 42, True, 0, 0.14332470450088627, 2.0227106767702305e-14)]
cert_24_random.json (m,p)=(2,4) d=14: (nstart, nok, distinct, #real, min realness, max rel. residual) = [(14, 14, True, 0, 0.3029507158448945, 2.3927639423933224e-14), (14, 14, True, 0, 0.30295071584489486, 2.9482394797932606e-14)]
cert_33_walk_0.json (m,p)=(3,3) d=42: (nstart, nok, distinct, #real, min realness, max rel. residual) = [(42, 42, True, 0, 0.1038964482469643, 2.2840022621420448e-14), (42, 42, True, 0, 0.10389644824696172, 2.090415553234738e-14)]
cert_25_walk_4.json (m,p)=(2,5) d=42: (nstart, nok, distinct, #real, min realness, max rel. residual) = [(42, 42, True, 0, 0.46581810408970986, 4.5614518428290616e-15), (42, 42, True, 0, 0.46581810408971036, 5.498399622181759e-15)]
