iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.015 | | min | 285.388 | | max | 285.426 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 0.379 | | σ | 0.007 | | min | 0.373 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.372 | | σ | 0.123 | | min | 1285.309 | | max | 1285.591 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 1.939 | | σ | 0.136 | | min | 1.810 | | max | 2.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.695 | | σ | 7.002 | | min | 1804.349 | | max | 1820.206 |
| | mean | 1640.000 | | σ | 0.000 | | min | 1640.000 | | max | 1640.000 |
| | mean | 4.147 | | σ | 0.233 | | min | 3.855 | | max | 4.432 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.198 | | σ | 0.014 | | min | 2070.185 | | max | 2070.220 |
| | mean | 1860.800 | | σ | 195.949 | | min | 1640.000 | | max | 2085.000 |
| | mean | 4.626 | | σ | 0.250 | | min | 4.433 | | max | 5.039 |
|