iters=5 new-facts=1 prior-facts=1 | | mean | 286.832 | | σ | 0.038 | | min | 286.784 | | max | 286.869 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.397 | | σ | 0.006 | | min | 0.391 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.222 | | σ | 0.107 | | min | 1297.108 | | max | 1297.383 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 1.901 | | σ | 0.090 | | min | 1.810 | | max | 1.999 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.366 | | σ | 6.830 | | min | 1538.102 | | max | 1553.582 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 2.124 | | σ | 0.175 | | min | 1.957 | | max | 2.412 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.138 | | σ | 0.062 | | min | 1859.075 | | max | 1859.217 |
| | mean | 1777.400 | | σ | 144.949 | | min | 1638.000 | | max | 1927.000 |
| | mean | 2.898 | | σ | 0.116 | | min | 2.789 | | max | 3.095 |
|