iters=5 new-facts=1 prior-facts=1 | | mean | 294.412-297.316=-2.904 | | σ | 0.012-0.003=0.008 | | min | 294.396-297.312=-2.916 | | max | 294.426-297.319=-2.893 |
| | mean | 1651.000-1632.000=19.000 | | σ | 0.000 | | min | 1651.000-1632.000=19.000 | | max | 1651.000-1632.000=19.000 |
| | mean | 0.382-0.388=-0.007 | | σ | 0.002-0.000=0.001 | | min | 0.379-0.388=-0.009 | | max | 0.383-0.389=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.732-1299.020=17.712 | | σ | 0.051-0.069=-0.018 | | min | 1316.646-1298.902=17.744 | | max | 1316.770-1299.067=17.702 |
| | mean | 1651.000-1632.000=19.000 | | σ | 0.000 | | min | 1651.000-1632.000=19.000 | | max | 1651.000-1632.000=19.000 |
| | mean | 1.888-1.916=-0.029 | | σ | 0.065-0.118=-0.053 | | min | 1.839-1.833=0.006 | | max | 1.990-2.124=-0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.953-1719.185=17.768 | | σ | 6.921-6.860=0.060 | | min | 1733.744-1715.996=17.747 | | max | 1749.329-1731.454=17.875 |
| | mean | 1651.000-1632.000=19.000 | | σ | 0.000 | | min | 1651.000-1632.000=19.000 | | max | 1651.000-1632.000=19.000 |
| | mean | 2.964-2.943=0.021 | | σ | 0.430-0.252=0.177 | | min | 2.538-2.602=-0.064 | | max | 3.685-3.214=0.471 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.622-1981.915=17.707 | | σ | 0.033-0.029=0.004 | | min | 1999.585-1981.869=17.716 | | max | 1999.667-1981.941=17.726 |
| | mean | 1806.000-1803.000=3.000 | | σ | 184.352-200.858=-16.507 | | min | 1651.000-1632.000=19.000 | | max | 2080.000-2101.000=-21.000 |
| | mean | 3.305-3.405=-0.100 | | σ | 0.144-0.392=-0.248 | | min | 3.152-3.091=0.061 | | max | 3.533-4.077=-0.544 |
|