iters=5 new-facts=1 prior-facts=1 | | mean | 285.365 | | σ | 0.037 | | min | 285.317 | | max | 285.406 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.390 | | σ | 0.007 | | min | 0.382 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.736 | | σ | 0.104 | | min | 1295.624 | | max | 1295.863 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.927 | | σ | 0.102 | | min | 1.822 | | max | 2.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.899 | | σ | 6.811 | | min | 1536.582 | | max | 1552.077 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.396 | | σ | 0.259 | | min | 2.017 | | max | 2.657 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.645 | | σ | 0.067 | | min | 1857.565 | | max | 1857.735 |
| | mean | 1765.000 | | σ | 127.285 | | min | 1629.000 | | max | 1896.000 |
| | mean | 3.044 | | σ | 0.223 | | min | 2.891 | | max | 3.432 |
|