iters=5 new-facts=1 prior-facts=1 | | mean | 190.715 | | σ | 0.005 | | min | 190.708 | | max | 190.721 |
| | mean | 2626.000 | | σ | 0.000 | | min | 2626.000 | | max | 2626.000 |
| | mean | 0.281 | | σ | 0.001 | | min | 0.280 | | max | 0.282 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.489 | | σ | 0.025 | | min | 1989.466 | | max | 1989.525 |
| | mean | 2626.000 | | σ | 0.000 | | min | 2626.000 | | max | 2626.000 |
| | mean | 2.557 | | σ | 0.145 | | min | 2.410 | | max | 2.743 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.080 | | σ | 0.610 | | min | 4879.733 | | max | 4881.162 |
| | mean | 2626.000 | | σ | 0.000 | | min | 2626.000 | | max | 2626.000 |
| | mean | 8.318 | | σ | 0.162 | | min | 8.122 | | max | 8.504 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.622 | | σ | 0.209 | | min | 4891.266 | | max | 4891.776 |
| | mean | 3297.600 | | σ | 490.323 | | min | 2626.000 | | max | 3914.000 |
| | mean | 8.231 | | σ | 0.361 | | min | 8.008 | | max | 8.866 |
|