iters=5 new-facts=1 prior-facts=1 | | mean | 189.919 | | σ | 0.006 | | min | 189.910 | | max | 189.925 |
| | mean | 2657.000 | | σ | 0.000 | | min | 2657.000 | | max | 2657.000 |
| | mean | 0.278 | | σ | 0.001 | | min | 0.277 | | max | 0.280 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.696 | | σ | 0.016 | | min | 1988.680 | | max | 1988.719 |
| | mean | 2657.000 | | σ | 0.000 | | min | 2657.000 | | max | 2657.000 |
| | mean | 2.732 | | σ | 0.113 | | min | 2.572 | | max | 2.853 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.165 | | σ | 0.687 | | min | 4878.350 | | max | 4880.246 |
| | mean | 2657.000 | | σ | 0.000 | | min | 2657.000 | | max | 2657.000 |
| | mean | 8.067 | | σ | 0.220 | | min | 7.817 | | max | 8.374 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4890.823 | | σ | 0.212 | | min | 4890.471 | | max | 4891.005 |
| | mean | 3288.000 | | σ | 490.160 | | min | 2657.000 | | max | 3749.000 |
| | mean | 8.058 | | σ | 0.104 | | min | 7.980 | | max | 8.240 |
|