iters=5 new-facts=1 prior-facts=1 | | mean | 324.011 | | σ | 0.056 | | min | 323.911 | | max | 324.043 |
| | mean | 2412.000 | | σ | 0.000 | | min | 2412.000 | | max | 2412.000 |
| | mean | 0.431 | | σ | 0.004 | | min | 0.428 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.596 | | σ | 0.016 | | min | 1984.570 | | max | 1984.608 |
| | mean | 2412.000 | | σ | 0.000 | | min | 2412.000 | | max | 2412.000 |
| | mean | 2.604 | | σ | 0.057 | | min | 2.552 | | max | 2.701 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.159 | | σ | 7.833 | | min | 4804.155 | | max | 4822.161 |
| | mean | 2412.000 | | σ | 0.000 | | min | 2412.000 | | max | 2412.000 |
| | mean | 8.692 | | σ | 0.442 | | min | 7.943 | | max | 9.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.731 | | σ | 0.161 | | min | 4995.446 | | max | 4995.824 |
| | mean | 2973.200 | | σ | 261.993 | | min | 2635.000 | | max | 3315.000 |
| | mean | 8.671 | | σ | 0.148 | | min | 8.522 | | max | 8.915 |
|