iters=5 new-facts=1 prior-facts=1 | | mean | 281.494 | | σ | 0.039 | | min | 281.446 | | max | 281.535 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.388 | | σ | 0.008 | | min | 0.378 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.481 | | σ | 0.106 | | min | 1291.362 | | max | 1291.607 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 1.882 | | σ | 0.093 | | min | 1.813 | | max | 2.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.334 | | σ | 3.964 | | min | 1532.331 | | max | 1541.415 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.279 | | σ | 0.125 | | min | 2.139 | | max | 2.416 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.357 | | σ | 0.054 | | min | 1853.307 | | max | 1853.436 |
| | mean | 1784.200 | | σ | 142.143 | | min | 1630.000 | | max | 1929.000 |
| | mean | 3.077 | | σ | 0.309 | | min | 2.874 | | max | 3.620 |
|