iters=5 new-facts=1 prior-facts=1 | | mean | 345.202 | | σ | 0.075 | | min | 345.071 | | max | 345.258 |
| | mean | 2729.000 | | σ | 0.000 | | min | 2729.000 | | max | 2729.000 |
| | mean | 0.447 | | σ | 0.007 | | min | 0.442 | | max | 0.459 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.369 | | σ | 0.015 | | min | 2007.354 | | max | 2007.392 |
| | mean | 2729.000 | | σ | 0.000 | | min | 2729.000 | | max | 2729.000 |
| | mean | 2.728 | | σ | 0.080 | | min | 2.643 | | max | 2.856 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.156 | | σ | 7.785 | | min | 4828.254 | | max | 4846.073 |
| | mean | 2729.000 | | σ | 0.000 | | min | 2729.000 | | max | 2729.000 |
| | mean | 8.825 | | σ | 0.673 | | min | 7.739 | | max | 9.407 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.763 | | σ | 0.018 | | min | 5019.742 | | max | 5019.785 |
| | mean | 3008.200 | | σ | 253.238 | | min | 2729.000 | | max | 3342.000 |
| | mean | 9.702 | | σ | 0.104 | | min | 9.548 | | max | 9.797 |
|