iters=5 new-facts=1 prior-facts=1 | | mean | 303.794 | | σ | 0.045 | | min | 303.723 | | max | 303.842 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.394 | | σ | 0.001 | | min | 0.393 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.331 | | σ | 0.104 | | min | 1326.196 | | max | 1326.460 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 1.969 | | σ | 0.125 | | min | 1.833 | | max | 2.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.439 | | σ | 6.865 | | min | 1561.166 | | max | 1576.715 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.405 | | σ | 0.207 | | min | 2.040 | | max | 2.531 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289 | | σ | 0.074 | | min | 1894.160 | | max | 1894.335 |
| | mean | 1772.400 | | σ | 176.384 | | min | 1628.000 | | max | 2049.000 |
| | mean | 2.904 | | σ | 0.119 | | min | 2.729 | | max | 3.030 |
|