iters=5 new-facts=1 prior-facts=1 | | mean | 297.316-297.320=-0.004 | | σ | 0.002-0.006=-0.004 | | min | 297.314-297.311=0.003 | | max | 297.320-297.326=-0.007 |
| | mean | 1516.000-1628.000=-112.000 | | σ | 0.000 | | min | 1516.000-1628.000=-112.000 | | max | 1516.000-1628.000=-112.000 |
| | mean | 0.387-0.388=-0.001 | | σ | 0.003-0.002=0.001 | | min | 0.384-0.385=-0.001 | | max | 0.392-0.390=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.011-1299.010=0.001 | | σ | 0.095-0.093=0.003 | | min | 1298.842-1298.844=-0.003 | | max | 1299.070-1299.063=0.007 |
| | mean | 1516.000-1628.000=-112.000 | | σ | 0.000 | | min | 1516.000-1628.000=-112.000 | | max | 1516.000-1628.000=-112.000 |
| | mean | 2.069-2.070=-0.000 | | σ | 0.247-0.240=0.007 | | min | 1.848-1.873=-0.025 | | max | 2.449-2.463=-0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.180-1719.188=-0.008 | | σ | 6.928-6.892=0.036 | | min | 1715.956-1716.007=-0.051 | | max | 1731.569-1731.514=0.055 |
| | mean | 1516.000-1628.000=-112.000 | | σ | 0.000 | | min | 1516.000-1628.000=-112.000 | | max | 1516.000-1628.000=-112.000 |
| | mean | 3.128-3.134=-0.005 | | σ | 0.353-0.259=0.094 | | min | 2.797-2.764=0.033 | | max | 3.712-3.375=0.337 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.950-1981.918=0.032 | | σ | 0.021-0.034=-0.013 | | min | 1981.921-1981.859=0.063 | | max | 1981.977-1981.946=0.031 |
| | mean | 1790.800-1815.200=-24.400 | | σ | 226.529-206.245=20.283 | | min | 1537.000-1628.000=-91.000 | | max | 2109.000-2120.000=-11.000 |
| | mean | 3.279-3.283=-0.004 | | σ | 0.151-0.407=-0.256 | | min | 3.125-2.914=0.211 | | max | 3.528-3.980=-0.452 |
|