iters=5 new-facts=1 prior-facts=1 | | mean | 285.671 | | σ | 0.011 | | min | 285.656 | | max | 285.684 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.376 | | σ | 0.001 | | min | 0.375 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.640 | | σ | 0.129 | | min | 1285.574 | | max | 1285.871 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 1.906 | | σ | 0.109 | | min | 1.815 | | max | 2.096 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.978 | | σ | 7.026 | | min | 1804.610 | | max | 1820.531 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 4.203 | | σ | 0.192 | | min | 3.995 | | max | 4.507 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.461 | | σ | 0.006 | | min | 2070.455 | | max | 2070.470 |
| | mean | 1863.200 | | σ | 196.384 | | min | 1644.000 | | max | 2088.000 |
| | mean | 4.497 | | σ | 0.089 | | min | 4.432 | | max | 4.653 |
|