iters=5 new-facts=1 prior-facts=1 | | mean | 281.496 | | σ | 0.034 | | min | 281.454 | | max | 281.536 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.382 | | σ | 0.006 | | min | 0.376 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.485 | | σ | 0.122 | | min | 1291.362 | | max | 1291.662 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.952 | | σ | 0.112 | | min | 1.846 | | max | 2.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.318 | | σ | 3.967 | | min | 1532.325 | | max | 1541.406 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 2.188 | | σ | 0.114 | | min | 2.010 | | max | 2.316 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.358 | | σ | 0.055 | | min | 1853.302 | | max | 1853.436 |
| | mean | 1775.000 | | σ | 143.157 | | min | 1635.000 | | max | 1921.000 |
| | mean | 3.030 | | σ | 0.259 | | min | 2.828 | | max | 3.483 |
|