iters=5 new-facts=1 prior-facts=1 | | mean | 272.761 | | σ | 0.007 | | min | 272.753 | | max | 272.769 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.381 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.130 | | σ | 0.011 | | min | 1933.111 | | max | 1933.139 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 3.020 | | σ | 0.410 | | min | 2.478 | | max | 3.485 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.938 | | σ | 0.817 | | min | 4753.382 | | max | 4755.384 |
| | mean | 2858.000 | | σ | 0.000 | | min | 2858.000 | | max | 2858.000 |
| | mean | 8.197 | | σ | 0.512 | | min | 7.661 | | max | 9.025 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.293 | | σ | 0.146 | | min | 4944.032 | | max | 4944.376 |
| | mean | 3051.600 | | σ | 270.176 | | min | 2858.000 | | max | 3469.000 |
| | mean | 8.529 | | σ | 0.223 | | min | 8.367 | | max | 8.881 |
|