iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.011 | | min | 285.392 | | max | 285.417 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.377 | | σ | 0.004 | | min | 0.375 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.372 | | σ | 0.128 | | min | 1285.305 | | max | 1285.601 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.866 | | σ | 0.095 | | min | 1.748 | | max | 1.951 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.696 | | σ | 7.019 | | min | 1804.316 | | max | 1820.235 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.121 | | σ | 0.229 | | min | 3.802 | | max | 4.437 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.193 | | σ | 0.008 | | min | 2070.183 | | max | 2070.206 |
| | mean | 1836.200 | | σ | 144.571 | | min | 1639.000 | | max | 2030.000 |
| | mean | 4.553 | | σ | 0.155 | | min | 4.433 | | max | 4.806 |
|