iters=5 new-facts=1 prior-facts=1 | | mean | 300.686 | | σ | 0.023 | | min | 300.657 | | max | 300.707 |
| | mean | 1510.000 | | σ | 0.000 | | min | 1510.000 | | max | 1510.000 |
| | mean | 0.395 | | σ | 0.005 | | min | 0.391 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.884 | | σ | 0.095 | | min | 1322.803 | | max | 1323.031 |
| | mean | 1510.000 | | σ | 0.000 | | min | 1510.000 | | max | 1510.000 |
| | mean | 1.910 | | σ | 0.083 | | min | 1.801 | | max | 2.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.292 | | σ | 6.893 | | min | 1557.967 | | max | 1573.617 |
| | mean | 1510.000 | | σ | 0.000 | | min | 1510.000 | | max | 1510.000 |
| | mean | 2.236 | | σ | 0.234 | | min | 2.098 | | max | 2.651 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.804 | | σ | 0.023 | | min | 1890.788 | | max | 1890.840 |
| | mean | 1760.800 | | σ | 155.765 | | min | 1526.000 | | max | 1953.000 |
| | mean | 2.939 | | σ | 0.166 | | min | 2.794 | | max | 3.224 |
|