iters=5 new-facts=1 prior-facts=1 | | mean | 278.696 | | σ | 0.006 | | min | 278.691 | | max | 278.705 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 0.418 | | σ | 0.001 | | min | 0.418 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.870 | | σ | 0.009 | | min | 2268.859 | | max | 2268.881 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 3.036 | | σ | 0.222 | | min | 2.780 | | max | 3.375 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.350 | | σ | 0.869 | | min | 4951.874 | | max | 4953.901 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 8.069 | | σ | 0.275 | | min | 7.874 | | max | 8.478 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.005 | | σ | 0.160 | | min | 5166.720 | | max | 5167.089 |
| | mean | 3468.000 | | σ | 476.791 | | min | 2871.000 | | max | 4143.000 |
| | mean | 9.275 | | σ | 0.168 | | min | 9.031 | | max | 9.454 |
|