iters=5 new-facts=1 prior-facts=1 | | mean | 285.395 | | σ | 0.013 | | min | 285.374 | | max | 285.410 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.384 | | σ | 0.009 | | min | 0.374 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.354 | | σ | 0.130 | | min | 1285.289 | | max | 1285.587 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 2.011 | | σ | 0.153 | | min | 1.852 | | max | 2.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.717 | | σ | 6.993 | | min | 1804.314 | | max | 1820.209 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 4.277 | | σ | 0.307 | | min | 3.978 | | max | 4.773 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.176 | | σ | 0.009 | | min | 2070.165 | | max | 2070.190 |
| | mean | 1831.800 | | σ | 169.188 | | min | 1637.000 | | max | 2067.000 |
| | mean | 4.485 | | σ | 0.057 | | min | 4.417 | | max | 4.562 |
|