iters=5 new-facts=1 prior-facts=1 | | mean | 282.193 | | σ | 0.008 | | min | 282.184 | | max | 282.201 |
| | mean | 2790.000 | | σ | 0.000 | | min | 2790.000 | | max | 2790.000 |
| | mean | 0.408 | | σ | 0.003 | | min | 0.403 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.715 | | σ | 0.008 | | min | 2174.705 | | max | 2174.727 |
| | mean | 2790.000 | | σ | 0.000 | | min | 2790.000 | | max | 2790.000 |
| | mean | 2.977 | | σ | 0.134 | | min | 2.808 | | max | 3.144 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.562 | | σ | 1.018 | | min | 5053.954 | | max | 5056.366 |
| | mean | 2790.000 | | σ | 0.000 | | min | 2790.000 | | max | 2790.000 |
| | mean | 9.137 | | σ | 0.721 | | min | 8.047 | | max | 10.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.610 | | σ | 0.190 | | min | 5185.295 | | max | 5185.770 |
| | mean | 3255.600 | | σ | 364.611 | | min | 2790.000 | | max | 3739.000 |
| | mean | 10.048 | | σ | 0.379 | | min | 9.447 | | max | 10.493 |
|