iters=5 new-facts=1 prior-facts=1 | | mean | 294.677 | | σ | 0.017 | | min | 294.653 | | max | 294.697 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.382 | | σ | 0.001 | | min | 0.381 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.931 | | σ | 0.101 | | min | 1316.863 | | max | 1317.111 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.971 | | σ | 0.123 | | min | 1.862 | | max | 2.138 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.272 | | σ | 6.868 | | min | 1551.974 | | max | 1567.551 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.305 | | σ | 0.314 | | min | 2.104 | | max | 2.838 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.766 | | σ | 0.033 | | min | 1884.736 | | max | 1884.822 |
| | mean | 1782.200 | | σ | 161.869 | | min | 1655.000 | | max | 2039.000 |
| | mean | 2.939 | | σ | 0.070 | | min | 2.867 | | max | 3.030 |
|