iters=5 new-facts=1 prior-facts=1 | | mean | 272.755 | | σ | 0.005 | | min | 272.747 | | max | 272.760 |
| | mean | 2442.000 | | σ | 0.000 | | min | 2442.000 | | max | 2442.000 |
| | mean | 0.386 | | σ | 0.008 | | min | 0.379 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.161 | | σ | 0.009 | | min | 1933.154 | | max | 1933.176 |
| | mean | 2442.000 | | σ | 0.000 | | min | 2442.000 | | max | 2442.000 |
| | mean | 2.964 | | σ | 0.129 | | min | 2.784 | | max | 3.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.609 | | σ | 7.810 | | min | 4752.533 | | max | 4770.561 |
| | mean | 2442.000 | | σ | 0.000 | | min | 2442.000 | | max | 2442.000 |
| | mean | 8.516 | | σ | 0.512 | | min | 7.793 | | max | 9.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.401 | | σ | 0.020 | | min | 4944.376 | | max | 4944.422 |
| | mean | 2935.200 | | σ | 421.970 | | min | 2442.000 | | max | 3490.000 |
| | mean | 8.574 | | σ | 0.261 | | min | 8.400 | | max | 9.006 |
|