iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-271.754=0.004 | | σ | 0.003-0.007=-0.003 | | min | 271.754-271.749=0.005 | | max | 271.762-271.762=0.000 |
| | mean | 2772.000-2810.000=-38.000 | | σ | 0.000 | | min | 2772.000-2810.000=-38.000 | | max | 2772.000-2810.000=-38.000 |
| | mean | 0.382-0.379=0.003 | | σ | 0.006-0.005=0.001 | | min | 0.377-0.375=0.002 | | max | 0.391-0.388=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.172-1932.172=-0.000 | | σ | 0.009-0.012=-0.003 | | min | 1932.159-1932.162=-0.003 | | max | 1932.181-1932.192=-0.011 |
| | mean | 2772.000-2810.000=-38.000 | | σ | 0.000 | | min | 2772.000-2810.000=-38.000 | | max | 2772.000-2810.000=-38.000 |
| | mean | 3.024-3.032=-0.007 | | σ | 0.046-0.053=-0.007 | | min | 2.989-2.996=-0.007 | | max | 3.087-3.124=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.940-4752.781=0.159 | | σ | 0.858-1.020=-0.163 | | min | 4752.494-4751.855=0.638 | | max | 4754.469-4754.535=-0.066 |
| | mean | 2772.000-2810.000=-38.000 | | σ | 0.000 | | min | 2772.000-2810.000=-38.000 | | max | 2772.000-2810.000=-38.000 |
| | mean | 8.408-8.708=-0.300 | | σ | 0.477-0.167=0.310 | | min | 7.566-8.505=-0.940 | | max | 8.717-8.955=-0.238 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.309-4943.305=0.004 | | σ | 0.151-0.152=-0.001 | | min | 4943.040-4943.034=0.006 | | max | 4943.397-4943.391=0.005 |
| | mean | 2999.600-2989.600=10.000 | | σ | 213.098-204.159=8.939 | | min | 2772.000-2810.000=-38.000 | | max | 3311.000-3308.000=3.000 |
| | mean | 8.441-8.565=-0.124 | | σ | 0.066-0.110=-0.044 | | min | 8.367-8.423=-0.056 | | max | 8.519-8.697=-0.179 |
|