iters=5 new-facts=1 prior-facts=1 | | mean | 279.486 | | σ | 0.006 | | min | 279.478 | | max | 279.493 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.405 | | σ | 0.002 | | min | 0.403 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.400 | | σ | 0.042 | | min | 2178.334 | | max | 2178.442 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 3.538 | | σ | 0.271 | | min | 3.298 | | max | 3.989 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.214 | | σ | 1.077 | | min | 5055.142 | | max | 5058.026 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 9.045 | | σ | 0.514 | | min | 8.147 | | max | 9.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.650 | | σ | 0.125 | | min | 5193.488 | | max | 5193.830 |
| | mean | 3266.600 | | σ | 412.500 | | min | 2695.000 | | max | 3652.000 |
| | mean | 8.951 | | σ | 0.243 | | min | 8.654 | | max | 9.287 |
|