iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-277.713=0.961 | | σ | 0.012-0.009=0.003 | | min | 278.663-277.699=0.964 | | max | 278.693-277.722=0.971 |
| | mean | 2605.000-2655.000=-50.000 | | σ | 0.000 | | min | 2605.000-2655.000=-50.000 | | max | 2605.000-2655.000=-50.000 |
| | mean | 0.423-0.408=0.014 | | σ | 0.010-0.001=0.009 | | min | 0.417-0.406=0.011 | | max | 0.440-0.409=0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.839-2267.879=0.960 | | σ | 0.016-0.018=-0.002 | | min | 2268.811-2267.856=0.955 | | max | 2268.852-2267.900=0.952 |
| | mean | 2605.000-2655.000=-50.000 | | σ | 0.000 | | min | 2605.000-2655.000=-50.000 | | max | 2605.000-2655.000=-50.000 |
| | mean | 2.964-3.089=-0.125 | | σ | 0.119-0.166=-0.046 | | min | 2.884-2.818=0.067 | | max | 3.174-3.209=-0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.317-4954.961=-2.645 | | σ | 0.868-0.913=-0.044 | | min | 4951.868-4954.066=-2.197 | | max | 4953.866-4956.505=-2.639 |
| | mean | 2605.000-2655.000=-50.000 | | σ | 0.000 | | min | 2605.000-2655.000=-50.000 | | max | 2605.000-2655.000=-50.000 |
| | mean | 8.095-7.810=0.284 | | σ | 0.270-0.170=0.100 | | min | 7.712-7.614=0.097 | | max | 8.355-8.073=0.282 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.979-5169.787=-2.808 | | σ | 0.162-0.091=0.070 | | min | 5166.690-5169.683=-2.993 | | max | 5167.065-5169.876=-2.811 |
| | mean | 3421.200-3361.200=60.000 | | σ | 458.573-428.270=30.303 | | min | 2779.000-2940.000=-161.000 | | max | 3984.000-3796.000=188.000 |
| | mean | 9.268-9.302=-0.035 | | σ | 0.353-0.201=0.152 | | min | 8.745-9.060=-0.315 | | max | 9.718-9.518=0.200 |
|