iters=5 new-facts=1 prior-facts=1 | | mean | 277.193 | | σ | 0.005 | | min | 277.188 | | max | 277.199 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 0.397 | | σ | 0.010 | | min | 0.391 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.437 | | σ | 0.024 | | min | 2174.405 | | max | 2174.472 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 2.856 | | σ | 0.172 | | min | 2.677 | | max | 3.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.584 | | σ | 0.966 | | min | 5052.069 | | max | 5054.306 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 8.951 | | σ | 0.549 | | min | 8.069 | | max | 9.391 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.414 | | σ | 0.087 | | min | 5188.331 | | max | 5188.517 |
| | mean | 3271.200 | | σ | 499.005 | | min | 2625.000 | | max | 3867.000 |
| | mean | 8.813 | | σ | 0.147 | | min | 8.649 | | max | 8.946 |
|