iters=5 new-facts=1 prior-facts=1 | | mean | 281.910 | | σ | 0.007 | | min | 281.902 | | max | 281.919 |
| | mean | 2604.000 | | σ | 0.000 | | min | 2604.000 | | max | 2604.000 |
| | mean | 0.404 | | σ | 0.005 | | min | 0.400 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.113 | | σ | 0.016 | | min | 2176.103 | | max | 2176.141 |
| | mean | 2604.000 | | σ | 0.000 | | min | 2604.000 | | max | 2604.000 |
| | mean | 2.865 | | σ | 0.141 | | min | 2.750 | | max | 3.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4899.392 | | σ | 354.927 | | min | 4264.482 | | max | 5059.636 |
| | mean | 2604.000 | | σ | 0.000 | | min | 2604.000 | | max | 2604.000 |
| | mean | 9.144 | | σ | 0.761 | | min | 7.789 | | max | 9.593 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5206.459 | | σ | 0.177 | | min | 5206.160 | | max | 5206.597 |
| | mean | 3141.800 | | σ | 453.662 | | min | 2604.000 | | max | 3755.000 |
| | mean | 9.913 | | σ | 0.351 | | min | 9.499 | | max | 10.296 |
|