iters=5 new-facts=1 prior-facts=1 | | mean | 275.566 | | σ | 0.007 | | min | 275.561 | | max | 275.578 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 0.391 | | σ | 0.009 | | min | 0.386 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099 | | σ | 0.007 | | min | 2168.091 | | max | 2168.109 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 2.968 | | σ | 0.164 | | min | 2.747 | | max | 3.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.550 | | σ | 1.248 | | min | 5046.167 | | max | 5049.530 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 8.762 | | σ | 0.485 | | min | 8.135 | | max | 9.272 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.989 | | σ | 0.207 | | min | 5178.648 | | max | 5179.172 |
| | mean | 3212.000 | | σ | 386.003 | | min | 2680.000 | | max | 3694.000 |
| | mean | 10.215 | | σ | 0.278 | | min | 9.961 | | max | 10.604 |
|