iters=5 new-facts=1 prior-facts=1 | | mean | 286.816 | | σ | 0.042 | | min | 286.770 | | max | 286.866 |
| | mean | 1454.000 | | σ | 0.000 | | min | 1454.000 | | max | 1454.000 |
| | mean | 0.405 | | σ | 0.007 | | min | 0.397 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.268 | | σ | 0.103 | | min | 1297.148 | | max | 1297.406 |
| | mean | 1454.000 | | σ | 0.000 | | min | 1454.000 | | max | 1454.000 |
| | mean | 2.227 | | σ | 0.044 | | min | 2.189 | | max | 2.297 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.378 | | σ | 6.868 | | min | 1538.193 | | max | 1553.662 |
| | mean | 1454.000 | | σ | 0.000 | | min | 1454.000 | | max | 1454.000 |
| | mean | 2.248 | | σ | 0.210 | | min | 2.072 | | max | 2.588 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.124 | | σ | 0.068 | | min | 1859.034 | | max | 1859.201 |
| | mean | 1745.600 | | σ | 213.463 | | min | 1454.000 | | max | 1946.000 |
| | mean | 2.922 | | σ | 0.164 | | min | 2.678 | | max | 3.126 |
|