iters=5 new-facts=1 prior-facts=1 | | mean | 282.191 | | σ | 0.010 | | min | 282.177 | | max | 282.203 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 0.398 | | σ | 0.003 | | min | 0.396 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.714 | | σ | 0.010 | | min | 2174.704 | | max | 2174.728 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 2.997 | | σ | 0.200 | | min | 2.734 | | max | 3.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.419 | | σ | 1.036 | | min | 5053.638 | | max | 5056.236 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 8.927 | | σ | 0.542 | | min | 8.050 | | max | 9.434 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.670 | | σ | 0.077 | | min | 5185.596 | | max | 5185.774 |
| | mean | 3237.400 | | σ | 356.173 | | min | 2774.000 | | max | 3707.000 |
| | mean | 9.723 | | σ | 0.629 | | min | 8.698 | | max | 10.269 |
|