iters=5 new-facts=1 prior-facts=1 | | mean | 278.696 | | σ | 0.012 | | min | 278.685 | | max | 278.714 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 0.420 | | σ | 0.004 | | min | 0.418 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873 | | σ | 0.006 | | min | 2268.866 | | max | 2268.879 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 2.967 | | σ | 0.074 | | min | 2.903 | | max | 3.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.249 | | σ | 0.891 | | min | 4951.323 | | max | 4953.736 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 7.806 | | σ | 0.256 | | min | 7.628 | | max | 8.215 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.004 | | σ | 0.156 | | min | 5166.724 | | max | 5167.087 |
| | mean | 3416.600 | | σ | 417.220 | | min | 2870.000 | | max | 3965.000 |
| | mean | 9.305 | | σ | 0.213 | | min | 9.050 | | max | 9.549 |
|