iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.034 | | min | 324.653 | | max | 324.741 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.424 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.261 | | σ | 0.015 | | min | 1985.243 | | max | 1985.279 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.595 | | σ | 0.058 | | min | 2.540 | | max | 2.667 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.663 | | σ | 7.775 | | min | 4804.843 | | max | 4822.560 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.570 | | σ | 0.319 | | min | 8.041 | | max | 8.887 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.470 | | σ | 0.020 | | min | 4996.444 | | max | 4996.492 |
| | mean | 3065.600 | | σ | 230.240 | | min | 2828.000 | | max | 3406.000 |
| | mean | 8.703 | | σ | 0.208 | | min | 8.506 | | max | 8.977 |
|