iters=5 new-facts=1 prior-facts=1 | | mean | 285.675 | | σ | 0.014 | | min | 285.653 | | max | 285.686 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 0.379 | | σ | 0.008 | | min | 0.373 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.642 | | σ | 0.134 | | min | 1285.580 | | max | 1285.881 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 1.927 | | σ | 0.141 | | min | 1.819 | | max | 2.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.970 | | σ | 7.015 | | min | 1804.614 | | max | 1820.504 |
| | mean | 1635.000 | | σ | 0.000 | | min | 1635.000 | | max | 1635.000 |
| | mean | 4.168 | | σ | 0.205 | | min | 3.966 | | max | 4.423 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.467 | | σ | 0.007 | | min | 2070.460 | | max | 2070.478 |
| | mean | 1835.400 | | σ | 174.456 | | min | 1635.000 | | max | 2072.000 |
| | mean | 4.540 | | σ | 0.033 | | min | 4.498 | | max | 4.587 |
|