iters=5 new-facts=1 prior-facts=1 | | mean | 285.440-285.440=0.000 | | σ | 0.010-0.014=-0.004 | | min | 285.425-285.416=0.009 | | max | 285.448-285.451=-0.002 |
| | mean | 1639.000-1481.000=158.000 | | σ | 0.000 | | min | 1639.000-1481.000=158.000 | | max | 1639.000-1481.000=158.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.009-0.009=0.000 | | min | 0.375-0.375=0.001 | | max | 0.396-0.393=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.498-1285.498=-0.000 | | σ | 0.081-0.084=-0.003 | | min | 1285.357-1285.354=0.003 | | max | 1285.552-1285.560=-0.009 |
| | mean | 1639.000-1481.000=158.000 | | σ | 0.000 | | min | 1639.000-1481.000=158.000 | | max | 1639.000-1481.000=158.000 |
| | mean | 1.953-1.919=0.033 | | σ | 0.140-0.051=0.089 | | min | 1.827-1.843=-0.016 | | max | 2.151-1.980=0.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.833-1705.836=-0.004 | | σ | 6.868-6.869=-0.002 | | min | 1702.618-1702.652=-0.035 | | max | 1718.112-1718.122=-0.010 |
| | mean | 1639.000-1481.000=158.000 | | σ | 0.000 | | min | 1639.000-1481.000=158.000 | | max | 1639.000-1481.000=158.000 |
| | mean | 3.051-3.023=0.028 | | σ | 0.326-0.219=0.107 | | min | 2.671-2.854=-0.183 | | max | 3.383-3.360=0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.452-1968.413=0.039 | | σ | 0.020-0.026=-0.005 | | min | 1968.432-1968.385=0.046 | | max | 1968.481-1968.444=0.037 |
| | mean | 1900.200-1790.000=110.200 | | σ | 221.114-188.845=32.268 | | min | 1639.000-1541.000=98.000 | | max | 2176.000-2024.000=152.000 |
| | mean | 3.264-3.198=0.066 | | σ | 0.127-0.215=-0.088 | | min | 3.153-3.069=0.084 | | max | 3.427-3.581=-0.154 |
|