iters=5 new-facts=1 prior-facts=1 | | mean | 285.250 | | σ | 0.037 | | min | 285.208 | | max | 285.290 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.407 | | σ | 0.012 | | min | 0.395 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.198 | | σ | 0.107 | | min | 1295.077 | | max | 1295.316 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 1.939 | | σ | 0.112 | | min | 1.810 | | max | 2.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.077 | | σ | 4.045 | | min | 1536.053 | | max | 1545.304 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.240 | | σ | 0.153 | | min | 2.050 | | max | 2.397 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.107 | | σ | 0.055 | | min | 1857.047 | | max | 1857.171 |
| | mean | 1779.600 | | σ | 123.664 | | min | 1647.000 | | max | 1903.000 |
| | mean | 3.088 | | σ | 0.252 | | min | 2.736 | | max | 3.381 |
|