iters=5 new-facts=1 prior-facts=1 | | mean | 303.506-303.517=-0.011 | | σ | 0.059-0.044=0.015 | | min | 303.412-303.452=-0.039 | | max | 303.571-303.564=0.007 |
| | mean | 1622.000-1517.000=105.000 | | σ | 0.000 | | min | 1622.000-1517.000=105.000 | | max | 1622.000-1517.000=105.000 |
| | mean | 0.398-0.396=0.002 | | σ | 0.007-0.011=-0.004 | | min | 0.393-0.391=0.002 | | max | 0.410-0.416=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.063-1326.051=0.011 | | σ | 0.110-0.101=0.010 | | min | 1325.924-1325.926=-0.003 | | max | 1326.204-1326.194=0.011 |
| | mean | 1622.000-1517.000=105.000 | | σ | 0.000 | | min | 1622.000-1517.000=105.000 | | max | 1622.000-1517.000=105.000 |
| | mean | 1.911-1.925=-0.013 | | σ | 0.078-0.081=-0.003 | | min | 1.828-1.835=-0.007 | | max | 2.018-2.015=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.100-1564.110=-0.009 | | σ | 6.913-6.944=-0.031 | | min | 1560.788-1560.753=0.035 | | max | 1576.461-1576.526=-0.065 |
| | mean | 1622.000-1517.000=105.000 | | σ | 0.000 | | min | 1622.000-1517.000=105.000 | | max | 1622.000-1517.000=105.000 |
| | mean | 2.236-2.297=-0.061 | | σ | 0.190-0.279=-0.088 | | min | 2.075-2.124=-0.050 | | max | 2.506-2.788=-0.282 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.012-1894.013=-0.000 | | σ | 0.065-0.070=-0.005 | | min | 1893.898-1893.889=0.009 | | max | 1894.054-1894.050=0.004 |
| | mean | 1801.800-1775.400=26.400 | | σ | 203.526-230.648=-27.122 | | min | 1622.000-1517.000=105.000 | | max | 2087.000-2081.000=6.000 |
| | mean | 3.112-3.095=0.017 | | σ | 0.152-0.143=0.009 | | min | 2.911-2.983=-0.072 | | max | 3.273-3.303=-0.030 |
|