iters=5 new-facts=1 prior-facts=1 | | mean | 278.999 | | σ | 0.005 | | min | 278.994 | | max | 279.007 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.381 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.439 | | σ | 0.006 | | min | 1939.434 | | max | 1939.449 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.564 | | σ | 0.118 | | min | 2.460 | | max | 2.730 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.155 | | σ | 0.887 | | min | 4759.660 | | max | 4761.732 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.573 | | σ | 0.581 | | min | 7.604 | | max | 9.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.494 | | σ | 0.306 | | min | 4949.948 | | max | 4950.658 |
| | mean | 3066.600 | | σ | 191.486 | | min | 2843.000 | | max | 3333.000 |
| | mean | 8.530 | | σ | 0.149 | | min | 8.395 | | max | 8.748 |
|