iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-271.753=0.005 | | σ | 0.006-0.005=0.001 | | min | 271.751-271.745=0.006 | | max | 271.767-271.758=0.010 |
| | mean | 2898.000-2801.000=97.000 | | σ | 0.000 | | min | 2898.000-2801.000=97.000 | | max | 2898.000-2801.000=97.000 |
| | mean | 0.380-0.381=-0.001 | | σ | 0.004-0.007=-0.003 | | min | 0.378-0.370=0.008 | | max | 0.387-0.389=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.180-1932.177=0.003 | | σ | 0.012-0.006=0.006 | | min | 1932.163-1932.167=-0.004 | | max | 1932.197-1932.183=0.014 |
| | mean | 2898.000-2801.000=97.000 | | σ | 0.000 | | min | 2898.000-2801.000=97.000 | | max | 2898.000-2801.000=97.000 |
| | mean | 3.068-3.007=0.061 | | σ | 0.132-0.172=-0.040 | | min | 2.919-2.765=0.155 | | max | 3.215-3.249=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.839-4752.779=0.061 | | σ | 0.960-0.615=0.344 | | min | 4751.809-4752.455=-0.646 | | max | 4754.418-4753.878=0.541 |
| | mean | 2898.000-2801.000=97.000 | | σ | 0.000 | | min | 2898.000-2801.000=97.000 | | max | 2898.000-2801.000=97.000 |
| | mean | 8.286-8.617=-0.331 | | σ | 0.624-0.190=0.434 | | min | 7.676-8.428=-0.752 | | max | 9.176-8.902=0.274 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.385-4943.376=0.009 | | σ | 0.017-0.026=-0.009 | | min | 4943.364-4943.343=0.021 | | max | 4943.404-4943.407=-0.004 |
| | mean | 3063.200-3044.200=19.000 | | σ | 246.640-250.771=-4.131 | | min | 2898.000-2801.000=97.000 | | max | 3450.000-3402.000=48.000 |
| | mean | 8.528-8.831=-0.303 | | σ | 0.143-0.311=-0.168 | | min | 8.396-8.366=0.030 | | max | 8.745-9.162=-0.417 |
|