iters=5 new-facts=1 prior-facts=1 | | mean | 303.794-303.781=0.013 | | σ | 0.045-0.061=-0.016 | | min | 303.723-303.687=0.037 | | max | 303.842-303.837=0.005 |
| | mean | 1628.000-1518.000=110.000 | | σ | 0.000 | | min | 1628.000-1518.000=110.000 | | max | 1628.000-1518.000=110.000 |
| | mean | 0.394-0.392=0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.393-0.392=0.002 | | max | 0.395-0.394=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.331-1326.331=-0.000 | | σ | 0.104-0.106=-0.001 | | min | 1326.196-1326.199=-0.004 | | max | 1326.460-1326.474=-0.014 |
| | mean | 1628.000-1518.000=110.000 | | σ | 0.000 | | min | 1628.000-1518.000=110.000 | | max | 1628.000-1518.000=110.000 |
| | mean | 1.969-1.928=0.041 | | σ | 0.125-0.071=0.054 | | min | 1.833-1.847=-0.014 | | max | 2.093-2.000=0.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.439-1564.385=0.054 | | σ | 6.865-6.915=-0.050 | | min | 1561.166-1561.023=0.144 | | max | 1576.715-1576.747=-0.033 |
| | mean | 1628.000-1518.000=110.000 | | σ | 0.000 | | min | 1628.000-1518.000=110.000 | | max | 1628.000-1518.000=110.000 |
| | mean | 2.405-2.337=0.069 | | σ | 0.207-0.282=-0.075 | | min | 2.040-2.111=-0.071 | | max | 2.531-2.667=-0.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289-1894.291=-0.002 | | σ | 0.074-0.089=-0.014 | | min | 1894.160-1894.139=0.021 | | max | 1894.335-1894.375=-0.040 |
| | mean | 1772.400-1740.000=32.400 | | σ | 176.384-201.578=-25.194 | | min | 1628.000-1518.000=110.000 | | max | 2049.000-2014.000=35.000 |
| | mean | 2.904-3.061=-0.157 | | σ | 0.119-0.245=-0.126 | | min | 2.729-2.810=-0.081 | | max | 3.030-3.332=-0.302 |
|