iters=5 new-facts=1 prior-facts=1 | | mean | 286.822 | | σ | 0.034 | | min | 286.776 | | max | 286.859 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.387 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.284 | | σ | 0.082 | | min | 1297.191 | | max | 1297.405 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.230 | | σ | 0.058 | | min | 2.184 | | max | 2.331 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.334 | | σ | 6.830 | | min | 1538.107 | | max | 1553.548 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.227 | | σ | 0.121 | | min | 2.139 | | max | 2.440 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.116 | | σ | 0.063 | | min | 1859.032 | | max | 1859.189 |
| | mean | 1773.800 | | σ | 178.788 | | min | 1618.000 | | max | 2026.000 |
| | mean | 3.050 | | σ | 0.309 | | min | 2.843 | | max | 3.584 |
|