iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.015 | | min | 285.383 | | max | 285.422 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.380 | | σ | 0.009 | | min | 0.373 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.376 | | σ | 0.136 | | min | 1285.307 | | max | 1285.619 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.938 | | σ | 0.119 | | min | 1.832 | | max | 2.123 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.728 | | σ | 6.961 | | min | 1804.381 | | max | 1820.163 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 4.198 | | σ | 0.156 | | min | 4.073 | | max | 4.466 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196 | | σ | 0.008 | | min | 2070.184 | | max | 2070.205 |
| | mean | 1835.400 | | σ | 181.182 | | min | 1629.000 | | max | 2073.000 |
| | mean | 4.491 | | σ | 0.025 | | min | 4.475 | | max | 4.536 |
|