iters=5 new-facts=1 prior-facts=1 | | mean | 273.506 | | σ | 0.006 | | min | 273.500 | | max | 273.515 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 0.385 | | σ | 0.005 | | min | 0.381 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1793.629 | | σ | 313.660 | | min | 1232.537 | | max | 1933.937 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 2.905 | | σ | 0.693 | | min | 1.672 | | max | 3.321 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.703 | | σ | 0.806 | | min | 4754.195 | | max | 4756.135 |
| | mean | 2870.000 | | σ | 0.000 | | min | 2870.000 | | max | 2870.000 |
| | mean | 8.087 | | σ | 0.484 | | min | 7.714 | | max | 8.823 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.049 | | σ | 0.166 | | min | 4944.754 | | max | 4945.138 |
| | mean | 3032.200 | | σ | 225.444 | | min | 2870.000 | | max | 3354.000 |
| | mean | 8.577 | | σ | 0.106 | | min | 8.438 | | max | 8.695 |
|