iters=5 new-facts=1 prior-facts=1 | | mean | 277.197 | | σ | 0.006 | | min | 277.188 | | max | 277.206 |
| | mean | 2496.000 | | σ | 0.000 | | min | 2496.000 | | max | 2496.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.391 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.389 | | σ | 0.081 | | min | 2174.244 | | max | 2174.436 |
| | mean | 2496.000 | | σ | 0.000 | | min | 2496.000 | | max | 2496.000 |
| | mean | 2.940 | | σ | 0.105 | | min | 2.795 | | max | 3.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.519 | | σ | 1.034 | | min | 5051.837 | | max | 5054.350 |
| | mean | 2496.000 | | σ | 0.000 | | min | 2496.000 | | max | 2496.000 |
| | mean | 8.579 | | σ | 0.620 | | min | 8.034 | | max | 9.474 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.425 | | σ | 0.089 | | min | 5188.352 | | max | 5188.524 |
| | mean | 3225.600 | | σ | 369.153 | | min | 2693.000 | | max | 3685.000 |
| | mean | 8.959 | | σ | 0.395 | | min | 8.700 | | max | 9.655 |
|