iters=5 new-facts=1 prior-facts=1 | | mean | 191.171 | | σ | 0.008 | | min | 191.164 | | max | 191.185 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 0.281 | | σ | 0.001 | | min | 0.279 | | max | 0.282 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.949 | | σ | 0.012 | | min | 1989.935 | | max | 1989.963 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 2.546 | | σ | 0.220 | | min | 2.330 | | max | 2.901 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.412 | | σ | 0.653 | | min | 4879.809 | | max | 4881.525 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 8.167 | | σ | 0.268 | | min | 7.715 | | max | 8.377 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4892.149 | | σ | 0.088 | | min | 4892.076 | | max | 4892.255 |
| | mean | 3304.200 | | σ | 429.679 | | min | 2886.000 | | max | 3744.000 |
| | mean | 8.132 | | σ | 0.127 | | min | 7.962 | | max | 8.281 |
|