iters=5 new-facts=1 prior-facts=1 | | mean | 286.825 | | σ | 0.035 | | min | 286.782 | | max | 286.862 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 0.394 | | σ | 0.007 | | min | 0.389 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.204 | | σ | 0.097 | | min | 1297.090 | | max | 1297.317 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 1.938 | | σ | 0.136 | | min | 1.794 | | max | 2.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.315 | | σ | 6.818 | | min | 1538.071 | | max | 1553.508 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 2.213 | | σ | 0.204 | | min | 2.032 | | max | 2.542 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.128 | | σ | 0.048 | | min | 1859.063 | | max | 1859.189 |
| | mean | 1784.800 | | σ | 168.035 | | min | 1648.000 | | max | 2035.000 |
| | mean | 2.852 | | σ | 0.077 | | min | 2.759 | | max | 2.972 |
|