iters=5 new-facts=1 prior-facts=1 | | mean | 190.721 | | σ | 0.008 | | min | 190.713 | | max | 190.733 |
| | mean | 2621.000 | | σ | 0.000 | | min | 2621.000 | | max | 2621.000 |
| | mean | 0.280 | | σ | 0.001 | | min | 0.279 | | max | 0.280 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.488 | | σ | 0.018 | | min | 1989.467 | | max | 1989.509 |
| | mean | 2621.000 | | σ | 0.000 | | min | 2621.000 | | max | 2621.000 |
| | mean | 2.536 | | σ | 0.300 | | min | 2.359 | | max | 3.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.072 | | σ | 0.538 | | min | 4879.734 | | max | 4881.015 |
| | mean | 2621.000 | | σ | 0.000 | | min | 2621.000 | | max | 2621.000 |
| | mean | 8.174 | | σ | 0.062 | | min | 8.106 | | max | 8.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.626 | | σ | 0.215 | | min | 4891.268 | | max | 4891.795 |
| | mean | 3224.600 | | σ | 400.662 | | min | 2819.000 | | max | 3620.000 |
| | mean | 8.151 | | σ | 0.109 | | min | 8.033 | | max | 8.265 |
|