iters=5 new-facts=1 prior-facts=1 | | mean | 301.475 | | σ | 0.063 | | min | 301.374 | | max | 301.534 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 0.395 | | σ | 0.006 | | min | 0.391 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.060 | | σ | 0.110 | | min | 1323.924 | | max | 1324.198 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 1.881 | | σ | 0.058 | | min | 1.820 | | max | 1.965 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.077 | | σ | 6.911 | | min | 1558.798 | | max | 1574.436 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 2.300 | | σ | 0.290 | | min | 2.027 | | max | 2.639 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.978 | | σ | 0.067 | | min | 1891.859 | | max | 1892.016 |
| | mean | 1731.200 | | σ | 209.771 | | min | 1511.000 | | max | 2013.000 |
| | mean | 2.903 | | σ | 0.033 | | min | 2.876 | | max | 2.957 |
|