iters=5 new-facts=1 prior-facts=1 | | mean | 303.775-303.780=-0.005 | | σ | 0.076-0.069=0.007 | | min | 303.650-303.669=-0.019 | | max | 303.848-303.841=0.008 |
| | mean | 1640.000-1639.000=1.000 | | σ | 0.000 | | min | 1640.000-1639.000=1.000 | | max | 1640.000-1639.000=1.000 |
| | mean | 0.395-0.399=-0.004 | | σ | 0.003-0.010=-0.008 | | min | 0.392-0.390=0.002 | | max | 0.399-0.414=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.323-1326.344=-0.020 | | σ | 0.097-0.121=-0.024 | | min | 1326.197-1326.196=0.001 | | max | 1326.446-1326.474=-0.028 |
| | mean | 1640.000-1639.000=1.000 | | σ | 0.000 | | min | 1640.000-1639.000=1.000 | | max | 1640.000-1639.000=1.000 |
| | mean | 1.898-1.924=-0.026 | | σ | 0.066-0.111=-0.045 | | min | 1.837-1.801=0.036 | | max | 1.987-2.026=-0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.412-1564.394=0.018 | | σ | 6.918-6.901=0.017 | | min | 1561.117-1561.095=0.023 | | max | 1576.783-1576.734=0.049 |
| | mean | 1640.000-1639.000=1.000 | | σ | 0.000 | | min | 1640.000-1639.000=1.000 | | max | 1640.000-1639.000=1.000 |
| | mean | 2.399-2.283=0.115 | | σ | 0.348-0.171=0.177 | | min | 2.045-2.037=0.007 | | max | 2.794-2.494=0.300 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.275-1894.286=-0.012 | | σ | 0.065-0.075=-0.010 | | min | 1894.162-1894.156=0.005 | | max | 1894.324-1894.336=-0.012 |
| | mean | 1782.800-1788.800=-6.000 | | σ | 177.267-168.731=8.536 | | min | 1640.000-1639.000=1.000 | | max | 2063.000-2023.000=40.000 |
| | mean | 2.981-3.030=-0.049 | | σ | 0.131-0.141=-0.010 | | min | 2.879-2.869=0.010 | | max | 3.132-3.206=-0.074 |
|