iters=5 new-facts=1 prior-facts=1 | | mean | 294.681 | | σ | 0.010 | | min | 294.666 | | max | 294.694 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 0.383 | | σ | 0.005 | | min | 0.379 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.936 | | σ | 0.102 | | min | 1316.860 | | max | 1317.116 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 1.872 | | σ | 0.102 | | min | 1.746 | | max | 1.966 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.288 | | σ | 6.878 | | min | 1551.959 | | max | 1567.586 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 2.287 | | σ | 0.248 | | min | 2.128 | | max | 2.724 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.780 | | σ | 0.041 | | min | 1884.749 | | max | 1884.852 |
| | mean | 1782.000 | | σ | 166.337 | | min | 1651.000 | | max | 2032.000 |
| | mean | 2.943 | | σ | 0.115 | | min | 2.872 | | max | 3.147 |
|