iters=5 new-facts=1 prior-facts=1 | | mean | 285.720 | | σ | 0.011 | | min | 285.701 | | max | 285.731 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 0.380 | | σ | 0.006 | | min | 0.375 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.786 | | σ | 0.086 | | min | 1285.635 | | max | 1285.844 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 1.901 | | σ | 0.126 | | min | 1.789 | | max | 2.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1696.110 | | σ | 6.847 | | min | 1692.938 | | max | 1708.355 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 2.919 | | σ | 0.242 | | min | 2.584 | | max | 3.233 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1958.710 | | σ | 0.008 | | min | 1958.702 | | max | 1958.720 |
| | mean | 1800.400 | | σ | 176.606 | | min | 1641.000 | | max | 2050.000 |
| | mean | 3.154 | | σ | 0.049 | | min | 3.111 | | max | 3.229 |
|