iters=5 new-facts=1 prior-facts=1 | | mean | 324.015 | | σ | 0.061 | | min | 323.906 | | max | 324.047 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 0.435 | | σ | 0.015 | | min | 0.426 | | max | 0.462 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.587 | | σ | 0.019 | | min | 1984.560 | | max | 1984.607 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 2.649 | | σ | 0.112 | | min | 2.556 | | max | 2.772 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.117 | | σ | 7.577 | | min | 4804.637 | | max | 4821.671 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 8.816 | | σ | 0.315 | | min | 8.454 | | max | 9.117 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.811 | | σ | 0.013 | | min | 4995.794 | | max | 4995.826 |
| | mean | 2951.000 | | σ | 382.573 | | min | 2504.000 | | max | 3445.000 |
| | mean | 9.010 | | σ | 0.449 | | min | 8.480 | | max | 9.677 |
|