iters=5 new-facts=1 prior-facts=1 | | mean | 326.571 | | σ | 0.060 | | min | 326.465 | | max | 326.614 |
| | mean | 2857.000 | | σ | 0.000 | | min | 2857.000 | | max | 2857.000 |
| | mean | 0.425 | | σ | 0.005 | | min | 0.420 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.741 | | σ | 0.009 | | min | 1988.725 | | max | 1988.747 |
| | mean | 2857.000 | | σ | 0.000 | | min | 2857.000 | | max | 2857.000 |
| | mean | 2.737 | | σ | 0.246 | | min | 2.380 | | max | 3.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.595 | | σ | 7.738 | | min | 4810.072 | | max | 4827.436 |
| | mean | 2857.000 | | σ | 0.000 | | min | 2857.000 | | max | 2857.000 |
| | mean | 8.579 | | σ | 0.636 | | min | 7.802 | | max | 9.287 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.134 | | σ | 0.026 | | min | 5001.101 | | max | 5001.163 |
| | mean | 3080.000 | | σ | 303.697 | | min | 2857.000 | | max | 3554.000 |
| | mean | 9.765 | | σ | 0.096 | | min | 9.709 | | max | 9.936 |
|