iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.696=0.002 | | σ | 0.012-0.006=0.006 | | min | 278.683-278.691=-0.007 | | max | 278.713-278.705=0.008 |
| | mean | 2811.000-2615.000=196.000 | | σ | 0.000 | | min | 2811.000-2615.000=196.000 | | max | 2811.000-2615.000=196.000 |
| | mean | 0.419-0.418=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.418=0.001 | | max | 0.420-0.419=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874-2268.870=0.004 | | σ | 0.006-0.009=-0.002 | | min | 2268.867-2268.859=0.008 | | max | 2268.883-2268.881=0.001 |
| | mean | 2811.000-2615.000=196.000 | | σ | 0.000 | | min | 2811.000-2615.000=196.000 | | max | 2811.000-2615.000=196.000 |
| | mean | 3.196-3.036=0.160 | | σ | 0.179-0.222=-0.042 | | min | 2.946-2.780=0.166 | | max | 3.452-3.375=0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.369-4952.350=0.019 | | σ | 0.774-0.869=-0.095 | | min | 4951.933-4951.874=0.059 | | max | 4953.750-4953.901=-0.151 |
| | mean | 2811.000-2615.000=196.000 | | σ | 0.000 | | min | 2811.000-2615.000=196.000 | | max | 2811.000-2615.000=196.000 |
| | mean | 7.878-8.069=-0.191 | | σ | 0.246-0.275=-0.030 | | min | 7.665-7.874=-0.209 | | max | 8.217-8.478=-0.261 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.072-5167.005=0.067 | | σ | 0.006-0.160=-0.154 | | min | 5167.067-5166.720=0.347 | | max | 5167.083-5167.089=-0.006 |
| | mean | 3376.600-3468.000=-91.400 | | σ | 472.392-476.791=-4.399 | | min | 2811.000-2871.000=-60.000 | | max | 3834.000-4143.000=-309.000 |
| | mean | 9.109-9.275=-0.165 | | σ | 0.056-0.168=-0.112 | | min | 9.058-9.031=0.027 | | max | 9.194-9.454=-0.260 |
|