iters=5 new-facts=1 prior-facts=1 | | mean | 285.415 | | σ | 0.009 | | min | 285.400 | | max | 285.426 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 0.374 | | σ | 0.006 | | min | 0.369 | | max | 0.382 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.374 | | σ | 0.139 | | min | 1285.307 | | max | 1285.622 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 1.913 | | σ | 0.162 | | min | 1.768 | | max | 2.179 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.736 | | σ | 6.981 | | min | 1804.380 | | max | 1820.207 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 4.266 | | σ | 0.184 | | min | 4.112 | | max | 4.522 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.194 | | σ | 0.015 | | min | 2070.178 | | max | 2070.215 |
| | mean | 1857.400 | | σ | 215.444 | | min | 1584.000 | | max | 2092.000 |
| | mean | 4.473 | | σ | 0.099 | | min | 4.362 | | max | 4.633 |
|