iters=5 new-facts=1 prior-facts=1 | | mean | 272.755 | | σ | 0.005 | | min | 272.749 | | max | 272.763 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 0.382 | | σ | 0.007 | | min | 0.377 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167 | | σ | 0.007 | | min | 1933.156 | | max | 1933.175 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 2.962 | | σ | 0.057 | | min | 2.890 | | max | 3.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.938 | | σ | 7.559 | | min | 4753.416 | | max | 4770.460 |
| | mean | 2505.000 | | σ | 0.000 | | min | 2505.000 | | max | 2505.000 |
| | mean | 8.541 | | σ | 0.297 | | min | 8.290 | | max | 9.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.386 | | σ | 0.020 | | min | 4944.363 | | max | 4944.415 |
| | mean | 2918.000 | | σ | 364.704 | | min | 2505.000 | | max | 3413.000 |
| | mean | 8.459 | | σ | 0.158 | | min | 8.315 | | max | 8.647 |
|