iters=5 new-facts=1 prior-facts=1 | | mean | 277.192-277.194=-0.002 | | σ | 0.010-0.006=0.004 | | min | 277.180-277.188=-0.008 | | max | 277.202-277.201=0.001 |
| | mean | 2785.000-2650.000=135.000 | | σ | 0.000 | | min | 2785.000-2650.000=135.000 | | max | 2785.000-2650.000=135.000 |
| | mean | 0.396-0.404=-0.008 | | σ | 0.009-0.001=0.007 | | min | 0.391-0.403=-0.012 | | max | 0.411-0.406=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.700-2169.675=0.025 | | σ | 0.013-0.043=-0.030 | | min | 2169.691-2169.598=0.093 | | max | 2169.722-2169.702=0.020 |
| | mean | 2785.000-2650.000=135.000 | | σ | 0.000 | | min | 2785.000-2650.000=135.000 | | max | 2785.000-2650.000=135.000 |
| | mean | 3.044-2.999=0.045 | | σ | 0.169-0.166=0.002 | | min | 2.781-2.781=0.000 | | max | 3.183-3.158=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.492-5049.563=-0.071 | | σ | 1.036-1.010=0.026 | | min | 5048.709-5049.014=-0.305 | | max | 5051.309-5051.362=-0.052 |
| | mean | 2785.000-2650.000=135.000 | | σ | 0.000 | | min | 2785.000-2650.000=135.000 | | max | 2785.000-2650.000=135.000 |
| | mean | 8.960-9.032=-0.071 | | σ | 0.662-0.610=0.052 | | min | 8.180-8.135=0.045 | | max | 9.654-9.790=-0.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.660-5180.595=0.065 | | σ | 0.084-0.120=-0.036 | | min | 5180.594-5180.417=0.177 | | max | 5180.755-5180.754=0.001 |
| | mean | 3243.000-3272.600=-29.600 | | σ | 354.680-435.636=-80.955 | | min | 2785.000-2669.000=116.000 | | max | 3711.000-3676.000=35.000 |
| | mean | 8.982-9.077=-0.095 | | σ | 0.414-0.419=-0.004 | | min | 8.705-8.813=-0.108 | | max | 9.706-9.820=-0.114 |
|