iters=5 new-facts=1 prior-facts=1 | | mean | 279.542-279.556=-0.014 | | σ | 0.005-0.004=0.001 | | min | 279.535-279.550=-0.016 | | max | 279.547-279.560=-0.012 |
| | mean | 2743.000-2771.000=-28.000 | | σ | 0.000 | | min | 2743.000-2771.000=-28.000 | | max | 2743.000-2771.000=-28.000 |
| | mean | 0.410-0.409=0.001 | | σ | 0.005-0.004=0.001 | | min | 0.405-0.406=-0.001 | | max | 0.417-0.415=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.471-2178.494=-0.023 | | σ | 0.003-0.015=-0.012 | | min | 2178.466-2178.474=-0.008 | | max | 2178.474-2178.509=-0.035 |
| | mean | 2743.000-2771.000=-28.000 | | σ | 0.000 | | min | 2743.000-2771.000=-28.000 | | max | 2743.000-2771.000=-28.000 |
| | mean | 3.414-3.249=0.165 | | σ | 0.156-0.282=-0.126 | | min | 3.284-2.783=0.500 | | max | 3.678-3.525=0.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.260-5056.443=-0.183 | | σ | 0.753-0.897=-0.144 | | min | 5055.790-5055.975=-0.185 | | max | 5057.594-5058.045=-0.451 |
| | mean | 2743.000-2771.000=-28.000 | | σ | 0.000 | | min | 2743.000-2771.000=-28.000 | | max | 2743.000-2771.000=-28.000 |
| | mean | 9.054-8.938=0.116 | | σ | 0.515-0.459=0.056 | | min | 8.305-8.378=-0.073 | | max | 9.725-9.490=0.235 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.708-5193.655=0.053 | | σ | 0.201-0.284=-0.083 | | min | 5193.381-5193.162=0.219 | | max | 5193.897-5193.898=-0.001 |
| | mean | 3228.200-3273.800=-45.600 | | σ | 376.190-422.829=-46.639 | | min | 2743.000-2771.000=-28.000 | | max | 3584.000-3850.000=-266.000 |
| | mean | 8.888-8.823=0.065 | | σ | 0.105-0.274=-0.169 | | min | 8.705-8.620=0.085 | | max | 8.964-9.280=-0.317 |
|