iters=5 new-facts=1 prior-facts=1 | | mean | 297.301 | | σ | 0.020 | | min | 297.280 | | max | 297.321 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 0.391 | | σ | 0.006 | | min | 0.386 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.009 | | σ | 0.036 | | min | 1298.957 | | max | 1299.051 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 1.969 | | σ | 0.161 | | min | 1.830 | | max | 2.206 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.173 | | σ | 6.907 | | min | 1715.983 | | max | 1731.524 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 2.918 | | σ | 0.324 | | min | 2.515 | | max | 3.391 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.950 | | σ | 0.023 | | min | 1981.914 | | max | 1981.971 |
| | mean | 1893.200 | | σ | 224.930 | | min | 1626.000 | | max | 2173.000 |
| | mean | 3.213 | | σ | 0.072 | | min | 3.123 | | max | 3.293 |
|