iters=5 new-facts=1 prior-facts=1 | | mean | 271.940-271.599=0.341 | | σ | 0.016-0.004=0.012 | | min | 271.919-271.595=0.325 | | max | 271.956-271.604=0.352 |
| | mean | 2707.000-2691.000=16.000 | | σ | 0.000 | | min | 2707.000-2691.000=16.000 | | max | 2707.000-2691.000=16.000 |
| | mean | 0.383-0.381=0.002 | | σ | 0.008-0.005=0.003 | | min | 0.378-0.378=0.000 | | max | 0.397-0.389=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.324-1932.003=0.321 | | σ | 0.009-0.010=-0.001 | | min | 1932.309-1931.986=0.323 | | max | 1932.332-1932.011=0.321 |
| | mean | 2707.000-2691.000=16.000 | | σ | 0.000 | | min | 2707.000-2691.000=16.000 | | max | 2707.000-2691.000=16.000 |
| | mean | 3.029-2.512=0.517 | | σ | 0.025-0.047=-0.022 | | min | 3.002-2.460=0.542 | | max | 3.067-2.576=0.491 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.061-4752.717=0.344 | | σ | 0.926-0.926=-0.000 | | min | 4752.571-4752.236=0.334 | | max | 4754.711-4754.366=0.345 |
| | mean | 2707.000-2691.000=16.000 | | σ | 0.000 | | min | 2707.000-2691.000=16.000 | | max | 2707.000-2691.000=16.000 |
| | mean | 8.634-8.770=-0.137 | | σ | 0.486-0.287=0.199 | | min | 7.889-8.282=-0.393 | | max | 9.056-8.987=0.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.556-4943.150=0.406 | | σ | 0.014-0.141=-0.127 | | min | 4943.539-4942.899=0.641 | | max | 4943.574-4943.222=0.352 |
| | mean | 2976.600-3014.000=-37.400 | | σ | 227.674-274.095=-46.421 | | min | 2707.000-2691.000=16.000 | | max | 3294.000-3380.000=-86.000 |
| | mean | 8.533-8.485=0.048 | | σ | 0.123-0.188=-0.065 | | min | 8.390-8.314=0.076 | | max | 8.708-8.802=-0.094 |
|