iters=5 new-facts=1 prior-facts=1 | | mean | 285.675 | | σ | 0.009 | | min | 285.663 | | max | 285.684 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.380 | | σ | 0.006 | | min | 0.375 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.642 | | σ | 0.139 | | min | 1285.574 | | max | 1285.891 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 1.910 | | σ | 0.078 | | min | 1.827 | | max | 2.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1808.020 | | σ | 7.011 | | min | 1804.660 | | max | 1820.546 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 4.313 | | σ | 0.190 | | min | 4.101 | | max | 4.540 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462 | | σ | 0.005 | | min | 2070.455 | | max | 2070.467 |
| | mean | 1852.000 | | σ | 186.731 | | min | 1644.000 | | max | 2087.000 |
| | mean | 4.533 | | σ | 0.056 | | min | 4.467 | | max | 4.587 |
|