iters=5 new-facts=1 prior-facts=1 | | mean | 271.948 | | σ | 0.008 | | min | 271.942 | | max | 271.962 |
| | mean | 2698.000 | | σ | 0.000 | | min | 2698.000 | | max | 2698.000 |
| | mean | 0.379 | | σ | 0.002 | | min | 0.377 | | max | 0.382 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.328 | | σ | 0.022 | | min | 1932.301 | | max | 1932.361 |
| | mean | 2698.000 | | σ | 0.000 | | min | 2698.000 | | max | 2698.000 |
| | mean | 2.932 | | σ | 0.312 | | min | 2.382 | | max | 3.123 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.074 | | σ | 0.913 | | min | 4752.578 | | max | 4754.699 |
| | mean | 2698.000 | | σ | 0.000 | | min | 2698.000 | | max | 2698.000 |
| | mean | 8.621 | | σ | 0.418 | | min | 8.055 | | max | 8.997 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.558 | | σ | 0.014 | | min | 4943.541 | | max | 4943.573 |
| | mean | 2944.200 | | σ | 246.016 | | min | 2698.000 | | max | 3320.000 |
| | mean | 8.529 | | σ | 0.212 | | min | 8.365 | | max | 8.868 |
|