iters=5 new-facts=1 prior-facts=1 | | mean | 270.127 | | σ | 0.008 | | min | 270.121 | | max | 270.140 |
| | mean | 2799.000 | | σ | 0.000 | | min | 2799.000 | | max | 2799.000 |
| | mean | 0.372 | | σ | 0.004 | | min | 0.368 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.593 | | σ | 0.007 | | min | 1930.586 | | max | 1930.602 |
| | mean | 2799.000 | | σ | 0.000 | | min | 2799.000 | | max | 2799.000 |
| | mean | 2.552 | | σ | 0.157 | | min | 2.455 | | max | 2.826 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.036 | | σ | 0.870 | | min | 4750.548 | | max | 4752.584 |
| | mean | 2799.000 | | σ | 0.000 | | min | 2799.000 | | max | 2799.000 |
| | mean | 8.745 | | σ | 0.176 | | min | 8.445 | | max | 8.882 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.531 | | σ | 0.092 | | min | 4941.457 | | max | 4941.636 |
| | mean | 3050.200 | | σ | 260.938 | | min | 2799.000 | | max | 3421.000 |
| | mean | 8.507 | | σ | 0.131 | | min | 8.370 | | max | 8.659 |
|