iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.014 | | min | 285.391 | | max | 285.430 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 0.377 | | σ | 0.007 | | min | 0.371 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.364 | | σ | 0.111 | | min | 1285.309 | | max | 1285.562 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 2.029 | | σ | 0.265 | | min | 1.822 | | max | 2.449 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.715 | | σ | 7.004 | | min | 1804.353 | | max | 1820.229 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 4.211 | | σ | 0.230 | | min | 3.852 | | max | 4.440 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.197 | | σ | 0.009 | | min | 2070.186 | | max | 2070.207 |
| | mean | 1836.400 | | σ | 173.961 | | min | 1640.000 | | max | 2073.000 |
| | mean | 4.593 | | σ | 0.160 | | min | 4.474 | | max | 4.871 |
|