iters=5 new-facts=1 prior-facts=1 | | mean | 287.359 | | σ | 0.012 | | min | 287.340 | | max | 287.370 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.377 | | σ | 0.003 | | min | 0.374 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.276 | | σ | 0.026 | | min | 1287.262 | | max | 1287.321 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.889 | | σ | 0.102 | | min | 1.808 | | max | 2.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.671 | | σ | 7.007 | | min | 1806.283 | | max | 1822.190 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 4.245 | | σ | 0.301 | | min | 3.853 | | max | 4.649 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.159 | | σ | 0.007 | | min | 2072.152 | | max | 2072.169 |
| | mean | 1842.200 | | σ | 195.001 | | min | 1632.000 | | max | 2085.000 |
| | mean | 4.940 | | σ | 0.099 | | min | 4.795 | | max | 5.063 |
|