iters=5 new-facts=1 prior-facts=1 | | mean | 297.581 | | σ | 0.026 | | min | 297.537 | | max | 297.606 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 0.396 | | σ | 0.010 | | min | 0.386 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.528 | | σ | 0.072 | | min | 1320.410 | | max | 1320.595 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 2.009 | | σ | 0.243 | | min | 1.845 | | max | 2.430 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.712 | | σ | 6.929 | | min | 1737.505 | | max | 1753.103 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 3.226 | | σ | 0.252 | | min | 2.997 | | max | 3.565 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.497 | | σ | 0.013 | | min | 2003.482 | | max | 2003.515 |
| | mean | 1854.800 | | σ | 191.316 | | min | 1640.000 | | max | 2114.000 |
| | mean | 3.336 | | σ | 0.155 | | min | 3.132 | | max | 3.540 |
|