iters=5 new-facts=1 prior-facts=1 | | mean | 270.144 | | σ | 0.007 | | min | 270.134 | | max | 270.153 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 0.377 | | σ | 0.003 | | min | 0.373 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.599 | | σ | 0.024 | | min | 1930.556 | | max | 1930.614 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 2.526 | | σ | 0.062 | | min | 2.482 | | max | 2.633 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.292 | | σ | 0.910 | | min | 4750.762 | | max | 4752.912 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 8.631 | | σ | 0.533 | | min | 7.784 | | max | 9.133 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.761 | | σ | 0.033 | | min | 4941.725 | | max | 4941.796 |
| | mean | 3017.400 | | σ | 236.710 | | min | 2774.000 | | max | 3331.000 |
| | mean | 8.587 | | σ | 0.171 | | min | 8.430 | | max | 8.845 |
|