iters=5 new-facts=1 prior-facts=1 | | mean | 324.013 | | σ | 0.061 | | min | 323.904 | | max | 324.046 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 0.432 | | σ | 0.009 | | min | 0.427 | | max | 0.447 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.587 | | σ | 0.021 | | min | 1984.559 | | max | 1984.610 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 2.662 | | σ | 0.105 | | min | 2.553 | | max | 2.785 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.118 | | σ | 7.507 | | min | 4804.697 | | max | 4821.546 |
| | mean | 2413.000 | | σ | 0.000 | | min | 2413.000 | | max | 2413.000 |
| | mean | 8.815 | | σ | 0.172 | | min | 8.621 | | max | 9.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.808 | | σ | 0.021 | | min | 4995.783 | | max | 4995.829 |
| | mean | 2928.000 | | σ | 411.545 | | min | 2413.000 | | max | 3428.000 |
| | mean | 8.645 | | σ | 0.255 | | min | 8.410 | | max | 9.033 |
|