iters=5 new-facts=1 prior-facts=1 | | mean | 270.240 | | σ | 0.007 | | min | 270.232 | | max | 270.250 |
| | mean | 2452.000 | | σ | 0.000 | | min | 2452.000 | | max | 2452.000 |
| | mean | 0.383 | | σ | 0.008 | | min | 0.374 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.703 | | σ | 0.006 | | min | 1930.697 | | max | 1930.712 |
| | mean | 2452.000 | | σ | 0.000 | | min | 2452.000 | | max | 2452.000 |
| | mean | 2.526 | | σ | 0.077 | | min | 2.430 | | max | 2.621 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.414 | | σ | 0.843 | | min | 4750.980 | | max | 4752.916 |
| | mean | 2452.000 | | σ | 0.000 | | min | 2452.000 | | max | 2452.000 |
| | mean | 8.460 | | σ | 0.427 | | min | 7.743 | | max | 8.832 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.870 | | σ | 0.018 | | min | 4941.845 | | max | 4941.886 |
| | mean | 3015.000 | | σ | 314.308 | | min | 2599.000 | | max | 3421.000 |
| | mean | 8.540 | | σ | 0.080 | | min | 8.450 | | max | 8.635 |
|