iters=5 new-facts=1 prior-facts=1 | | mean | 285.657 | | σ | 0.012 | | min | 285.636 | | max | 285.668 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.377 | | σ | 0.002 | | min | 0.375 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.623 | | σ | 0.137 | | min | 1285.556 | | max | 1285.868 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.856 | | σ | 0.081 | | min | 1.784 | | max | 1.989 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.942 | | σ | 7.026 | | min | 1804.574 | | max | 1820.494 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 4.136 | | σ | 0.201 | | min | 3.977 | | max | 4.467 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.441 | | σ | 0.007 | | min | 2070.431 | | max | 2070.448 |
| | mean | 1853.400 | | σ | 204.940 | | min | 1638.000 | | max | 2082.000 |
| | mean | 4.431 | | σ | 0.023 | | min | 4.404 | | max | 4.461 |
|