iters=5 new-facts=1 prior-facts=1 | | mean | 326.504-326.500=0.003 | | σ | 0.068-0.059=0.009 | | min | 326.383-326.395=-0.011 | | max | 326.550-326.534=0.016 |
| | mean | 2616.000-2589.000=27.000 | | σ | 0.000 | | min | 2616.000-2589.000=27.000 | | max | 2616.000-2589.000=27.000 |
| | mean | 0.441-0.428=0.013 | | σ | 0.017-0.007=0.010 | | min | 0.423-0.423=0.001 | | max | 0.459-0.441=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.680-1988.679=0.001 | | σ | 0.007-0.006=0.001 | | min | 1988.671-1988.672=-0.002 | | max | 1988.688-1988.688=-0.000 |
| | mean | 2616.000-2589.000=27.000 | | σ | 0.000 | | min | 2616.000-2589.000=27.000 | | max | 2616.000-2589.000=27.000 |
| | mean | 2.686-2.723=-0.037 | | σ | 0.082-0.171=-0.089 | | min | 2.587-2.609=-0.021 | | max | 2.815-3.024=-0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.572-4813.402=0.170 | | σ | 7.740-7.807=-0.067 | | min | 4810.002-4809.547=0.456 | | max | 4827.417-4827.363=0.054 |
| | mean | 2616.000-2589.000=27.000 | | σ | 0.000 | | min | 2616.000-2589.000=27.000 | | max | 2616.000-2589.000=27.000 |
| | mean | 8.822-8.527=0.295 | | σ | 0.745-0.582=0.164 | | min | 7.793-7.635=0.158 | | max | 9.650-9.268=0.382 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.005-5001.068=-0.063 | | σ | 0.178-0.019=0.159 | | min | 5000.692-5001.044=-0.352 | | max | 5001.123-5001.090=0.033 |
| | mean | 2995.200-2969.400=25.800 | | σ | 259.723-402.295=-142.572 | | min | 2616.000-2589.000=27.000 | | max | 3309.000-3529.000=-220.000 |
| | mean | 9.662-9.713=-0.051 | | σ | 0.690-0.257=0.433 | | min | 8.452-9.328=-0.877 | | max | 10.099-10.049=0.050 |
|