iters=5 new-facts=1 prior-facts=1 | | mean | 273.504-273.502=0.002 | | σ | 0.007-0.005=0.002 | | min | 273.495-273.496=-0.001 | | max | 273.513-273.509=0.005 |
| | mean | 2871.000-2868.000=3.000 | | σ | 0.000 | | min | 2871.000-2868.000=3.000 | | max | 2871.000-2868.000=3.000 |
| | mean | 0.376-0.384=-0.007 | | σ | 0.005-0.004=0.001 | | min | 0.372-0.379=-0.008 | | max | 0.386-0.391=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.893-1933.900=-0.007 | | σ | 0.011-0.021=-0.011 | | min | 1933.881-1933.879=0.002 | | max | 1933.902-1933.933=-0.031 |
| | mean | 2871.000-2868.000=3.000 | | σ | 0.000 | | min | 2871.000-2868.000=3.000 | | max | 2871.000-2868.000=3.000 |
| | mean | 2.955-2.878=0.077 | | σ | 0.057-0.253=-0.196 | | min | 2.875-2.445=0.430 | | max | 3.020-3.097=-0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.644-4754.653=-0.008 | | σ | 0.805-0.832=-0.027 | | min | 4754.158-4754.165=-0.007 | | max | 4756.069-4756.135=-0.066 |
| | mean | 2871.000-2868.000=3.000 | | σ | 0.000 | | min | 2871.000-2868.000=3.000 | | max | 2871.000-2868.000=3.000 |
| | mean | 8.687-8.551=0.136 | | σ | 0.424-0.269=0.155 | | min | 8.153-8.292=-0.140 | | max | 9.015-8.997=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.121-4945.122=-0.001 | | σ | 0.013-0.015=-0.002 | | min | 4945.109-4945.108=0.002 | | max | 4945.138-4945.144=-0.006 |
| | mean | 3067.200-3023.800=43.400 | | σ | 193.133-178.203=14.930 | | min | 2871.000-2868.000=3.000 | | max | 3316.000-3303.000=13.000 |
| | mean | 8.646-8.482=0.164 | | σ | 0.054-0.141=-0.087 | | min | 8.584-8.359=0.225 | | max | 8.715-8.711=0.004 |
|