iters=5 new-facts=1 prior-facts=1 | | mean | 273.498 | | σ | 0.006 | | min | 273.493 | | max | 273.508 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 0.383 | | σ | 0.005 | | min | 0.380 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.893 | | σ | 0.005 | | min | 1933.886 | | max | 1933.899 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 2.967 | | σ | 0.212 | | min | 2.698 | | max | 3.192 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.406 | | σ | 0.757 | | min | 4753.616 | | max | 4755.661 |
| | mean | 2647.000 | | σ | 0.000 | | min | 2647.000 | | max | 2647.000 |
| | mean | 8.705 | | σ | 0.280 | | min | 8.379 | | max | 8.963 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.121 | | σ | 0.014 | | min | 4945.105 | | max | 4945.136 |
| | mean | 3008.400 | | σ | 265.586 | | min | 2647.000 | | max | 3306.000 |
| | mean | 8.576 | | σ | 0.160 | | min | 8.402 | | max | 8.735 |
|