iters=5 new-facts=1 prior-facts=1 | | mean | 269.381 | | σ | 0.008 | | min | 269.367 | | max | 269.387 |
| | mean | 2777.000 | | σ | 0.000 | | min | 2777.000 | | max | 2777.000 |
| | mean | 0.380 | | σ | 0.008 | | min | 0.375 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.745 | | σ | 0.016 | | min | 1929.724 | | max | 1929.765 |
| | mean | 2777.000 | | σ | 0.000 | | min | 2777.000 | | max | 2777.000 |
| | mean | 2.951 | | σ | 0.265 | | min | 2.488 | | max | 3.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.374 | | σ | 0.948 | | min | 4749.619 | | max | 4752.028 |
| | mean | 2777.000 | | σ | 0.000 | | min | 2777.000 | | max | 2777.000 |
| | mean | 8.558 | | σ | 0.530 | | min | 7.817 | | max | 9.199 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.914 | | σ | 0.156 | | min | 4940.637 | | max | 4941.005 |
| | mean | 3021.600 | | σ | 289.072 | | min | 2777.000 | | max | 3449.000 |
| | mean | 8.475 | | σ | 0.105 | | min | 8.412 | | max | 8.662 |
|