iters=5 new-facts=1 prior-facts=1 | | mean | 303.784 | | σ | 0.047 | | min | 303.708 | | max | 303.829 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.393 | | σ | 0.001 | | min | 0.391 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.349 | | σ | 0.108 | | min | 1326.233 | | max | 1326.515 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.056 | | σ | 0.193 | | min | 1.848 | | max | 2.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.485 | | σ | 6.829 | | min | 1561.309 | | max | 1576.699 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.421 | | σ | 0.151 | | min | 2.235 | | max | 2.617 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.280 | | σ | 0.068 | | min | 1894.164 | | max | 1894.342 |
| | mean | 1788.200 | | σ | 167.691 | | min | 1628.000 | | max | 1962.000 |
| | mean | 3.112 | | σ | 0.165 | | min | 2.886 | | max | 3.311 |
|