iters=5 new-facts=1 prior-facts=1 | | mean | 285.679 | | σ | 0.014 | | min | 285.656 | | max | 285.690 |
| | mean | 1525.000 | | σ | 0.000 | | min | 1525.000 | | max | 1525.000 |
| | mean | 0.382 | | σ | 0.011 | | min | 0.373 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.636 | | σ | 0.123 | | min | 1285.573 | | max | 1285.856 |
| | mean | 1525.000 | | σ | 0.000 | | min | 1525.000 | | max | 1525.000 |
| | mean | 1.925 | | σ | 0.127 | | min | 1.853 | | max | 2.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.961 | | σ | 7.025 | | min | 1804.598 | | max | 1820.514 |
| | mean | 1525.000 | | σ | 0.000 | | min | 1525.000 | | max | 1525.000 |
| | mean | 4.158 | | σ | 0.211 | | min | 3.980 | | max | 4.392 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.463 | | σ | 0.010 | | min | 2070.450 | | max | 2070.478 |
| | mean | 1826.400 | | σ | 183.021 | | min | 1602.000 | | max | 2067.000 |
| | mean | 4.540 | | σ | 0.079 | | min | 4.446 | | max | 4.632 |
|