iters=5 new-facts=1 prior-facts=1 | | mean | 326.640 | | σ | 0.052 | | min | 326.551 | | max | 326.682 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.433 | | σ | 0.011 | | min | 0.423 | | max | 0.448 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.796 | | σ | 0.015 | | min | 1988.780 | | max | 1988.811 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.703 | | σ | 0.140 | | min | 2.574 | | max | 2.939 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.650 | | σ | 7.742 | | min | 4810.174 | | max | 4827.499 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 8.936 | | σ | 0.248 | | min | 8.547 | | max | 9.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.211 | | σ | 0.028 | | min | 5001.189 | | max | 5001.259 |
| | mean | 3011.400 | | σ | 192.110 | | min | 2832.000 | | max | 3295.000 |
| | mean | 9.921 | | σ | 0.102 | | min | 9.803 | | max | 10.062 |
|