iters=5 new-facts=1 prior-facts=1 | | mean | 273.891 | | σ | 0.011 | | min | 273.876 | | max | 273.901 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 0.415 | | σ | 0.012 | | min | 0.406 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.153 | | σ | 0.007 | | min | 2264.147 | | max | 2264.164 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 3.448 | | σ | 0.291 | | min | 2.945 | | max | 3.680 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.251 | | σ | 0.757 | | min | 4950.828 | | max | 4952.598 |
| | mean | 2612.000 | | σ | 0.000 | | min | 2612.000 | | max | 2612.000 |
| | mean | 7.882 | | σ | 0.130 | | min | 7.730 | | max | 8.072 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5165.724 | | σ | 0.225 | | min | 5165.515 | | max | 5166.030 |
| | mean | 3393.200 | | σ | 529.526 | | min | 2919.000 | | max | 4155.000 |
| | mean | 9.282 | | σ | 0.201 | | min | 9.074 | | max | 9.547 |
|