iters=5 new-facts=1 prior-facts=1 | | mean | 285.440 | | σ | 0.011 | | min | 285.422 | | max | 285.451 |
| | mean | 1448.000 | | σ | 0.000 | | min | 1448.000 | | max | 1448.000 |
| | mean | 0.389 | | σ | 0.013 | | min | 0.375 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.520 | | σ | 0.059 | | min | 1285.416 | | max | 1285.560 |
| | mean | 1448.000 | | σ | 0.000 | | min | 1448.000 | | max | 1448.000 |
| | mean | 1.944 | | σ | 0.167 | | min | 1.801 | | max | 2.155 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.834 | | σ | 6.871 | | min | 1702.652 | | max | 1718.123 |
| | mean | 1448.000 | | σ | 0.000 | | min | 1448.000 | | max | 1448.000 |
| | mean | 2.908 | | σ | 0.229 | | min | 2.727 | | max | 3.276 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.431 | | σ | 0.038 | | min | 1968.376 | | max | 1968.477 |
| | mean | 1780.200 | | σ | 196.122 | | min | 1537.000 | | max | 2037.000 |
| | mean | 3.320 | | σ | 0.340 | | min | 3.093 | | max | 3.920 |
|