iters=5 new-facts=1 prior-facts=1 | | mean | 285.413 | | σ | 0.012 | | min | 285.393 | | max | 285.423 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 0.372 | | σ | 0.007 | | min | 0.368 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.343 | | σ | 0.069 | | min | 1285.308 | | max | 1285.466 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 1.886 | | σ | 0.080 | | min | 1.825 | | max | 2.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.725 | | σ | 6.983 | | min | 1804.337 | | max | 1820.201 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 4.309 | | σ | 0.355 | | min | 4.003 | | max | 4.892 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.192 | | σ | 0.007 | | min | 2070.182 | | max | 2070.199 |
| | mean | 1863.800 | | σ | 196.516 | | min | 1643.000 | | max | 2091.000 |
| | mean | 4.510 | | σ | 0.070 | | min | 4.455 | | max | 4.623 |
|