iters=5 new-facts=1 prior-facts=1 | | mean | 270.140 | | σ | 0.007 | | min | 270.130 | | max | 270.150 |
| | mean | 2776.000 | | σ | 0.000 | | min | 2776.000 | | max | 2776.000 |
| | mean | 0.376 | | σ | 0.004 | | min | 0.369 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.602 | | σ | 0.020 | | min | 1930.571 | | max | 1930.619 |
| | mean | 2776.000 | | σ | 0.000 | | min | 2776.000 | | max | 2776.000 |
| | mean | 2.526 | | σ | 0.071 | | min | 2.479 | | max | 2.649 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.319 | | σ | 0.865 | | min | 4750.865 | | max | 4752.864 |
| | mean | 2776.000 | | σ | 0.000 | | min | 2776.000 | | max | 2776.000 |
| | mean | 8.350 | | σ | 0.433 | | min | 7.684 | | max | 8.738 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.694 | | σ | 0.147 | | min | 4941.433 | | max | 4941.785 |
| | mean | 3036.200 | | σ | 226.153 | | min | 2776.000 | | max | 3314.000 |
| | mean | 8.524 | | σ | 0.110 | | min | 8.406 | | max | 8.640 |
|