iters=5 new-facts=1 prior-facts=1 | | mean | 297.324 | | σ | 0.004 | | min | 297.318 | | max | 297.328 |
| | mean | 1600.000 | | σ | 0.000 | | min | 1600.000 | | max | 1600.000 |
| | mean | 0.406 | | σ | 0.005 | | min | 0.400 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.015 | | σ | 0.100 | | min | 1298.842 | | max | 1299.087 |
| | mean | 1600.000 | | σ | 0.000 | | min | 1600.000 | | max | 1600.000 |
| | mean | 2.024 | | σ | 0.274 | | min | 1.848 | | max | 2.506 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.181 | | σ | 6.917 | | min | 1715.993 | | max | 1731.551 |
| | mean | 1600.000 | | σ | 0.000 | | min | 1600.000 | | max | 1600.000 |
| | mean | 3.097 | | σ | 0.227 | | min | 2.856 | | max | 3.428 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.942 | | σ | 0.009 | | min | 1981.928 | | max | 1981.948 |
| | mean | 1789.800 | | σ | 170.539 | | min | 1600.000 | | max | 2009.000 |
| | mean | 3.186 | | σ | 0.105 | | min | 3.121 | | max | 3.367 |
|