iters=5 new-facts=1 prior-facts=1 | | mean | 287.358 | | σ | 0.012 | | min | 287.337 | | max | 287.369 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 0.373 | | σ | 0.005 | | min | 0.368 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.325 | | σ | 0.139 | | min | 1287.258 | | max | 1287.574 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 1.857 | | σ | 0.052 | | min | 1.795 | | max | 1.911 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.658 | | σ | 7.002 | | min | 1806.293 | | max | 1822.170 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 4.133 | | σ | 0.299 | | min | 3.764 | | max | 4.470 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.169 | | σ | 0.044 | | min | 2072.133 | | max | 2072.245 |
| | mean | 1862.200 | | σ | 196.565 | | min | 1646.000 | | max | 2088.000 |
| | mean | 5.100 | | σ | 0.235 | | min | 4.867 | | max | 5.477 |
|