iters=5 new-facts=1 prior-facts=1 | | mean | 326.439-272.795=53.645 | | σ | 0.059-0.006=0.053 | | min | 326.334-272.786=53.548 | | max | 326.474-272.800=53.673 |
| | mean | 2612.000-2772.000=-160.000 | | σ | 0.000 | | min | 2612.000-2772.000=-160.000 | | max | 2612.000-2772.000=-160.000 |
| | mean | 0.425-0.381=0.044 | | σ | 0.000-0.008=-0.007 | | min | 0.424-0.376=0.048 | | max | 0.425-0.395=0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.610-1933.227=55.383 | | σ | 0.010-0.007=0.003 | | min | 1988.592-1933.217=55.375 | | max | 1988.618-1933.234=55.384 |
| | mean | 2612.000-2772.000=-160.000 | | σ | 0.000 | | min | 2612.000-2772.000=-160.000 | | max | 2612.000-2772.000=-160.000 |
| | mean | 2.688-3.032=-0.344 | | σ | 0.065-0.137=-0.072 | | min | 2.624-2.811=-0.187 | | max | 2.775-3.155=-0.380 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.140-4757.005=56.135 | | σ | 7.575-7.536=0.039 | | min | 4809.395-4753.526=55.869 | | max | 4826.675-4770.486=56.190 |
| | mean | 2612.000-2772.000=-160.000 | | σ | 0.000 | | min | 2612.000-2772.000=-160.000 | | max | 2612.000-2772.000=-160.000 |
| | mean | 8.883-8.274=0.609 | | σ | 0.446-0.535=-0.089 | | min | 8.406-7.633=0.773 | | max | 9.578-8.864=0.714 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.018-4944.381=56.637 | | σ | 0.040-0.147=-0.108 | | min | 5000.977-4944.120=56.857 | | max | 5001.075-4944.470=56.605 |
| | mean | 2998.000-2992.000=6.000 | | σ | 280.275-214.339=65.936 | | min | 2612.000-2772.000=-160.000 | | max | 3312.000-3303.000=9.000 |
| | mean | 9.831-8.615=1.216 | | σ | 0.268-0.367=-0.099 | | min | 9.475-8.385=1.089 | | max | 10.176-9.262=0.914 |
|