iters=5 new-facts=1 prior-facts=1 | | mean | 190.715 | | σ | 0.011 | | min | 190.703 | | max | 190.731 |
| | mean | 2640.000 | | σ | 0.000 | | min | 2640.000 | | max | 2640.000 |
| | mean | 0.280 | | σ | 0.000 | | min | 0.279 | | max | 0.281 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.495 | | σ | 0.012 | | min | 1989.480 | | max | 1989.507 |
| | mean | 2640.000 | | σ | 0.000 | | min | 2640.000 | | max | 2640.000 |
| | mean | 2.430 | | σ | 0.111 | | min | 2.322 | | max | 2.617 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.171 | | σ | 0.597 | | min | 4879.887 | | max | 4881.239 |
| | mean | 2640.000 | | σ | 0.000 | | min | 2640.000 | | max | 2640.000 |
| | mean | 8.176 | | σ | 0.274 | | min | 7.786 | | max | 8.483 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.790 | | σ | 0.012 | | min | 4891.776 | | max | 4891.802 |
| | mean | 3378.600 | | σ | 498.576 | | min | 2770.000 | | max | 4082.000 |
| | mean | 8.167 | | σ | 0.113 | | min | 8.042 | | max | 8.301 |
|