iters=5 new-facts=1 prior-facts=1 | | mean | 273.502 | | σ | 0.005 | | min | 273.495 | | max | 273.508 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.376 | | σ | 0.006 | | min | 0.373 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.895 | | σ | 0.008 | | min | 1933.886 | | max | 1933.905 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.924 | | σ | 0.271 | | min | 2.564 | | max | 3.290 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.587 | | σ | 0.883 | | min | 4753.889 | | max | 4756.126 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.130 | | σ | 0.501 | | min | 7.711 | | max | 8.901 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.120 | | σ | 0.011 | | min | 4945.110 | | max | 4945.138 |
| | mean | 3082.600 | | σ | 318.285 | | min | 2843.000 | | max | 3570.000 |
| | mean | 8.585 | | σ | 0.298 | | min | 8.347 | | max | 9.085 |
|