iters=5 new-facts=1 prior-facts=1 | | mean | 275.921-275.915=0.006 | | σ | 0.019-0.010=0.010 | | min | 275.891-275.904=-0.013 | | max | 275.940-275.926=0.014 |
| | mean | 4025.000-4029.000=-4.000 | | σ | 0.000 | | min | 4025.000-4029.000=-4.000 | | max | 4025.000-4029.000=-4.000 |
| | mean | 0.399-0.398=0.001 | | σ | 0.005-0.005=-0.001 | | min | 0.395-0.394=0.002 | | max | 0.407-0.407=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.530-2168.526=0.004 | | σ | 0.010-0.016=-0.006 | | min | 2168.519-2168.502=0.017 | | max | 2168.543-2168.541=0.002 |
| | mean | 4025.000-4029.000=-4.000 | | σ | 0.000 | | min | 4025.000-4029.000=-4.000 | | max | 4025.000-4029.000=-4.000 |
| | mean | 2.946-3.145=-0.200 | | σ | 0.106-0.237=-0.131 | | min | 2.803-2.950=-0.147 | | max | 3.067-3.534=-0.468 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.245-5048.158=0.087 | | σ | 0.997-1.070=-0.073 | | min | 5047.273-5046.937=0.336 | | max | 5049.934-5049.880=0.054 |
| | mean | 4025.000-4029.000=-4.000 | | σ | 0.000 | | min | 4025.000-4029.000=-4.000 | | max | 4025.000-4029.000=-4.000 |
| | mean | 8.705-8.705=0.000 | | σ | 0.137-0.368=-0.231 | | min | 8.537-8.215=0.321 | | max | 8.858-9.111=-0.253 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.397-5179.467=-0.071 | | σ | 0.189-0.086=0.104 | | min | 5179.087-5179.384=-0.297 | | max | 5179.554-5179.566=-0.012 |
| | mean | 4025.000-4029.000=-4.000 | | σ | 0.000 | | min | 4025.000-4029.000=-4.000 | | max | 4025.000-4029.000=-4.000 |
| | mean | 8.812-8.918=-0.106 | | σ | 0.125-0.285=-0.160 | | min | 8.680-8.632=0.048 | | max | 8.946-9.326=-0.380 |
|