iters=5 new-facts=1 prior-facts=1 | | mean | 281.499 | | σ | 0.039 | | min | 281.454 | | max | 281.540 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.386 | | σ | 0.007 | | min | 0.376 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.488 | | σ | 0.113 | | min | 1291.367 | | max | 1291.630 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.905 | | σ | 0.097 | | min | 1.802 | | max | 2.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.353 | | σ | 4.008 | | min | 1532.323 | | max | 1541.512 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.359 | | σ | 0.204 | | min | 2.110 | | max | 2.566 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.377 | | σ | 0.088 | | min | 1853.276 | | max | 1853.470 |
| | mean | 1777.200 | | σ | 151.680 | | min | 1629.000 | | max | 1932.000 |
| | mean | 2.934 | | σ | 0.110 | | min | 2.837 | | max | 3.093 |
|