iters=5 new-facts=1 prior-facts=1 | | mean | 294.674 | | σ | 0.015 | | min | 294.653 | | max | 294.693 |
| | mean | 1463.000 | | σ | 0.000 | | min | 1463.000 | | max | 1463.000 |
| | mean | 0.386 | | σ | 0.005 | | min | 0.381 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.927 | | σ | 0.102 | | min | 1316.854 | | max | 1317.107 |
| | mean | 1463.000 | | σ | 0.000 | | min | 1463.000 | | max | 1463.000 |
| | mean | 1.930 | | σ | 0.079 | | min | 1.844 | | max | 2.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.269 | | σ | 6.872 | | min | 1551.980 | | max | 1567.557 |
| | mean | 1463.000 | | σ | 0.000 | | min | 1463.000 | | max | 1463.000 |
| | mean | 2.330 | | σ | 0.273 | | min | 2.170 | | max | 2.814 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.773 | | σ | 0.041 | | min | 1884.734 | | max | 1884.843 |
| | mean | 1732.000 | | σ | 232.339 | | min | 1463.000 | | max | 2058.000 |
| | mean | 2.998 | | σ | 0.158 | | min | 2.888 | | max | 3.273 |
|