iters=5 new-facts=1 prior-facts=1 | | mean | 275.757 | | σ | 0.008 | | min | 275.746 | | max | 275.766 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 0.406 | | σ | 0.020 | | min | 0.387 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.285 | | σ | 0.003 | | min | 2168.282 | | max | 2168.289 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 2.967 | | σ | 0.137 | | min | 2.791 | | max | 3.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.983 | | σ | 1.055 | | min | 5047.067 | | max | 5049.808 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 8.854 | | σ | 0.490 | | min | 8.085 | | max | 9.343 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.240 | | σ | 0.069 | | min | 5179.175 | | max | 5179.315 |
| | mean | 3232.000 | | σ | 392.249 | | min | 2706.000 | | max | 3750.000 |
| | mean | 10.201 | | σ | 0.546 | | min | 9.591 | | max | 10.978 |
|