iters=5 new-facts=1 prior-facts=1 | | mean | 299.458 | | σ | 0.032 | | min | 299.418 | | max | 299.499 |
| | mean | 1445.000 | | σ | 0.000 | | min | 1445.000 | | max | 1445.000 |
| | mean | 0.392 | | σ | 0.010 | | min | 0.385 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.889 | | σ | 0.102 | | min | 1309.761 | | max | 1310.026 |
| | mean | 1445.000 | | σ | 0.000 | | min | 1445.000 | | max | 1445.000 |
| | mean | 1.923 | | σ | 0.106 | | min | 1.799 | | max | 2.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.968 | | σ | 6.868 | | min | 1550.625 | | max | 1566.248 |
| | mean | 1445.000 | | σ | 0.000 | | min | 1445.000 | | max | 1445.000 |
| | mean | 2.244 | | σ | 0.184 | | min | 2.067 | | max | 2.549 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.764 | | σ | 0.048 | | min | 1871.699 | | max | 1871.808 |
| | mean | 1735.800 | | σ | 162.454 | | min | 1510.000 | | max | 1941.000 |
| | mean | 2.875 | | σ | 0.043 | | min | 2.824 | | max | 2.926 |
|