iters=5 new-facts=1 prior-facts=1 | | mean | 324.761 | | σ | 0.055 | | min | 324.664 | | max | 324.797 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 0.425 | | σ | 0.003 | | min | 0.423 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.319 | | σ | 0.017 | | min | 1985.298 | | max | 1985.338 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 2.731 | | σ | 0.108 | | min | 2.616 | | max | 2.834 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.855 | | σ | 7.788 | | min | 4804.898 | | max | 4822.776 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 8.711 | | σ | 0.613 | | min | 7.744 | | max | 9.295 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.457 | | σ | 0.171 | | min | 4996.152 | | max | 4996.549 |
| | mean | 3050.200 | | σ | 273.042 | | min | 2840.000 | | max | 3471.000 |
| | mean | 8.574 | | σ | 0.108 | | min | 8.506 | | max | 8.758 |
|