iters=5 new-facts=1 prior-facts=1 | | mean | 285.677 | | σ | 0.015 | | min | 285.652 | | max | 285.694 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.374 | | σ | 0.001 | | min | 0.373 | | max | 0.375 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.646 | | σ | 0.142 | | min | 1285.578 | | max | 1285.899 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.930 | | σ | 0.143 | | min | 1.854 | | max | 2.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1808.003 | | σ | 6.991 | | min | 1804.585 | | max | 1820.492 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.196 | | σ | 0.251 | | min | 3.873 | | max | 4.393 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.467 | | σ | 0.012 | | min | 2070.453 | | max | 2070.485 |
| | mean | 1843.600 | | σ | 182.410 | | min | 1639.000 | | max | 2081.000 |
| | mean | 4.510 | | σ | 0.020 | | min | 4.481 | | max | 4.535 |
|