iters=5 new-facts=1 prior-facts=1 | | mean | 275.761-275.755=0.005 | | σ | 0.011-0.008=0.003 | | min | 275.746-275.745=0.001 | | max | 275.774-275.765=0.008 |
| | mean | 2791.000-2695.000=96.000 | | σ | 0.000 | | min | 2791.000-2695.000=96.000 | | max | 2791.000-2695.000=96.000 |
| | mean | 0.405-0.404=0.001 | | σ | 0.010-0.011=-0.001 | | min | 0.397-0.395=0.002 | | max | 0.418-0.418=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.266-2168.279=-0.012 | | σ | 0.015-0.015=0.000 | | min | 2168.253-2168.258=-0.005 | | max | 2168.290-2168.297=-0.007 |
| | mean | 2791.000-2695.000=96.000 | | σ | 0.000 | | min | 2791.000-2695.000=96.000 | | max | 2791.000-2695.000=96.000 |
| | mean | 2.868-2.997=-0.129 | | σ | 0.111-0.144=-0.033 | | min | 2.785-2.757=0.029 | | max | 3.015-3.114=-0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.095-5048.106=-0.011 | | σ | 0.917-0.943=-0.026 | | min | 5047.552-5047.601=-0.049 | | max | 5049.715-5049.790=-0.074 |
| | mean | 2791.000-2695.000=96.000 | | σ | 0.000 | | min | 2791.000-2695.000=96.000 | | max | 2791.000-2695.000=96.000 |
| | mean | 8.905-8.940=-0.035 | | σ | 0.513-0.261=0.252 | | min | 8.061-8.589=-0.529 | | max | 9.451-9.319=0.132 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238-5179.239=-0.001 | | σ | 0.088-0.091=-0.004 | | min | 5179.160-5179.143=0.017 | | max | 5179.346-5179.344=0.002 |
| | mean | 3305.600-3232.600=73.000 | | σ | 468.722-392.878=75.844 | | min | 2791.000-2701.000=90.000 | | max | 3958.000-3741.000=217.000 |
| | mean | 10.037-9.632=0.404 | | σ | 0.334-0.775=-0.441 | | min | 9.642-8.589=1.053 | | max | 10.543-10.604=-0.061 |
|