iters=5 new-facts=1 prior-facts=1 | | mean | 278.817-278.703=0.114 | | σ | 0.005-0.011=-0.006 | | min | 278.809-278.692=0.117 | | max | 278.823-278.719=0.103 |
| | mean | 2686.000-2662.000=24.000 | | σ | 0.000 | | min | 2686.000-2662.000=24.000 | | max | 2686.000-2662.000=24.000 |
| | mean | 0.408-0.419=-0.011 | | σ | 0.005-0.001=0.004 | | min | 0.405-0.418=-0.013 | | max | 0.417-0.421=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875-2268.858=0.018 | | σ | 0.019-0.018=0.002 | | min | 2268.850-2268.834=0.016 | | max | 2268.895-2268.874=0.021 |
| | mean | 2686.000-2662.000=24.000 | | σ | 0.000 | | min | 2686.000-2662.000=24.000 | | max | 2686.000-2662.000=24.000 |
| | mean | 3.127-3.176=-0.049 | | σ | 0.183-0.195=-0.012 | | min | 2.884-2.851=0.034 | | max | 3.383-3.307=0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.277-4952.359=1.917 | | σ | 0.801-0.777=0.024 | | min | 4953.857-4951.941=1.916 | | max | 4955.706-4953.748=1.958 |
| | mean | 2686.000-2662.000=24.000 | | σ | 0.000 | | min | 2686.000-2662.000=24.000 | | max | 2686.000-2662.000=24.000 |
| | mean | 7.887-7.825=0.062 | | σ | 0.264-0.173=0.091 | | min | 7.643-7.636=0.006 | | max | 8.274-8.091=0.183 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.783-5166.998=1.785 | | σ | 0.087-0.158=-0.071 | | min | 5168.717-5166.715=2.001 | | max | 5168.881-5167.079=1.802 |
| | mean | 3301.600-3362.200=-60.600 | | σ | 500.117-408.206=91.911 | | min | 2686.000-2960.000=-274.000 | | max | 3790.000-3776.000=14.000 |
| | mean | 9.331-9.319=0.011 | | σ | 0.167-0.251=-0.083 | | min | 9.127-9.021=0.107 | | max | 9.567-9.670=-0.103 |
|