iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.695=0.001 | | σ | 0.014-0.013=0.000 | | min | 278.682-278.679=0.002 | | max | 278.718-278.712=0.006 |
| | mean | 2612.000-2693.000=-81.000 | | σ | 0.000 | | min | 2612.000-2693.000=-81.000 | | max | 2612.000-2693.000=-81.000 |
| | mean | 0.416-0.420=-0.004 | | σ | 0.001-0.001=0.000 | | min | 0.415-0.420=-0.004 | | max | 0.417-0.421=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.868-2268.842=0.026 | | σ | 0.006-0.020=-0.014 | | min | 2268.860-2268.824=0.036 | | max | 2268.873-2268.865=0.008 |
| | mean | 2612.000-2693.000=-81.000 | | σ | 0.000 | | min | 2612.000-2693.000=-81.000 | | max | 2612.000-2693.000=-81.000 |
| | mean | 2.971-3.592=-0.621 | | σ | 0.075-0.160=-0.085 | | min | 2.925-3.462=-0.537 | | max | 3.104-3.770=-0.666 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.192-4955.943=-3.751 | | σ | 0.987-0.915=0.072 | | min | 4951.402-4955.190=-3.787 | | max | 4953.910-4957.537=-3.626 |
| | mean | 2612.000-2693.000=-81.000 | | σ | 0.000 | | min | 2612.000-2693.000=-81.000 | | max | 2612.000-2693.000=-81.000 |
| | mean | 8.267-7.891=0.376 | | σ | 0.461-0.228=0.233 | | min | 7.854-7.701=0.153 | | max | 8.915-8.236=0.679 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.938-5170.771=-3.833 | | σ | 0.195-0.073=0.122 | | min | 5166.714-5170.674=-3.960 | | max | 5167.088-5170.827=-3.740 |
| | mean | 3416.200-3365.400=50.800 | | σ | 447.098-464.021=-16.923 | | min | 2808.000-2756.000=52.000 | | max | 3972.000-3984.000=-12.000 |
| | mean | 9.194-9.203=-0.009 | | σ | 0.370-0.392=-0.022 | | min | 8.764-8.740=0.024 | | max | 9.685-9.720=-0.035 |
|