iters=5 new-facts=1 prior-facts=1 | | mean | 324.010 | | σ | 0.060 | | min | 323.903 | | max | 324.040 |
| | mean | 2524.000 | | σ | 0.000 | | min | 2524.000 | | max | 2524.000 |
| | mean | 0.426 | | σ | 0.002 | | min | 0.424 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.574 | | σ | 0.014 | | min | 1984.551 | | max | 1984.586 |
| | mean | 2524.000 | | σ | 0.000 | | min | 2524.000 | | max | 2524.000 |
| | mean | 2.718 | | σ | 0.205 | | min | 2.583 | | max | 3.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.063 | | σ | 7.527 | | min | 4804.168 | | max | 4821.514 |
| | mean | 2524.000 | | σ | 0.000 | | min | 2524.000 | | max | 2524.000 |
| | mean | 8.592 | | σ | 0.543 | | min | 7.753 | | max | 9.215 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.800 | | σ | 0.034 | | min | 4995.766 | | max | 4995.836 |
| | mean | 2951.800 | | σ | 388.825 | | min | 2524.000 | | max | 3457.000 |
| | mean | 8.631 | | σ | 0.209 | | min | 8.408 | | max | 8.928 |
|