iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.034 | | min | 285.365 | | max | 285.445 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.398 | | σ | 0.007 | | min | 0.391 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.792 | | σ | 0.103 | | min | 1295.678 | | max | 1295.930 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 1.892 | | σ | 0.088 | | min | 1.809 | | max | 2.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.941 | | σ | 6.871 | | min | 1536.681 | | max | 1552.229 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 2.150 | | σ | 0.162 | | min | 2.045 | | max | 2.436 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.706 | | σ | 0.062 | | min | 1857.645 | | max | 1857.798 |
| | mean | 1780.200 | | σ | 140.829 | | min | 1644.000 | | max | 1925.000 |
| | mean | 2.984 | | σ | 0.119 | | min | 2.820 | | max | 3.104 |
|