iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.041 | | min | 324.640 | | max | 324.738 |
| | mean | 2796.000 | | σ | 0.000 | | min | 2796.000 | | max | 2796.000 |
| | mean | 0.427 | | σ | 0.001 | | min | 0.426 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267 | | σ | 0.009 | | min | 1985.253 | | max | 1985.277 |
| | mean | 2796.000 | | σ | 0.000 | | min | 2796.000 | | max | 2796.000 |
| | mean | 2.597 | | σ | 0.059 | | min | 2.563 | | max | 2.700 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.860 | | σ | 7.689 | | min | 4805.396 | | max | 4822.614 |
| | mean | 2796.000 | | σ | 0.000 | | min | 2796.000 | | max | 2796.000 |
| | mean | 8.927 | | σ | 0.105 | | min | 8.815 | | max | 9.050 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.450 | | σ | 0.044 | | min | 4996.376 | | max | 4996.484 |
| | mean | 3039.200 | | σ | 211.233 | | min | 2796.000 | | max | 3340.000 |
| | mean | 8.674 | | σ | 0.177 | | min | 8.533 | | max | 8.951 |
|