iters=5 new-facts=1 prior-facts=1 | | mean | 270.127 | | σ | 0.006 | | min | 270.117 | | max | 270.134 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 0.381 | | σ | 0.003 | | min | 0.379 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.598 | | σ | 0.008 | | min | 1930.588 | | max | 1930.608 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 2.495 | | σ | 0.041 | | min | 2.463 | | max | 2.564 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.860 | | σ | 1.106 | | min | 4749.966 | | max | 4752.783 |
| | mean | 2504.000 | | σ | 0.000 | | min | 2504.000 | | max | 2504.000 |
| | mean | 8.663 | | σ | 0.556 | | min | 7.710 | | max | 9.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.561 | | σ | 0.076 | | min | 4941.475 | | max | 4941.627 |
| | mean | 2988.000 | | σ | 282.571 | | min | 2600.000 | | max | 3323.000 |
| | mean | 8.467 | | σ | 0.129 | | min | 8.372 | | max | 8.681 |
|