iters=5 new-facts=1 prior-facts=1 | | mean | 281.495 | | σ | 0.041 | | min | 281.445 | | max | 281.537 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.394 | | σ | 0.008 | | min | 0.384 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.483 | | σ | 0.104 | | min | 1291.366 | | max | 1291.624 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 1.882 | | σ | 0.095 | | min | 1.796 | | max | 2.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.349 | | σ | 3.999 | | min | 1532.358 | | max | 1541.497 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 2.177 | | σ | 0.165 | | min | 2.009 | | max | 2.420 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.357 | | σ | 0.048 | | min | 1853.300 | | max | 1853.414 |
| | mean | 1784.400 | | σ | 163.995 | | min | 1653.000 | | max | 2026.000 |
| | mean | 2.906 | | σ | 0.075 | | min | 2.838 | | max | 2.992 |
|