iters=5 new-facts=1 prior-facts=1 | | mean | 269.928 | | σ | 0.007 | | min | 269.921 | | max | 269.939 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 0.370 | | σ | 0.001 | | min | 0.369 | | max | 0.371 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.392 | | σ | 0.009 | | min | 1930.382 | | max | 1930.401 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 2.683 | | σ | 0.192 | | min | 2.486 | | max | 2.969 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.624 | | σ | 1.122 | | min | 4749.395 | | max | 4752.463 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 8.813 | | σ | 0.405 | | min | 8.210 | | max | 9.208 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334 | | σ | 0.084 | | min | 4941.258 | | max | 4941.429 |
| | mean | 3064.400 | | σ | 230.727 | | min | 2848.000 | | max | 3306.000 |
| | mean | 8.781 | | σ | 0.462 | | min | 8.380 | | max | 9.576 |
|