iters=5 new-facts=1 prior-facts=1 | | mean | 274.366 | | σ | 0.010 | | min | 274.355 | | max | 274.379 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 0.382 | | σ | 0.001 | | min | 0.382 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.752 | | σ | 0.015 | | min | 1934.726 | | max | 1934.765 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 2.977 | | σ | 0.147 | | min | 2.735 | | max | 3.097 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.500 | | σ | 0.901 | | min | 4755.011 | | max | 4757.108 |
| | mean | 2852.000 | | σ | 0.000 | | min | 2852.000 | | max | 2852.000 |
| | mean | 8.701 | | σ | 0.324 | | min | 8.412 | | max | 9.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.979 | | σ | 0.020 | | min | 4945.955 | | max | 4946.005 |
| | mean | 3042.400 | | σ | 252.109 | | min | 2852.000 | | max | 3434.000 |
| | mean | 8.412 | | σ | 0.056 | | min | 8.335 | | max | 8.490 |
|