iters=5 new-facts=1 prior-facts=1 | | mean | 285.395 | | σ | 0.011 | | min | 285.381 | | max | 285.407 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.378 | | σ | 0.007 | | min | 0.374 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.351 | | σ | 0.130 | | min | 1285.290 | | max | 1285.584 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.049 | | σ | 0.235 | | min | 1.862 | | max | 2.396 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.690 | | σ | 7.013 | | min | 1804.321 | | max | 1820.218 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.180 | | σ | 0.223 | | min | 3.866 | | max | 4.470 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.177 | | σ | 0.007 | | min | 2070.169 | | max | 2070.185 |
| | mean | 1832.600 | | σ | 170.616 | | min | 1639.000 | | max | 2068.000 |
| | mean | 4.585 | | σ | 0.134 | | min | 4.478 | | max | 4.810 |
|