iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.714=0.002 | | σ | 0.013-0.009=0.005 | | min | 277.702-277.700=0.002 | | max | 277.732-277.722=0.011 |
| | mean | 2640.000-2654.000=-14.000 | | σ | 0.000 | | min | 2640.000-2654.000=-14.000 | | max | 2640.000-2654.000=-14.000 |
| | mean | 0.409-0.409=-0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.408-0.408=-0.000 | | max | 0.410-0.411=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.880-2267.888=-0.009 | | σ | 0.014-0.004=0.010 | | min | 2267.858-2267.885=-0.027 | | max | 2267.894-2267.895=-0.001 |
| | mean | 2640.000-2654.000=-14.000 | | σ | 0.000 | | min | 2640.000-2654.000=-14.000 | | max | 2640.000-2654.000=-14.000 |
| | mean | 3.072-3.151=-0.078 | | σ | 0.277-0.244=0.032 | | min | 2.902-2.794=0.108 | | max | 3.556-3.439=0.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.055-4955.073=-0.018 | | σ | 0.824-0.811=0.013 | | min | 4954.633-4954.623=0.010 | | max | 4956.525-4956.520=0.005 |
| | mean | 2640.000-2654.000=-14.000 | | σ | 0.000 | | min | 2640.000-2654.000=-14.000 | | max | 2640.000-2654.000=-14.000 |
| | mean | 7.958-7.926=0.032 | | σ | 0.223-0.226=-0.004 | | min | 7.741-7.611=0.130 | | max | 8.249-8.172=0.077 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.790-5169.790=0.001 | | σ | 0.089-0.091=-0.002 | | min | 5169.689-5169.680=0.009 | | max | 5169.872-5169.876=-0.004 |
| | mean | 3458.800-3425.400=33.400 | | σ | 449.659-461.127=-11.468 | | min | 2888.000-2883.000=5.000 | | max | 4121.000-4091.000=30.000 |
| | mean | 9.337-9.149=0.188 | | σ | 0.161-0.159=0.003 | | min | 9.172-8.933=0.239 | | max | 9.544-9.322=0.222 |
|