iters=5 new-facts=1 prior-facts=1 | | mean | 326.642-326.637=0.005 | | σ | 0.050-0.060=-0.010 | | min | 326.552-326.530=0.022 | | max | 326.672-326.677=-0.005 |
| | mean | 2834.000-2825.000=9.000 | | σ | 0.000 | | min | 2834.000-2825.000=9.000 | | max | 2834.000-2825.000=9.000 |
| | mean | 0.424-0.431=-0.008 | | σ | 0.001-0.007=-0.006 | | min | 0.422-0.424=-0.002 | | max | 0.425-0.440=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.802-1988.802=-0.001 | | σ | 0.010-0.013=-0.003 | | min | 1988.791-1988.788=0.003 | | max | 1988.814-1988.816=-0.002 |
| | mean | 2834.000-2825.000=9.000 | | σ | 0.000 | | min | 2834.000-2825.000=9.000 | | max | 2834.000-2825.000=9.000 |
| | mean | 2.691-2.663=0.028 | | σ | 0.082-0.102=-0.020 | | min | 2.603-2.545=0.058 | | max | 2.784-2.819=-0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.521-4813.690=-0.169 | | σ | 7.807-7.744=0.062 | | min | 4809.608-4810.098=-0.489 | | max | 4827.479-4827.542=-0.063 |
| | mean | 2834.000-2825.000=9.000 | | σ | 0.000 | | min | 2834.000-2825.000=9.000 | | max | 2834.000-2825.000=9.000 |
| | mean | 8.812-8.755=0.057 | | σ | 0.289-0.655=-0.366 | | min | 8.533-7.763=0.770 | | max | 9.176-9.401=-0.225 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.134-5001.207=-0.073 | | σ | 0.152-0.026=0.126 | | min | 5000.864-5001.185=-0.321 | | max | 5001.225-5001.250=-0.024 |
| | mean | 3047.400-3045.200=2.200 | | σ | 208.495-234.751=-26.256 | | min | 2834.000-2825.000=9.000 | | max | 3311.000-3390.000=-79.000 |
| | mean | 9.824-9.821=0.003 | | σ | 0.134-0.154=-0.020 | | min | 9.628-9.687=-0.059 | | max | 9.976-10.079=-0.103 |
|