iters=5 new-facts=1 prior-facts=1 | | mean | 190.714 | | σ | 0.006 | | min | 190.703 | | max | 190.718 |
| | mean | 2581.000 | | σ | 0.000 | | min | 2581.000 | | max | 2581.000 |
| | mean | 0.280 | | σ | 0.002 | | min | 0.278 | | max | 0.281 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.491 | | σ | 0.031 | | min | 1989.443 | | max | 1989.519 |
| | mean | 2581.000 | | σ | 0.000 | | min | 2581.000 | | max | 2581.000 |
| | mean | 2.497 | | σ | 0.218 | | min | 2.285 | | max | 2.743 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.162 | | σ | 0.598 | | min | 4879.886 | | max | 4881.232 |
| | mean | 2581.000 | | σ | 0.000 | | min | 2581.000 | | max | 2581.000 |
| | mean | 8.289 | | σ | 0.113 | | min | 8.184 | | max | 8.477 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.724 | | σ | 0.142 | | min | 4891.471 | | max | 4891.801 |
| | mean | 3286.400 | | σ | 420.126 | | min | 2871.000 | | max | 3711.000 |
| | mean | 8.222 | | σ | 0.216 | | min | 8.005 | | max | 8.520 |
|