iters=5 new-facts=1 prior-facts=1 | | mean | 270.239 | | σ | 0.006 | | min | 270.233 | | max | 270.246 |
| | mean | 2775.000 | | σ | 0.000 | | min | 2775.000 | | max | 2775.000 |
| | mean | 0.378 | | σ | 0.006 | | min | 0.370 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.704 | | σ | 0.008 | | min | 1930.694 | | max | 1930.715 |
| | mean | 2775.000 | | σ | 0.000 | | min | 2775.000 | | max | 2775.000 |
| | mean | 2.529 | | σ | 0.093 | | min | 2.446 | | max | 2.645 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.285 | | σ | 0.905 | | min | 4750.494 | | max | 4752.847 |
| | mean | 2775.000 | | σ | 0.000 | | min | 2775.000 | | max | 2775.000 |
| | mean | 8.501 | | σ | 0.198 | | min | 8.191 | | max | 8.744 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.792 | | σ | 0.156 | | min | 4941.518 | | max | 4941.888 |
| | mean | 3059.800 | | σ | 261.851 | | min | 2775.000 | | max | 3424.000 |
| | mean | 8.653 | | σ | 0.277 | | min | 8.348 | | max | 8.982 |
|