iters=5 new-facts=1 prior-facts=1 | | mean | 279.514 | | σ | 0.011 | | min | 279.495 | | max | 279.524 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.415 | | σ | 0.014 | | min | 0.404 | | max | 0.438 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.451 | | σ | 0.011 | | min | 2178.441 | | max | 2178.470 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 3.311 | | σ | 0.177 | | min | 3.006 | | max | 3.459 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.374 | | σ | 0.990 | | min | 5055.774 | | max | 5058.131 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 9.184 | | σ | 0.463 | | min | 8.393 | | max | 9.569 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.659 | | σ | 0.086 | | min | 5193.512 | | max | 5193.730 |
| | mean | 3304.800 | | σ | 454.169 | | min | 2838.000 | | max | 3944.000 |
| | mean | 8.796 | | σ | 0.169 | | min | 8.650 | | max | 8.996 |
|