iters=5 new-facts=1 prior-facts=1 | | mean | 271.756 | | σ | 0.007 | | min | 271.746 | | max | 271.765 |
| | mean | 2806.000 | | σ | 0.000 | | min | 2806.000 | | max | 2806.000 |
| | mean | 0.387 | | σ | 0.005 | | min | 0.382 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175 | | σ | 0.014 | | min | 1932.155 | | max | 1932.189 |
| | mean | 2806.000 | | σ | 0.000 | | min | 2806.000 | | max | 2806.000 |
| | mean | 2.948 | | σ | 0.106 | | min | 2.811 | | max | 3.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.905 | | σ | 0.891 | | min | 4752.439 | | max | 4754.491 |
| | mean | 2806.000 | | σ | 0.000 | | min | 2806.000 | | max | 2806.000 |
| | mean | 8.461 | | σ | 0.544 | | min | 7.612 | | max | 8.859 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.369 | | σ | 0.019 | | min | 4943.346 | | max | 4943.386 |
| | mean | 3003.000 | | σ | 259.987 | | min | 2806.000 | | max | 3402.000 |
| | mean | 8.397 | | σ | 0.043 | | min | 8.342 | | max | 8.443 |
|