iters=5 new-facts=1 prior-facts=1 | | mean | 279.513 | | σ | 0.009 | | min | 279.501 | | max | 279.523 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 0.412 | | σ | 0.007 | | min | 0.405 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.436 | | σ | 0.028 | | min | 2178.388 | | max | 2178.458 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 3.458 | | σ | 0.126 | | min | 3.265 | | max | 3.572 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.390 | | σ | 0.962 | | min | 5055.925 | | max | 5058.110 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 8.552 | | σ | 0.495 | | min | 8.178 | | max | 9.412 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.757 | | σ | 0.087 | | min | 5193.690 | | max | 5193.858 |
| | mean | 3291.600 | | σ | 392.997 | | min | 2745.000 | | max | 3662.000 |
| | mean | 9.003 | | σ | 0.242 | | min | 8.759 | | max | 9.401 |
|