iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.673=0.002 | | σ | 0.014-0.007=0.007 | | min | 278.661-278.666=-0.005 | | max | 278.697-278.683=0.014 |
| | mean | 2672.000-2659.000=13.000 | | σ | 0.000 | | min | 2672.000-2659.000=13.000 | | max | 2672.000-2659.000=13.000 |
| | mean | 0.421-0.419=0.003 | | σ | 0.001-0.002=-0.001 | | min | 0.420-0.417=0.004 | | max | 0.422-0.422=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.834-2268.823=0.010 | | σ | 0.016-0.016=0.000 | | min | 2268.815-2268.808=0.007 | | max | 2268.848-2268.845=0.002 |
| | mean | 2672.000-2659.000=13.000 | | σ | 0.000 | | min | 2672.000-2659.000=13.000 | | max | 2672.000-2659.000=13.000 |
| | mean | 3.187-3.072=0.115 | | σ | 0.141-0.149=-0.008 | | min | 2.958-2.870=0.088 | | max | 3.346-3.236=0.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.055-4952.172=-0.117 | | σ | 0.874-0.779=0.095 | | min | 4951.263-4951.772=-0.509 | | max | 4953.554-4953.564=-0.010 |
| | mean | 2672.000-2659.000=13.000 | | σ | 0.000 | | min | 2672.000-2659.000=13.000 | | max | 2672.000-2659.000=13.000 |
| | mean | 7.934-7.839=0.095 | | σ | 0.245-0.163=0.082 | | min | 7.676-7.640=0.036 | | max | 8.296-8.016=0.280 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.894-5166.897=-0.003 | | σ | 0.012-0.013=-0.001 | | min | 5166.876-5166.888=-0.012 | | max | 5166.908-5166.921=-0.012 |
| | mean | 3360.400-3361.400=-1.000 | | σ | 426.556-395.711=30.846 | | min | 2937.000-2977.000=-40.000 | | max | 3790.000-3767.000=23.000 |
| | mean | 9.065-9.385=-0.320 | | σ | 0.350-0.448=-0.099 | | min | 8.656-8.986=-0.330 | | max | 9.525-10.135=-0.610 |
|