iters=5 new-facts=1 prior-facts=1 | | mean | 326.637-326.569=0.068 | | σ | 0.060-0.065=-0.005 | | min | 326.530-326.454=0.077 | | max | 326.677-326.614=0.063 |
| | mean | 2825.000-2840.000=-15.000 | | σ | 0.000 | | min | 2825.000-2840.000=-15.000 | | max | 2825.000-2840.000=-15.000 |
| | mean | 0.431-0.429=0.002 | | σ | 0.007-0.011=-0.004 | | min | 0.424-0.421=0.003 | | max | 0.440-0.447=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.802-1988.736=0.067 | | σ | 0.013-0.009=0.005 | | min | 1988.788-1988.726=0.062 | | max | 1988.816-1988.747=0.069 |
| | mean | 2825.000-2840.000=-15.000 | | σ | 0.000 | | min | 2825.000-2840.000=-15.000 | | max | 2825.000-2840.000=-15.000 |
| | mean | 2.663-2.803=-0.140 | | σ | 0.102-0.190=-0.089 | | min | 2.545-2.636=-0.091 | | max | 2.819-3.039=-0.220 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.690-4813.549=0.140 | | σ | 7.744-7.454=0.291 | | min | 4810.098-4810.033=0.065 | | max | 4827.542-4826.878=0.664 |
| | mean | 2825.000-2840.000=-15.000 | | σ | 0.000 | | min | 2825.000-2840.000=-15.000 | | max | 2825.000-2840.000=-15.000 |
| | mean | 8.755-8.431=0.324 | | σ | 0.655-0.881=-0.227 | | min | 7.763-7.746=0.016 | | max | 9.401-9.579=-0.178 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.207-5001.059=0.147 | | σ | 0.026-0.152=-0.126 | | min | 5001.185-5000.788=0.397 | | max | 5001.250-5001.151=0.099 |
| | mean | 3045.200-3066.200=-21.000 | | σ | 234.751-307.189=-72.438 | | min | 2825.000-2840.000=-15.000 | | max | 3390.000-3544.000=-154.000 |
| | mean | 9.821-9.496=0.326 | | σ | 0.154-0.568=-0.413 | | min | 9.687-8.498=1.190 | | max | 10.079-9.856=0.223 |
|