iters=5 new-facts=1 prior-facts=1 | | mean | 303.516 | | σ | 0.058 | | min | 303.422 | | max | 303.568 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.398 | | σ | 0.011 | | min | 0.390 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.046 | | σ | 0.102 | | min | 1325.925 | | max | 1326.200 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.937 | | σ | 0.134 | | min | 1.822 | | max | 2.145 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.112 | | σ | 6.911 | | min | 1560.784 | | max | 1576.469 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 2.304 | | σ | 0.281 | | min | 2.057 | | max | 2.634 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.007 | | σ | 0.071 | | min | 1893.882 | | max | 1894.052 |
| | mean | 1780.400 | | σ | 172.155 | | min | 1636.000 | | max | 2030.000 |
| | mean | 2.999 | | σ | 0.161 | | min | 2.864 | | max | 3.214 |
|