iters=5 new-facts=1 prior-facts=1 | | mean | 324.697 | | σ | 0.037 | | min | 324.631 | | max | 324.717 |
| | mean | 2810.000 | | σ | 0.000 | | min | 2810.000 | | max | 2810.000 |
| | mean | 0.427 | | σ | 0.007 | | min | 0.422 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.249 | | σ | 0.015 | | min | 1985.230 | | max | 1985.263 |
| | mean | 2810.000 | | σ | 0.000 | | min | 2810.000 | | max | 2810.000 |
| | mean | 2.639 | | σ | 0.163 | | min | 2.392 | | max | 2.824 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.888 | | σ | 7.639 | | min | 4805.391 | | max | 4822.551 |
| | mean | 2810.000 | | σ | 0.000 | | min | 2810.000 | | max | 2810.000 |
| | mean | 8.796 | | σ | 0.485 | | min | 8.045 | | max | 9.393 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.384 | | σ | 0.150 | | min | 4996.117 | | max | 4996.468 |
| | mean | 3016.400 | | σ | 272.625 | | min | 2810.000 | | max | 3443.000 |
| | mean | 8.493 | | σ | 0.018 | | min | 8.475 | | max | 8.518 |
|