iters=5 new-facts=1 prior-facts=1 | | mean | 303.770 | | σ | 0.092 | | min | 303.617 | | max | 303.847 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 0.401 | | σ | 0.011 | | min | 0.390 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.335 | | σ | 0.109 | | min | 1326.198 | | max | 1326.472 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 1.943 | | σ | 0.098 | | min | 1.835 | | max | 2.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.414 | | σ | 6.915 | | min | 1561.118 | | max | 1576.780 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 2.346 | | σ | 0.247 | | min | 2.067 | | max | 2.699 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.284 | | σ | 0.071 | | min | 1894.158 | | max | 1894.325 |
| | mean | 1758.600 | | σ | 210.909 | | min | 1517.000 | | max | 2031.000 |
| | mean | 3.041 | | σ | 0.112 | | min | 2.904 | | max | 3.200 |
|