iters=5 new-facts=1 prior-facts=1 | | mean | 190.717 | | σ | 0.003 | | min | 190.713 | | max | 190.722 |
| | mean | 2614.000 | | σ | 0.000 | | min | 2614.000 | | max | 2614.000 |
| | mean | 0.279 | | σ | 0.001 | | min | 0.278 | | max | 0.280 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.500 | | σ | 0.011 | | min | 1989.490 | | max | 1989.514 |
| | mean | 2614.000 | | σ | 0.000 | | min | 2614.000 | | max | 2614.000 |
| | mean | 2.589 | | σ | 0.192 | | min | 2.316 | | max | 2.759 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.966 | | σ | 0.701 | | min | 4879.139 | | max | 4881.071 |
| | mean | 2614.000 | | σ | 0.000 | | min | 2614.000 | | max | 2614.000 |
| | mean | 8.192 | | σ | 0.167 | | min | 8.053 | | max | 8.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.698 | | σ | 0.093 | | min | 4891.617 | | max | 4891.802 |
| | mean | 3270.400 | | σ | 489.116 | | min | 2614.000 | | max | 3733.000 |
| | mean | 8.090 | | σ | 0.188 | | min | 7.908 | | max | 8.388 |
|