iters=5 new-facts=1 prior-facts=1 | | mean | 285.671 | | σ | 0.010 | | min | 285.656 | | max | 285.682 |
| | mean | 1562.000 | | σ | 0.000 | | min | 1562.000 | | max | 1562.000 |
| | mean | 0.376 | | σ | 0.001 | | min | 0.374 | | max | 0.377 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.641 | | σ | 0.127 | | min | 1285.578 | | max | 1285.868 |
| | mean | 1562.000 | | σ | 0.000 | | min | 1562.000 | | max | 1562.000 |
| | mean | 2.022 | | σ | 0.092 | | min | 1.867 | | max | 2.094 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.978 | | σ | 7.047 | | min | 1804.601 | | max | 1820.569 |
| | mean | 1562.000 | | σ | 0.000 | | min | 1562.000 | | max | 1562.000 |
| | mean | 4.250 | | σ | 0.332 | | min | 3.972 | | max | 4.825 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.460 | | σ | 0.014 | | min | 2070.446 | | max | 2070.481 |
| | mean | 1816.000 | | σ | 205.676 | | min | 1562.000 | | max | 2085.000 |
| | mean | 4.441 | | σ | 0.070 | | min | 4.329 | | max | 4.504 |
|