iters=5 new-facts=1 prior-facts=1 | | mean | 285.385 | | σ | 0.009 | | min | 285.376 | | max | 285.396 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.377 | | σ | 0.001 | | min | 0.376 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.375 | | σ | 0.135 | | min | 1285.308 | | max | 1285.616 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.879 | | σ | 0.060 | | min | 1.821 | | max | 1.977 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.704 | | σ | 6.992 | | min | 1804.384 | | max | 1820.201 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 4.233 | | σ | 0.231 | | min | 3.997 | | max | 4.486 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195 | | σ | 0.012 | | min | 2070.185 | | max | 2070.214 |
| | mean | 1849.200 | | σ | 207.970 | | min | 1636.000 | | max | 2086.000 |
| | mean | 4.489 | | σ | 0.109 | | min | 4.405 | | max | 4.615 |
|