iters=5 new-facts=1 prior-facts=1 | | mean | 271.595-269.376=2.218 | | σ | 0.011-0.005=0.006 | | min | 271.576-269.369=2.207 | | max | 271.603-269.383=2.220 |
| | mean | 2776.000-2695.000=81.000 | | σ | 0.000 | | min | 2776.000-2695.000=81.000 | | max | 2776.000-2695.000=81.000 |
| | mean | 0.383-0.377=0.005 | | σ | 0.006-0.006=0.000 | | min | 0.378-0.374=0.005 | | max | 0.393-0.388=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.993-1929.748=2.245 | | σ | 0.019-0.008=0.011 | | min | 1931.969-1929.741=2.228 | | max | 1932.015-1929.761=2.254 |
| | mean | 2776.000-2695.000=81.000 | | σ | 0.000 | | min | 2776.000-2695.000=81.000 | | max | 2776.000-2695.000=81.000 |
| | mean | 2.512-2.874=-0.363 | | σ | 0.086-0.246=-0.160 | | min | 2.391-2.511=-0.119 | | max | 2.613-3.146=-0.533 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.687-4750.424=2.263 | | σ | 0.954-0.926=0.028 | | min | 4752.182-4749.711=2.472 | | max | 4754.392-4752.046=2.346 |
| | mean | 2776.000-2695.000=81.000 | | σ | 0.000 | | min | 2776.000-2695.000=81.000 | | max | 2776.000-2695.000=81.000 |
| | mean | 8.823-8.314=0.509 | | σ | 0.254-0.434=-0.180 | | min | 8.450-7.613=0.836 | | max | 9.165-8.773=0.393 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.066-4940.919=2.147 | | σ | 0.312-0.138=0.174 | | min | 4942.509-4940.674=1.835 | | max | 4943.222-4940.997=2.226 |
| | mean | 3017.400-2968.400=49.000 | | σ | 233.515-327.440=-93.925 | | min | 2776.000-2695.000=81.000 | | max | 3322.000-3465.000=-143.000 |
| | mean | 8.547-8.439=0.108 | | σ | 0.140-0.129=0.011 | | min | 8.397-8.290=0.106 | | max | 8.763-8.633=0.130 |
|