iters=5 new-facts=1 prior-facts=1 | | mean | 303.792 | | σ | 0.051 | | min | 303.719 | | max | 303.850 |
| | mean | 1614.000 | | σ | 0.000 | | min | 1614.000 | | max | 1614.000 |
| | mean | 0.392 | | σ | 0.006 | | min | 0.389 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.337 | | σ | 0.110 | | min | 1326.196 | | max | 1326.461 |
| | mean | 1614.000 | | σ | 0.000 | | min | 1614.000 | | max | 1614.000 |
| | mean | 1.944 | | σ | 0.105 | | min | 1.833 | | max | 2.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.427 | | σ | 6.860 | | min | 1561.142 | | max | 1576.692 |
| | mean | 1614.000 | | σ | 0.000 | | min | 1614.000 | | max | 1614.000 |
| | mean | 2.326 | | σ | 0.271 | | min | 1.947 | | max | 2.681 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.278 | | σ | 0.064 | | min | 1894.165 | | max | 1894.326 |
| | mean | 1777.800 | | σ | 180.001 | | min | 1614.000 | | max | 2024.000 |
| | mean | 2.995 | | σ | 0.127 | | min | 2.806 | | max | 3.144 |
|