iters=5 new-facts=1 prior-facts=1 | | mean | 299.436 | | σ | 0.063 | | min | 299.337 | | max | 299.494 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 0.390 | | σ | 0.007 | | min | 0.386 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.873 | | σ | 0.083 | | min | 1309.766 | | max | 1309.983 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 1.864 | | σ | 0.129 | | min | 1.660 | | max | 2.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.980 | | σ | 6.874 | | min | 1550.652 | | max | 1566.271 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 2.304 | | σ | 0.233 | | min | 2.041 | | max | 2.643 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.762 | | σ | 0.045 | | min | 1871.703 | | max | 1871.810 |
| | mean | 1733.400 | | σ | 173.458 | | min | 1524.000 | | max | 1976.000 |
| | mean | 2.875 | | σ | 0.041 | | min | 2.827 | | max | 2.935 |
|