iters=5 new-facts=1 prior-facts=1 | | mean | 303.792 | | σ | 0.047 | | min | 303.731 | | max | 303.840 |
| | mean | 1510.000 | | σ | 0.000 | | min | 1510.000 | | max | 1510.000 |
| | mean | 0.394 | | σ | 0.002 | | min | 0.390 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.340 | | σ | 0.114 | | min | 1326.200 | | max | 1326.473 |
| | mean | 1510.000 | | σ | 0.000 | | min | 1510.000 | | max | 1510.000 |
| | mean | 1.913 | | σ | 0.105 | | min | 1.835 | | max | 2.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.396 | | σ | 6.926 | | min | 1561.100 | | max | 1576.781 |
| | mean | 1510.000 | | σ | 0.000 | | min | 1510.000 | | max | 1510.000 |
| | mean | 2.339 | | σ | 0.292 | | min | 2.050 | | max | 2.749 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.279 | | σ | 0.071 | | min | 1894.154 | | max | 1894.325 |
| | mean | 1731.600 | | σ | 211.193 | | min | 1510.000 | | max | 2027.000 |
| | mean | 2.938 | | σ | 0.129 | | min | 2.871 | | max | 3.169 |
|