iters=5 new-facts=1 prior-facts=1 | | mean | 269.918 | | σ | 0.011 | | min | 269.903 | | max | 269.931 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 0.374 | | σ | 0.007 | | min | 0.370 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.399 | | σ | 0.006 | | min | 1930.392 | | max | 1930.408 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 2.477 | | σ | 0.076 | | min | 2.360 | | max | 2.546 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.916 | | σ | 0.747 | | min | 4750.545 | | max | 4752.250 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 8.218 | | σ | 0.325 | | min | 7.739 | | max | 8.503 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.263 | | σ | 0.125 | | min | 4941.076 | | max | 4941.426 |
| | mean | 3045.800 | | σ | 195.782 | | min | 2855.000 | | max | 3319.000 |
| | mean | 8.522 | | σ | 0.133 | | min | 8.377 | | max | 8.654 |
|