iters=5 new-facts=1 prior-facts=1 | | mean | 285.441 | | σ | 0.007 | | min | 285.435 | | max | 285.452 |
| | mean | 1543.000 | | σ | 0.000 | | min | 1543.000 | | max | 1543.000 |
| | mean | 0.386 | | σ | 0.010 | | min | 0.376 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.534 | | σ | 0.044 | | min | 1285.462 | | max | 1285.572 |
| | mean | 1543.000 | | σ | 0.000 | | min | 1543.000 | | max | 1543.000 |
| | mean | 1.915 | | σ | 0.138 | | min | 1.816 | | max | 2.143 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.830 | | σ | 6.875 | | min | 1702.607 | | max | 1718.124 |
| | mean | 1543.000 | | σ | 0.000 | | min | 1543.000 | | max | 1543.000 |
| | mean | 2.913 | | σ | 0.373 | | min | 2.556 | | max | 3.316 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.435 | | σ | 0.016 | | min | 1968.416 | | max | 1968.453 |
| | mean | 1789.400 | | σ | 206.898 | | min | 1553.000 | | max | 2070.000 |
| | mean | 3.228 | | σ | 0.071 | | min | 3.171 | | max | 3.339 |
|