iters=5 new-facts=1 prior-facts=1 | | mean | 285.415 | | σ | 0.010 | | min | 285.399 | | max | 285.423 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 0.379 | | σ | 0.008 | | min | 0.373 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.375 | | σ | 0.137 | | min | 1285.308 | | max | 1285.621 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 1.880 | | σ | 0.074 | | min | 1.807 | | max | 1.993 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.691 | | σ | 7.017 | | min | 1804.327 | | max | 1820.231 |
| | mean | 1653.000 | | σ | 0.000 | | min | 1653.000 | | max | 1653.000 |
| | mean | 4.122 | | σ | 0.215 | | min | 3.806 | | max | 4.395 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.202 | | σ | 0.014 | | min | 2070.190 | | max | 2070.226 |
| | mean | 1840.800 | | σ | 165.940 | | min | 1653.000 | | max | 2068.000 |
| | mean | 4.517 | | σ | 0.175 | | min | 4.300 | | max | 4.750 |
|