iters=5 new-facts=1 prior-facts=1 | | mean | 326.575 | | σ | 0.048 | | min | 326.491 | | max | 326.611 |
| | mean | 2802.000 | | σ | 0.000 | | min | 2802.000 | | max | 2802.000 |
| | mean | 0.427 | | σ | 0.004 | | min | 0.424 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.735 | | σ | 0.013 | | min | 1988.720 | | max | 1988.753 |
| | mean | 2802.000 | | σ | 0.000 | | min | 2802.000 | | max | 2802.000 |
| | mean | 2.761 | | σ | 0.111 | | min | 2.651 | | max | 2.907 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.617 | | σ | 7.700 | | min | 4810.037 | | max | 4827.391 |
| | mean | 2802.000 | | σ | 0.000 | | min | 2802.000 | | max | 2802.000 |
| | mean | 8.322 | | σ | 0.546 | | min | 7.770 | | max | 9.197 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.141 | | σ | 0.025 | | min | 5001.106 | | max | 5001.173 |
| | mean | 3003.600 | | σ | 263.925 | | min | 2802.000 | | max | 3408.000 |
| | mean | 9.702 | | σ | 0.300 | | min | 9.306 | | max | 10.004 |
|