iters=5 new-facts=1 prior-facts=1 | | mean | 269.934 | | σ | 0.006 | | min | 269.927 | | max | 269.943 |
| | mean | 2466.000 | | σ | 0.000 | | min | 2466.000 | | max | 2466.000 |
| | mean | 0.371 | | σ | 0.007 | | min | 0.367 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.397 | | σ | 0.009 | | min | 1930.386 | | max | 1930.407 |
| | mean | 2466.000 | | σ | 0.000 | | min | 2466.000 | | max | 2466.000 |
| | mean | 2.618 | | σ | 0.198 | | min | 2.462 | | max | 2.931 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.504 | | σ | 1.042 | | min | 4749.791 | | max | 4752.264 |
| | mean | 2466.000 | | σ | 0.000 | | min | 2466.000 | | max | 2466.000 |
| | mean | 8.562 | | σ | 0.281 | | min | 8.224 | | max | 8.921 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.336 | | σ | 0.079 | | min | 4941.265 | | max | 4941.437 |
| | mean | 3011.200 | | σ | 360.520 | | min | 2526.000 | | max | 3345.000 |
| | mean | 8.796 | | σ | 0.355 | | min | 8.428 | | max | 9.184 |
|