pflt-fsot / data /math_microscope /lab_cross_verify.json
dappalumbo91's picture
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7 verified
Raw
History Blame Contribute Delete
1.2 kB
{
"lab_path": "C:\\Users\\damia\\Desktop\\gpu exparment for lean coq isabell andf star\\parity\\golden.json",
"lab_present": true,
"comparisons": [
{
"id": "phi",
"pflt": 1.618033988749895,
"lab": 1.618033988749895,
"abs_diff": 0.0,
"ok": true
},
{
"id": "gamma",
"pflt": 0.5772156649015329,
"lab": 0.5772156649015329,
"abs_diff": 0.0,
"ok": true
},
{
"id": "K",
"pflt": 0.4202216641606967,
"lab": 0.4202216641606967,
"abs_diff": 0.0,
"ok": true
},
{
"id": "c_eff",
"pflt": 0.9577022026205613,
"lab": 0.9577022026205613,
"abs_diff": 0.0,
"ok": true
},
{
"id": "p_var",
"pflt": 0.9579871226722757,
"lab": 0.9579871226722757,
"abs_diff": 0.0,
"ok": true
},
{
"id": "psi_con",
"pflt": 0.6321205588285577,
"lab": 0.6321205588285577,
"abs_diff": 0.0,
"ok": true
}
],
"scalar_sample": {
"pflt_S": 0.5195106204293134,
"lab_S": 0.5195106204293135,
"abs_diff": 1.1102230246251565e-16
},
"all_ok": true
}