iters=5 new-facts=1 prior-facts=1 | | mean | 270.143 | | σ | 0.006 | | min | 270.134 | | max | 270.150 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 0.380 | | σ | 0.005 | | min | 0.374 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609 | | σ | 0.008 | | min | 1930.600 | | max | 1930.618 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 2.520 | | σ | 0.091 | | min | 2.402 | | max | 2.616 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.061 | | σ | 1.072 | | min | 4750.331 | | max | 4752.931 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 8.801 | | σ | 0.174 | | min | 8.577 | | max | 9.026 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.776 | | σ | 0.015 | | min | 4941.761 | | max | 4941.797 |
| | mean | 3007.200 | | σ | 316.612 | | min | 2572.000 | | max | 3300.000 |
| | mean | 8.737 | | σ | 0.284 | | min | 8.437 | | max | 9.206 |
|