iters=5 new-facts=1 prior-facts=1 | | mean | 278.283 | | σ | 0.008 | | min | 278.275 | | max | 278.293 |
| | mean | 2779.000 | | σ | 0.000 | | min | 2779.000 | | max | 2779.000 |
| | mean | 0.410 | | σ | 0.008 | | min | 0.403 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.524 | | σ | 0.010 | | min | 2175.510 | | max | 2175.534 |
| | mean | 2779.000 | | σ | 0.000 | | min | 2779.000 | | max | 2779.000 |
| | mean | 2.900 | | σ | 0.136 | | min | 2.788 | | max | 3.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.537 | | σ | 1.007 | | min | 5133.795 | | max | 5136.304 |
| | mean | 2779.000 | | σ | 0.000 | | min | 2779.000 | | max | 2779.000 |
| | mean | 9.614 | | σ | 0.437 | | min | 9.151 | | max | 10.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.373 | | σ | 0.087 | | min | 5238.309 | | max | 5238.468 |
| | mean | 3271.800 | | σ | 439.195 | | min | 2779.000 | | max | 3846.000 |
| | mean | 8.915 | | σ | 0.192 | | min | 8.706 | | max | 9.128 |
|