iters=5 new-facts=1 prior-facts=1 | | mean | 285.418 | | σ | 0.016 | | min | 285.394 | | max | 285.434 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.390 | | σ | 0.006 | | min | 0.382 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.500 | | σ | 0.083 | | min | 1285.354 | | max | 1285.556 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.948 | | σ | 0.098 | | min | 1.817 | | max | 2.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.825 | | σ | 6.878 | | min | 1702.647 | | max | 1718.127 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 3.005 | | σ | 0.203 | | min | 2.862 | | max | 3.324 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.403 | | σ | 0.051 | | min | 1968.323 | | max | 1968.439 |
| | mean | 1778.800 | | σ | 143.261 | | min | 1638.000 | | max | 1967.000 |
| | mean | 3.272 | | σ | 0.390 | | min | 3.075 | | max | 3.970 |
|