iters=5 new-facts=1 prior-facts=1 | | mean | 273.611-273.606=0.005 | | σ | 0.007-0.009=-0.001 | | min | 273.599-273.592=0.007 | | max | 273.617-273.614=0.003 |
| | mean | 2870.000-2805.000=65.000 | | σ | 0.000 | | min | 2870.000-2805.000=65.000 | | max | 2870.000-2805.000=65.000 |
| | mean | 0.388-0.386=0.002 | | σ | 0.006-0.008=-0.001 | | min | 0.382-0.380=0.002 | | max | 0.398-0.399=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.003-1933.999=0.004 | | σ | 0.010-0.006=0.004 | | min | 1933.986-1933.989=-0.003 | | max | 1934.009-1934.004=0.006 |
| | mean | 2870.000-2805.000=65.000 | | σ | 0.000 | | min | 2870.000-2805.000=65.000 | | max | 2870.000-2805.000=65.000 |
| | mean | 2.915-3.103=-0.189 | | σ | 0.159-0.157=0.002 | | min | 2.644-2.985=-0.341 | | max | 3.063-3.352=-0.289 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.802-4754.774=0.028 | | σ | 0.865-0.836=0.028 | | min | 4754.221-4754.283=-0.062 | | max | 4756.323-4756.264=0.060 |
| | mean | 2870.000-2805.000=65.000 | | σ | 0.000 | | min | 2870.000-2805.000=65.000 | | max | 2870.000-2805.000=65.000 |
| | mean | 8.461-8.391=0.070 | | σ | 0.668-0.455=0.212 | | min | 7.733-7.623=0.110 | | max | 9.395-8.846=0.550 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4765.059-4945.218=-180.159 | | σ | 402.666-0.024=402.642 | | min | 4044.748-4945.192=-900.444 | | max | 4945.247-4945.253=-0.005 |
| | mean | 3000.200-3033.200=-33.000 | | σ | 202.734-230.749=-28.015 | | min | 2870.000-2805.000=65.000 | | max | 3332.000-3351.000=-19.000 |
| | mean | 8.322-8.532=-0.210 | | σ | 0.582-0.159=0.423 | | min | 7.325-8.358=-1.033 | | max | 8.855-8.791=0.064 |
|