iters=5 new-facts=1 prior-facts=1 | | mean | 270.118-270.143=-0.025 | | σ | 0.005-0.008=-0.003 | | min | 270.112-270.134=-0.022 | | max | 270.124-270.156=-0.033 |
| | mean | 2789.000-2770.000=19.000 | | σ | 0.000 | | min | 2789.000-2770.000=19.000 | | max | 2789.000-2770.000=19.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.006-0.001=0.005 | | min | 0.373-0.378=-0.005 | | max | 0.389-0.380=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.602-1930.607=-0.005 | | σ | 0.004-0.006=-0.001 | | min | 1930.596-1930.600=-0.004 | | max | 1930.608-1930.614=-0.006 |
| | mean | 2789.000-2770.000=19.000 | | σ | 0.000 | | min | 2789.000-2770.000=19.000 | | max | 2789.000-2770.000=19.000 |
| | mean | 2.598-2.549=0.049 | | σ | 0.149-0.082=0.067 | | min | 2.477-2.480=-0.003 | | max | 2.810-2.686=0.123 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.185-4751.317=-0.132 | | σ | 0.933-0.925=0.008 | | min | 4750.305-4750.775=-0.470 | | max | 4752.777-4752.958=-0.181 |
| | mean | 2789.000-2770.000=19.000 | | σ | 0.000 | | min | 2789.000-2770.000=19.000 | | max | 2789.000-2770.000=19.000 |
| | mean | 8.366-8.486=-0.120 | | σ | 0.443-0.536=-0.093 | | min | 7.622-7.664=-0.041 | | max | 8.716-9.062=-0.346 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.762-4941.699=0.062 | | σ | 0.030-0.152=-0.122 | | min | 4941.728-4941.428=0.300 | | max | 4941.798-4941.784=0.015 |
| | mean | 3021.000-3017.200=3.800 | | σ | 222.043-230.775=-8.732 | | min | 2789.000-2770.000=19.000 | | max | 3318.000-3320.000=-2.000 |
| | mean | 8.549-8.619=-0.070 | | σ | 0.151-0.241=-0.091 | | min | 8.398-8.357=0.041 | | max | 8.763-8.963=-0.200 |
|