iters=5 new-facts=1 prior-facts=1 | | mean | 324.010 | | σ | 0.061 | | min | 323.901 | | max | 324.041 |
| | mean | 2701.000 | | σ | 0.000 | | min | 2701.000 | | max | 2701.000 |
| | mean | 0.426 | | σ | 0.001 | | min | 0.424 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.579 | | σ | 0.017 | | min | 1984.561 | | max | 1984.600 |
| | mean | 2701.000 | | σ | 0.000 | | min | 2701.000 | | max | 2701.000 |
| | mean | 2.637 | | σ | 0.124 | | min | 2.531 | | max | 2.841 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.227 | | σ | 7.773 | | min | 4804.725 | | max | 4822.131 |
| | mean | 2701.000 | | σ | 0.000 | | min | 2701.000 | | max | 2701.000 |
| | mean | 8.775 | | σ | 0.125 | | min | 8.642 | | max | 8.943 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.710 | | σ | 0.135 | | min | 4995.481 | | max | 4995.809 |
| | mean | 2955.000 | | σ | 306.585 | | min | 2701.000 | | max | 3426.000 |
| | mean | 8.430 | | σ | 0.101 | | min | 8.286 | | max | 8.524 |
|