iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.699=-0.003 | | σ | 0.014-0.012=0.003 | | min | 278.684-278.687=-0.003 | | max | 278.719-278.715=0.004 |
| | mean | 2611.000-2651.000=-40.000 | | σ | 0.000 | | min | 2611.000-2651.000=-40.000 | | max | 2611.000-2651.000=-40.000 |
| | mean | 0.426-0.416=0.010 | | σ | 0.013-0.002=0.011 | | min | 0.416-0.413=0.003 | | max | 0.442-0.419=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873-2268.864=0.009 | | σ | 0.005-0.006=-0.001 | | min | 2268.868-2268.853=0.015 | | max | 2268.881-2268.869=0.012 |
| | mean | 2611.000-2651.000=-40.000 | | σ | 0.000 | | min | 2611.000-2651.000=-40.000 | | max | 2611.000-2651.000=-40.000 |
| | mean | 2.948-3.054=-0.106 | | σ | 0.117-0.151=-0.034 | | min | 2.864-2.868=-0.005 | | max | 3.151-3.214=-0.063 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.363-4952.357=0.006 | | σ | 0.992-0.789=0.204 | | min | 4951.723-4951.949=-0.226 | | max | 4954.125-4953.767=0.359 |
| | mean | 2611.000-2651.000=-40.000 | | σ | 0.000 | | min | 2611.000-2651.000=-40.000 | | max | 2611.000-2651.000=-40.000 |
| | mean | 8.342-7.896=0.446 | | σ | 0.677-0.193=0.485 | | min | 7.810-7.714=0.096 | | max | 9.527-8.163=1.364 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.074-5166.999=0.076 | | σ | 0.014-0.165=-0.151 | | min | 5167.066-5166.706=0.360 | | max | 5167.099-5167.096=0.003 |
| | mean | 3422.800-3422.600=0.200 | | σ | 454.531-478.771=-24.239 | | min | 2809.000-2877.000=-68.000 | | max | 3992.000-4136.000=-144.000 |
| | mean | 9.234-9.350=-0.116 | | σ | 0.255-0.480=-0.225 | | min | 8.985-8.517=0.468 | | max | 9.615-9.725=-0.109 |
|