iters=5 new-facts=1 prior-facts=1 | | mean | 272.772 | | σ | 0.006 | | min | 272.764 | | max | 272.781 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 0.383 | | σ | 0.008 | | min | 0.372 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.150 | | σ | 0.016 | | min | 1933.125 | | max | 1933.164 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 2.991 | | σ | 0.106 | | min | 2.820 | | max | 3.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.911 | | σ | 0.854 | | min | 4753.357 | | max | 4755.424 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 8.599 | | σ | 0.519 | | min | 7.926 | | max | 9.363 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.316 | | σ | 0.141 | | min | 4944.064 | | max | 4944.399 |
| | mean | 2896.000 | | σ | 358.837 | | min | 2491.000 | | max | 3402.000 |
| | mean | 8.625 | | σ | 0.341 | | min | 8.368 | | max | 9.171 |
|