iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.010 | | min | 285.393 | | max | 285.419 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 0.375 | | σ | 0.005 | | min | 0.373 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.339 | | σ | 0.059 | | min | 1285.307 | | max | 1285.444 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 1.932 | | σ | 0.118 | | min | 1.810 | | max | 2.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.727 | | σ | 6.987 | | min | 1804.375 | | max | 1820.213 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 4.174 | | σ | 0.247 | | min | 3.943 | | max | 4.501 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.191 | | σ | 0.006 | | min | 2070.182 | | max | 2070.197 |
| | mean | 1864.000 | | σ | 200.975 | | min | 1641.000 | | max | 2096.000 |
| | mean | 4.442 | | σ | 0.078 | | min | 4.323 | | max | 4.536 |
|