iters=5 new-facts=1 prior-facts=1 | | mean | 278.696-278.698=-0.002 | | σ | 0.014-0.012=0.002 | | min | 278.683-278.686=-0.003 | | max | 278.720-278.718=0.002 |
| | mean | 2837.000-2660.000=177.000 | | σ | 0.000 | | min | 2837.000-2660.000=177.000 | | max | 2837.000-2660.000=177.000 |
| | mean | 0.419-0.429=-0.010 | | σ | 0.002-0.011=-0.010 | | min | 0.416-0.418=-0.001 | | max | 0.420-0.441=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.868-2268.876=-0.008 | | σ | 0.010-0.005=0.005 | | min | 2268.854-2268.871=-0.017 | | max | 2268.877-2268.883=-0.006 |
| | mean | 2837.000-2660.000=177.000 | | σ | 0.000 | | min | 2837.000-2660.000=177.000 | | max | 2837.000-2660.000=177.000 |
| | mean | 3.059-2.895=0.164 | | σ | 0.168-0.130=0.039 | | min | 2.870-2.736=0.134 | | max | 3.201-3.092=0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.221-4952.217=0.004 | | σ | 0.745-0.838=-0.093 | | min | 4951.847-4951.777=0.070 | | max | 4953.552-4953.714=-0.162 |
| | mean | 2837.000-2660.000=177.000 | | σ | 0.000 | | min | 2837.000-2660.000=177.000 | | max | 2837.000-2660.000=177.000 |
| | mean | 7.764-7.961=-0.197 | | σ | 0.137-0.247=-0.110 | | min | 7.613-7.752=-0.139 | | max | 7.918-8.349=-0.431 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.917-5166.920=-0.002 | | σ | 0.008-0.010=-0.002 | | min | 5166.906-5166.913=-0.006 | | max | 5166.929-5166.938=-0.009 |
| | mean | 3331.400-3353.400=-22.000 | | σ | 392.164-447.775=-55.611 | | min | 2837.000-2768.000=69.000 | | max | 3871.000-3949.000=-78.000 |
| | mean | 9.254-9.430=-0.176 | | σ | 0.195-0.233=-0.038 | | min | 9.021-9.041=-0.021 | | max | 9.457-9.638=-0.181 |
|