iters=5 new-facts=1 prior-facts=1 | | mean | 324.015 | | σ | 0.049 | | min | 323.928 | | max | 324.048 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 0.428 | | σ | 0.006 | | min | 0.423 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.599 | | σ | 0.006 | | min | 1984.588 | | max | 1984.603 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 2.671 | | σ | 0.193 | | min | 2.503 | | max | 2.890 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.076 | | σ | 7.859 | | min | 4804.183 | | max | 4822.125 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 8.331 | | σ | 0.464 | | min | 7.718 | | max | 8.874 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.802 | | σ | 0.026 | | min | 4995.763 | | max | 4995.834 |
| | mean | 3031.400 | | σ | 214.351 | | min | 2769.000 | | max | 3321.000 |
| | mean | 8.654 | | σ | 0.170 | | min | 8.451 | | max | 8.858 |
|