iters=5 new-facts=1 prior-facts=1 | | mean | 324.769 | | σ | 0.043 | | min | 324.692 | | max | 324.798 |
| | mean | 2822.000 | | σ | 0.000 | | min | 2822.000 | | max | 2822.000 |
| | mean | 0.432 | | σ | 0.010 | | min | 0.424 | | max | 0.446 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.318 | | σ | 0.011 | | min | 1985.301 | | max | 1985.327 |
| | mean | 2822.000 | | σ | 0.000 | | min | 2822.000 | | max | 2822.000 |
| | mean | 2.660 | | σ | 0.127 | | min | 2.513 | | max | 2.815 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.976 | | σ | 7.737 | | min | 4805.072 | | max | 4822.809 |
| | mean | 2822.000 | | σ | 0.000 | | min | 2822.000 | | max | 2822.000 |
| | mean | 8.712 | | σ | 0.484 | | min | 7.963 | | max | 9.264 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.554 | | σ | 0.154 | | min | 4996.280 | | max | 4996.644 |
| | mean | 3001.600 | | σ | 259.533 | | min | 2822.000 | | max | 3408.000 |
| | mean | 8.477 | | σ | 0.057 | | min | 8.422 | | max | 8.561 |
|