iters=5 new-facts=1 prior-facts=1 | | mean | 303.795-303.782=0.013 | | σ | 0.042-0.056=-0.014 | | min | 303.731-303.694=0.037 | | max | 303.843-303.836=0.007 |
| | mean | 1512.000-1518.000=-6.000 | | σ | 0.000 | | min | 1512.000-1518.000=-6.000 | | max | 1512.000-1518.000=-6.000 |
| | mean | 0.389-0.390=-0.002 | | σ | 0.001-0.001=0.000 | | min | 0.387-0.389=-0.002 | | max | 0.390-0.391=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.334-1326.327=0.007 | | σ | 0.104-0.110=-0.006 | | min | 1326.198-1326.185=0.013 | | max | 1326.458-1326.457=0.001 |
| | mean | 1512.000-1518.000=-6.000 | | σ | 0.000 | | min | 1512.000-1518.000=-6.000 | | max | 1512.000-1518.000=-6.000 |
| | mean | 1.947-1.928=0.019 | | σ | 0.116-0.114=0.002 | | min | 1.811-1.801=0.010 | | max | 2.054-2.053=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.423-1564.431=-0.008 | | σ | 6.864-6.852=0.012 | | min | 1561.172-1561.160=0.012 | | max | 1576.698-1576.684=0.014 |
| | mean | 1512.000-1518.000=-6.000 | | σ | 0.000 | | min | 1512.000-1518.000=-6.000 | | max | 1512.000-1518.000=-6.000 |
| | mean | 2.363-2.382=-0.018 | | σ | 0.222-0.192=0.030 | | min | 2.077-2.073=0.004 | | max | 2.648-2.591=0.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.290-1894.287=0.003 | | σ | 0.070-0.070=-0.000 | | min | 1894.168-1894.165=0.004 | | max | 1894.337-1894.333=0.004 |
| | mean | 1772.600-1757.000=15.600 | | σ | 225.641-210.055=15.586 | | min | 1512.000-1518.000=-6.000 | | max | 2066.000-2029.000=37.000 |
| | mean | 2.985-3.136=-0.151 | | σ | 0.194-0.261=-0.068 | | min | 2.741-2.875=-0.134 | | max | 3.200-3.568=-0.368 |
|