iters=5 new-facts=1 prior-facts=1 | | mean | 326.571-326.575=-0.004 | | σ | 0.048-0.054=-0.006 | | min | 326.486-326.479=0.007 | | max | 326.608-326.614=-0.006 |
| | mean | 2837.000-2831.000=6.000 | | σ | 0.000 | | min | 2837.000-2831.000=6.000 | | max | 2837.000-2831.000=6.000 |
| | mean | 0.417-0.426=-0.009 | | σ | 0.018-0.006=0.012 | | min | 0.385-0.422=-0.036 | | max | 0.427-0.435=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.738-1988.741=-0.003 | | σ | 0.011-0.009=0.002 | | min | 1988.723-1988.726=-0.003 | | max | 1988.748-1988.749=-0.000 |
| | mean | 2837.000-2831.000=6.000 | | σ | 0.000 | | min | 2837.000-2831.000=6.000 | | max | 2837.000-2831.000=6.000 |
| | mean | 2.688-2.699=-0.011 | | σ | 0.233-0.078=0.156 | | min | 2.445-2.598=-0.153 | | max | 3.071-2.781=0.290 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.602-4813.600=0.003 | | σ | 7.747-7.752=-0.006 | | min | 4810.039-4810.074=-0.035 | | max | 4827.460-4827.467=-0.008 |
| | mean | 2837.000-2831.000=6.000 | | σ | 0.000 | | min | 2837.000-2831.000=6.000 | | max | 2837.000-2831.000=6.000 |
| | mean | 8.481-9.013=-0.532 | | σ | 0.590-0.334=0.256 | | min | 7.831-8.660=-0.829 | | max | 9.313-9.354=-0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.138-5001.078=0.060 | | σ | 0.019-0.175=-0.156 | | min | 5001.120-5000.770=0.350 | | max | 5001.167-5001.202=-0.034 |
| | mean | 3065.800-3028.200=37.600 | | σ | 309.824-204.760=105.064 | | min | 2837.000-2831.000=6.000 | | max | 3547.000-3319.000=228.000 |
| | mean | 9.541-9.975=-0.434 | | σ | 0.616-0.232=0.384 | | min | 8.503-9.726=-1.222 | | max | 10.087-10.333=-0.245 |
|