iters=5 new-facts=1 prior-facts=1 | | mean | 274.877 | | σ | 0.011 | | min | 274.862 | | max | 274.888 |
| | mean | 2652.000 | | σ | 0.000 | | min | 2652.000 | | max | 2652.000 |
| | mean | 0.410 | | σ | 0.003 | | min | 0.407 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2265.121 | | σ | 0.010 | | min | 2265.106 | | max | 2265.134 |
| | mean | 2652.000 | | σ | 0.000 | | min | 2652.000 | | max | 2652.000 |
| | mean | 2.925 | | σ | 0.106 | | min | 2.812 | | max | 3.089 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.206 | | σ | 0.813 | | min | 4951.726 | | max | 4953.647 |
| | mean | 2652.000 | | σ | 0.000 | | min | 2652.000 | | max | 2652.000 |
| | mean | 8.062 | | σ | 0.206 | | min | 7.829 | | max | 8.280 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.925 | | σ | 0.087 | | min | 5166.850 | | max | 5167.022 |
| | mean | 3440.400 | | σ | 469.085 | | min | 2813.000 | | max | 4041.000 |
| | mean | 9.470 | | σ | 0.219 | | min | 9.124 | | max | 9.712 |
|