iters=5 new-facts=1 prior-facts=1 | | mean | 303.513-301.465=2.048 | | σ | 0.053-0.070=-0.017 | | min | 303.433-301.354=2.079 | | max | 303.570-301.531=2.039 |
| | mean | 1630.000-1627.000=3.000 | | σ | 0.000 | | min | 1630.000-1627.000=3.000 | | max | 1630.000-1627.000=3.000 |
| | mean | 0.391-0.390=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.391-0.389=0.002 | | max | 0.392-0.391=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.046-1324.059=1.987 | | σ | 0.087-0.108=-0.021 | | min | 1325.927-1323.930=1.997 | | max | 1326.146-1324.197=1.949 |
| | mean | 1630.000-1627.000=3.000 | | σ | 0.000 | | min | 1630.000-1627.000=3.000 | | max | 1630.000-1627.000=3.000 |
| | mean | 1.885-1.919=-0.033 | | σ | 0.071-0.103=-0.032 | | min | 1.810-1.826=-0.016 | | max | 1.994-2.052=-0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.123-1562.094=2.029 | | σ | 6.930-6.875=0.055 | | min | 1560.836-1558.798=2.038 | | max | 1576.515-1574.387=2.128 |
| | mean | 1630.000-1627.000=3.000 | | σ | 0.000 | | min | 1630.000-1627.000=3.000 | | max | 1630.000-1627.000=3.000 |
| | mean | 2.374-2.324=0.050 | | σ | 0.372-0.165=0.208 | | min | 2.038-2.074=-0.035 | | max | 2.849-2.499=0.350 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.003-1891.969=2.034 | | σ | 0.067-0.069=-0.002 | | min | 1893.886-1891.848=2.038 | | max | 1894.045-1892.008=2.037 |
| | mean | 1763.000-1779.600=-16.600 | | σ | 164.718-184.500=-19.782 | | min | 1630.000-1627.000=3.000 | | max | 2018.000-2068.000=-50.000 |
| | mean | 2.920-2.965=-0.045 | | σ | 0.132-0.136=-0.004 | | min | 2.849-2.862=-0.013 | | max | 3.155-3.175=-0.019 |
|