iters=5 new-facts=1 prior-facts=1 | | mean | 282.193 | | σ | 0.009 | | min | 282.184 | | max | 282.205 |
| | mean | 2691.000 | | σ | 0.000 | | min | 2691.000 | | max | 2691.000 |
| | mean | 0.412 | | σ | 0.011 | | min | 0.405 | | max | 0.432 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.715 | | σ | 0.012 | | min | 2174.700 | | max | 2174.729 |
| | mean | 2691.000 | | σ | 0.000 | | min | 2691.000 | | max | 2691.000 |
| | mean | 2.926 | | σ | 0.119 | | min | 2.770 | | max | 3.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.536 | | σ | 0.963 | | min | 5054.011 | | max | 5056.250 |
| | mean | 2691.000 | | σ | 0.000 | | min | 2691.000 | | max | 2691.000 |
| | mean | 8.994 | | σ | 0.457 | | min | 8.258 | | max | 9.425 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.661 | | σ | 0.079 | | min | 5185.580 | | max | 5185.750 |
| | mean | 3234.400 | | σ | 392.210 | | min | 2702.000 | | max | 3738.000 |
| | mean | 9.616 | | σ | 0.509 | | min | 8.746 | | max | 10.065 |
|