iters=5 new-facts=1 prior-facts=1 | | mean | 303.505-303.519=-0.014 | | σ | 0.072-0.053=0.020 | | min | 303.388-303.442=-0.054 | | max | 303.568-303.567=0.000 |
| | mean | 1617.000-1619.000=-2.000 | | σ | 0.000 | | min | 1617.000-1619.000=-2.000 | | max | 1617.000-1619.000=-2.000 |
| | mean | 0.391-0.391=0.000 | | σ | 0.001-0.002=-0.000 | | min | 0.390-0.389=0.001 | | max | 0.393-0.393=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.062-1326.066=-0.004 | | σ | 0.109-0.111=-0.003 | | min | 1325.931-1325.926=0.005 | | max | 1326.200-1326.206=-0.005 |
| | mean | 1617.000-1619.000=-2.000 | | σ | 0.000 | | min | 1617.000-1619.000=-2.000 | | max | 1617.000-1619.000=-2.000 |
| | mean | 1.901-1.909=-0.008 | | σ | 0.056-0.102=-0.046 | | min | 1.849-1.816=0.032 | | max | 1.965-2.070=-0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.122-1564.109=0.013 | | σ | 6.930-6.917=0.013 | | min | 1560.824-1560.759=0.066 | | max | 1576.513-1576.476=0.037 |
| | mean | 1617.000-1619.000=-2.000 | | σ | 0.000 | | min | 1617.000-1619.000=-2.000 | | max | 1617.000-1619.000=-2.000 |
| | mean | 2.332-2.344=-0.012 | | σ | 0.294-0.280=0.014 | | min | 2.071-2.115=-0.043 | | max | 2.748-2.689=0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.003-1894.001=0.002 | | σ | 0.062-0.062=-0.001 | | min | 1893.894-1893.892=0.001 | | max | 1894.043-1894.046=-0.003 |
| | mean | 1763.200-1768.800=-5.600 | | σ | 173.701-177.856=-4.154 | | min | 1617.000-1619.000=-2.000 | | max | 2032.000-2044.000=-12.000 |
| | mean | 2.932-2.939=-0.007 | | σ | 0.169-0.092=0.078 | | min | 2.717-2.856=-0.139 | | max | 3.160-3.056=0.103 |
|