iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.013 | | min | 285.372 | | max | 285.405 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.378 | | σ | 0.008 | | min | 0.374 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.347 | | σ | 0.107 | | min | 1285.290 | | max | 1285.538 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.002 | | σ | 0.254 | | min | 1.773 | | max | 2.381 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.690 | | σ | 7.001 | | min | 1804.333 | | max | 1820.199 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.187 | | σ | 0.200 | | min | 3.861 | | max | 4.385 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.176 | | σ | 0.010 | | min | 2070.168 | | max | 2070.193 |
| | mean | 1837.000 | | σ | 169.663 | | min | 1639.000 | | max | 2073.000 |
| | mean | 4.557 | | σ | 0.127 | | min | 4.459 | | max | 4.776 |
|