iters=5 new-facts=1 prior-facts=1 | | mean | 275.570-275.566=0.004 | | σ | 0.004-0.007=-0.003 | | min | 275.566-275.559=0.008 | | max | 275.575-275.575=-0.000 |
| | mean | 2775.000-2471.000=304.000 | | σ | 0.000 | | min | 2775.000-2471.000=304.000 | | max | 2775.000-2471.000=304.000 |
| | mean | 0.392-0.395=-0.004 | | σ | 0.008-0.009=-0.001 | | min | 0.382-0.388=-0.007 | | max | 0.399-0.406=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.089-2168.104=-0.015 | | σ | 0.020-0.003=0.017 | | min | 2168.070-2168.099=-0.028 | | max | 2168.114-2168.107=0.007 |
| | mean | 2775.000-2471.000=304.000 | | σ | 0.000 | | min | 2775.000-2471.000=304.000 | | max | 2775.000-2471.000=304.000 |
| | mean | 2.980-2.959=0.021 | | σ | 0.139-0.151=-0.012 | | min | 2.752-2.769=-0.018 | | max | 3.093-3.153=-0.060 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.892-5047.926=-0.033 | | σ | 0.882-0.884=-0.002 | | min | 5047.340-5047.390=-0.050 | | max | 5049.449-5049.500=-0.051 |
| | mean | 2775.000-2471.000=304.000 | | σ | 0.000 | | min | 2775.000-2471.000=304.000 | | max | 2775.000-2471.000=304.000 |
| | mean | 8.843-8.781=0.062 | | σ | 0.479-0.573=-0.094 | | min | 8.083-8.069=0.014 | | max | 9.295-9.389=-0.094 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.055-5179.037=0.018 | | σ | 0.089-0.079=0.010 | | min | 5178.968-5178.968=0.000 | | max | 5179.150-5179.124=0.026 |
| | mean | 3326.400-3219.400=107.000 | | σ | 393.420-389.498=3.922 | | min | 2775.000-2684.000=91.000 | | max | 3684.000-3707.000=-23.000 |
| | mean | 10.120-9.788=0.332 | | σ | 0.331-0.198=0.133 | | min | 9.665-9.584=0.081 | | max | 10.566-10.061=0.505 |
|