iters=5 new-facts=1 prior-facts=1 | | mean | 285.673-285.676=-0.003 | | σ | 0.013-0.012=0.001 | | min | 285.652-285.655=-0.003 | | max | 285.684-285.684=0.000 |
| | mean | 1643.000-1632.000=11.000 | | σ | 0.000 | | min | 1643.000-1632.000=11.000 | | max | 1643.000-1632.000=11.000 |
| | mean | 0.376-0.373=0.003 | | σ | 0.007-0.006=0.000 | | min | 0.373-0.361=0.011 | | max | 0.388-0.376=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.634-1285.622=0.012 | | σ | 0.125-0.093=0.031 | | min | 1285.573-1285.573=0.001 | | max | 1285.857-1285.788=0.069 |
| | mean | 1643.000-1632.000=11.000 | | σ | 0.000 | | min | 1643.000-1632.000=11.000 | | max | 1643.000-1632.000=11.000 |
| | mean | 1.884-1.905=-0.021 | | σ | 0.072-0.125=-0.052 | | min | 1.816-1.768=0.048 | | max | 2.006-2.100=-0.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1808.007-1807.990=0.018 | | σ | 7.003-7.021=-0.018 | | min | 1804.593-1804.585=0.007 | | max | 1820.518-1820.533=-0.015 |
| | mean | 1643.000-1632.000=11.000 | | σ | 0.000 | | min | 1643.000-1632.000=11.000 | | max | 1643.000-1632.000=11.000 |
| | mean | 4.316-4.253=0.062 | | σ | 0.315-0.266=0.049 | | min | 3.961-3.896=0.065 | | max | 4.649-4.581=0.067 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.463-2070.461=0.002 | | σ | 0.010-0.011=-0.001 | | min | 2070.452-2070.450=0.001 | | max | 2070.479-2070.480=-0.001 |
| | mean | 1846.600-1842.600=4.000 | | σ | 189.685-184.028=5.657 | | min | 1643.000-1632.000=11.000 | | max | 2088.000-2080.000=8.000 |
| | mean | 4.453-4.494=-0.041 | | σ | 0.018-0.053=-0.035 | | min | 4.430-4.434=-0.004 | | max | 4.471-4.563=-0.092 |
|