iters=5 new-facts=1 prior-facts=1 | | mean | 266.776 | | σ | 0.006 | | min | 266.767 | | max | 266.783 |
| | mean | 2660.000 | | σ | 0.000 | | min | 2660.000 | | max | 2660.000 |
| | mean | 0.364 | | σ | 0.002 | | min | 0.361 | | max | 0.366 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.210 | | σ | 0.010 | | min | 1927.197 | | max | 1927.223 |
| | mean | 2660.000 | | σ | 0.000 | | min | 2660.000 | | max | 2660.000 |
| | mean | 2.850 | | σ | 0.112 | | min | 2.703 | | max | 3.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.655 | | σ | 0.849 | | min | 4746.898 | | max | 4749.112 |
| | mean | 2660.000 | | σ | 0.000 | | min | 2660.000 | | max | 2660.000 |
| | mean | 8.079 | | σ | 0.304 | | min | 7.734 | | max | 8.503 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.159 | | σ | 0.084 | | min | 4938.081 | | max | 4938.254 |
| | mean | 3003.800 | | σ | 383.304 | | min | 2660.000 | | max | 3554.000 |
| | mean | 8.466 | | σ | 0.144 | | min | 8.339 | | max | 8.642 |
|