iters=5 new-facts=1 prior-facts=1 | | mean | 328.787 | | σ | 0.068 | | min | 328.667 | | max | 328.823 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.433 | | σ | 0.002 | | min | 0.431 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.330 | | σ | 0.005 | | min | 1989.324 | | max | 1989.334 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 3.003 | | σ | 0.085 | | min | 2.893 | | max | 3.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.035 | | σ | 7.794 | | min | 4809.453 | | max | 4826.976 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.562 | | σ | 0.453 | | min | 7.971 | | max | 9.223 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.585 | | σ | 0.025 | | min | 5000.562 | | max | 5000.615 |
| | mean | 3028.200 | | σ | 205.096 | | min | 2826.000 | | max | 3309.000 |
| | mean | 8.828 | | σ | 0.293 | | min | 8.559 | | max | 9.284 |
|