iters=5 new-facts=1 prior-facts=1 | | mean | 278.699-278.697=0.002 | | σ | 0.014-0.007=0.006 | | min | 278.687-278.691=-0.003 | | max | 278.718-278.708=0.011 |
| | mean | 2667.000-2631.000=36.000 | | σ | 0.000 | | min | 2667.000-2631.000=36.000 | | max | 2667.000-2631.000=36.000 |
| | mean | 0.417-0.420=-0.003 | | σ | 0.001-0.001=-0.000 | | min | 0.416-0.419=-0.003 | | max | 0.418-0.422=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.856-2268.870=-0.014 | | σ | 0.021-0.006=0.016 | | min | 2268.833-2268.865=-0.032 | | max | 2268.877-2268.879=-0.002 |
| | mean | 2667.000-2631.000=36.000 | | σ | 0.000 | | min | 2667.000-2631.000=36.000 | | max | 2667.000-2631.000=36.000 |
| | mean | 3.153-2.957=0.197 | | σ | 0.185-0.084=0.101 | | min | 2.880-2.903=-0.024 | | max | 3.338-3.105=0.232 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.183-4952.348=-0.165 | | σ | 0.775-0.785=-0.009 | | min | 4951.752-4951.893=-0.141 | | max | 4953.565-4953.747=-0.182 |
| | mean | 2667.000-2631.000=36.000 | | σ | 0.000 | | min | 2667.000-2631.000=36.000 | | max | 2667.000-2631.000=36.000 |
| | mean | 8.000-7.902=0.098 | | σ | 0.249-0.273=-0.024 | | min | 7.632-7.558=0.074 | | max | 8.248-8.309=-0.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.918-5167.012=-0.094 | | σ | 0.011-0.164=-0.153 | | min | 5166.908-5166.722=0.186 | | max | 5166.934-5167.116=-0.182 |
| | mean | 3358.600-3427.400=-68.800 | | σ | 447.942-493.681=-45.739 | | min | 2920.000-2762.000=158.000 | | max | 3815.000-4068.000=-253.000 |
| | mean | 9.185-9.693=-0.508 | | σ | 0.274-0.532=-0.258 | | min | 9.006-9.183=-0.177 | | max | 9.639-10.560=-0.921 |
|