iters=5 new-facts=1 prior-facts=1 | | mean | 324.018 | | σ | 0.040 | | min | 323.947 | | max | 324.043 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 0.428 | | σ | 0.002 | | min | 0.424 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.572 | | σ | 0.016 | | min | 1984.557 | | max | 1984.597 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 2.682 | | σ | 0.137 | | min | 2.563 | | max | 2.881 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.254 | | σ | 7.788 | | min | 4804.659 | | max | 4822.185 |
| | mean | 2424.000 | | σ | 0.000 | | min | 2424.000 | | max | 2424.000 |
| | mean | 8.795 | | σ | 0.324 | | min | 8.315 | | max | 9.139 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.659 | | σ | 0.175 | | min | 4995.466 | | max | 4995.803 |
| | mean | 2900.000 | | σ | 396.795 | | min | 2424.000 | | max | 3428.000 |
| | mean | 8.595 | | σ | 0.232 | | min | 8.452 | | max | 9.008 |
|