iters=5 new-facts=1 prior-facts=1 | | mean | 303.510 | | σ | 0.059 | | min | 303.414 | | max | 303.561 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.389 | | σ | 0.001 | | min | 0.388 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.056 | | σ | 0.100 | | min | 1325.931 | | max | 1326.183 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.904 | | σ | 0.068 | | min | 1.837 | | max | 1.992 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.135 | | σ | 6.921 | | min | 1560.837 | | max | 1576.513 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 2.379 | | σ | 0.352 | | min | 2.047 | | max | 2.804 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.005 | | σ | 0.063 | | min | 1893.894 | | max | 1894.046 |
| | mean | 1770.000 | | σ | 169.294 | | min | 1632.000 | | max | 2031.000 |
| | mean | 2.923 | | σ | 0.117 | | min | 2.853 | | max | 3.131 |
|