iters=5 new-facts=1 prior-facts=1 | | mean | 348.776 | | σ | 0.062 | | min | 348.665 | | max | 348.812 |
| | mean | 2405.000 | | σ | 0.000 | | min | 2405.000 | | max | 2405.000 |
| | mean | 0.460 | | σ | 0.008 | | min | 0.453 | | max | 0.471 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2009.246 | | σ | 0.005 | | min | 2009.240 | | max | 2009.252 |
| | mean | 2405.000 | | σ | 0.000 | | min | 2405.000 | | max | 2405.000 |
| | mean | 2.795 | | σ | 0.130 | | min | 2.683 | | max | 3.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4833.017 | | σ | 7.767 | | min | 4829.432 | | max | 4846.909 |
| | mean | 2405.000 | | σ | 0.000 | | min | 2405.000 | | max | 2405.000 |
| | mean | 8.799 | | σ | 0.603 | | min | 7.762 | | max | 9.323 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5020.564 | | σ | 0.024 | | min | 5020.538 | | max | 5020.594 |
| | mean | 2950.200 | | σ | 413.730 | | min | 2422.000 | | max | 3494.000 |
| | mean | 8.836 | | σ | 0.303 | | min | 8.501 | | max | 9.277 |
|