iters=5 new-facts=1 prior-facts=1 | | mean | 277.194 | | σ | 0.004 | | min | 277.189 | | max | 277.198 |
| | mean | 2737.000 | | σ | 0.000 | | min | 2737.000 | | max | 2737.000 |
| | mean | 0.394 | | σ | 0.002 | | min | 0.390 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.428 | | σ | 0.036 | | min | 2174.373 | | max | 2174.469 |
| | mean | 2737.000 | | σ | 0.000 | | min | 2737.000 | | max | 2737.000 |
| | mean | 2.795 | | σ | 0.077 | | min | 2.709 | | max | 2.875 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.394 | | σ | 1.206 | | min | 5051.080 | | max | 5054.373 |
| | mean | 2737.000 | | σ | 0.000 | | min | 2737.000 | | max | 2737.000 |
| | mean | 9.145 | | σ | 0.442 | | min | 8.503 | | max | 9.690 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.402 | | σ | 0.117 | | min | 5188.249 | | max | 5188.526 |
| | mean | 3241.600 | | σ | 455.165 | | min | 2737.000 | | max | 3866.000 |
| | mean | 8.753 | | σ | 0.115 | | min | 8.614 | | max | 8.932 |
|