iters=5 new-facts=1 prior-facts=1 | | mean | 286.820 | | σ | 0.040 | | min | 286.768 | | max | 286.862 |
| | mean | 1620.000 | | σ | 0.000 | | min | 1620.000 | | max | 1620.000 |
| | mean | 0.397 | | σ | 0.007 | | min | 0.389 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.208 | | σ | 0.110 | | min | 1297.085 | | max | 1297.355 |
| | mean | 1620.000 | | σ | 0.000 | | min | 1620.000 | | max | 1620.000 |
| | mean | 1.874 | | σ | 0.067 | | min | 1.798 | | max | 1.933 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.341 | | σ | 6.827 | | min | 1538.100 | | max | 1553.550 |
| | mean | 1620.000 | | σ | 0.000 | | min | 1620.000 | | max | 1620.000 |
| | mean | 2.147 | | σ | 0.132 | | min | 2.047 | | max | 2.371 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112 | | σ | 0.061 | | min | 1859.052 | | max | 1859.193 |
| | mean | 1771.200 | | σ | 178.469 | | min | 1620.000 | | max | 2032.000 |
| | mean | 2.889 | | σ | 0.041 | | min | 2.858 | | max | 2.956 |
|