iters=5 new-facts=1 prior-facts=1 | | mean | 273.398-275.757=-2.359 | | σ | 0.007-0.011=-0.004 | | min | 273.390-275.744=-2.354 | | max | 273.408-275.769=-2.360 |
| | mean | 2847.000-2649.000=198.000 | | σ | 0.000 | | min | 2847.000-2649.000=198.000 | | max | 2847.000-2649.000=198.000 |
| | mean | 0.385-0.401=-0.016 | | σ | 0.011-0.009=0.002 | | min | 0.376-0.394=-0.018 | | max | 0.401-0.415=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.830-2168.274=-234.444 | | σ | 0.012-0.036=-0.023 | | min | 1933.811-2168.213=-234.403 | | max | 1933.842-2168.302=-234.461 |
| | mean | 2847.000-2649.000=198.000 | | σ | 0.000 | | min | 2847.000-2649.000=198.000 | | max | 2847.000-2649.000=198.000 |
| | mean | 3.136-2.986=0.150 | | σ | 0.115-0.114=0.001 | | min | 3.000-2.788=0.212 | | max | 3.306-3.078=0.228 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.347-5048.098=-293.751 | | σ | 0.801-0.963=-0.162 | | min | 4753.887-5047.515=-293.628 | | max | 4755.773-5049.805=-294.031 |
| | mean | 2847.000-2649.000=198.000 | | σ | 0.000 | | min | 2847.000-2649.000=198.000 | | max | 2847.000-2649.000=198.000 |
| | mean | 8.575-8.939=-0.364 | | σ | 0.300-0.489=-0.189 | | min | 8.189-8.178=0.012 | | max | 8.956-9.376=-0.419 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.737-5179.248=-234.511 | | σ | 0.122-0.075=0.047 | | min | 4944.559-5179.179=-234.620 | | max | 4944.902-5179.341=-234.439 |
| | mean | 3112.800-3236.400=-123.600 | | σ | 255.826-379.104=-123.278 | | min | 2847.000-2702.000=145.000 | | max | 3372.000-3695.000=-323.000 |
| | mean | 8.651-10.064=-1.413 | | σ | 0.204-0.319=-0.115 | | min | 8.440-9.549=-1.109 | | max | 8.954-10.412=-1.459 |
|