iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.041 | | min | 285.352 | | max | 285.450 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.389 | | σ | 0.008 | | min | 0.380 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.781 | | σ | 0.112 | | min | 1295.646 | | max | 1295.956 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.065 | | σ | 0.290 | | min | 1.792 | | max | 2.477 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.010 | | σ | 6.771 | | min | 1536.845 | | max | 1552.119 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.364 | | σ | 0.219 | | min | 2.137 | | max | 2.649 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.703 | | σ | 0.054 | | min | 1857.653 | | max | 1857.778 |
| | mean | 1779.200 | | σ | 122.089 | | min | 1639.000 | | max | 1896.000 |
| | mean | 2.968 | | σ | 0.125 | | min | 2.795 | | max | 3.127 |
|