iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-273.397=-6.616 | | σ | 0.010-0.007=0.003 | | min | 266.773-273.389=-6.617 | | max | 266.797-273.403=-6.607 |
| | mean | 2852.000-2848.000=4.000 | | σ | 0.000 | | min | 2852.000-2848.000=4.000 | | max | 2852.000-2848.000=4.000 |
| | mean | 0.367-0.392=-0.025 | | σ | 0.006-0.009=-0.003 | | min | 0.363-0.377=-0.014 | | max | 0.379-0.402=-0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.207-1933.834=-6.627 | | σ | 0.003-0.006=-0.003 | | min | 1927.204-1933.829=-6.625 | | max | 1927.211-1933.844=-6.633 |
| | mean | 2852.000-2848.000=4.000 | | σ | 0.000 | | min | 2852.000-2848.000=4.000 | | max | 2852.000-2848.000=4.000 |
| | mean | 3.068-3.120=-0.052 | | σ | 0.123-0.182=-0.058 | | min | 2.972-2.961=0.011 | | max | 3.260-3.395=-0.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.699-4754.158=-6.459 | | σ | 0.848-0.958=-0.110 | | min | 4747.190-4753.459=-6.269 | | max | 4749.207-4755.806=-6.599 |
| | mean | 2852.000-2848.000=4.000 | | σ | 0.000 | | min | 2852.000-2848.000=4.000 | | max | 2852.000-2848.000=4.000 |
| | mean | 8.484-8.186=0.297 | | σ | 0.609-0.572=0.037 | | min | 7.677-7.633=0.043 | | max | 9.198-8.997=0.201 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166-4944.809=-6.642 | | σ | 0.087-0.083=0.003 | | min | 4938.090-4944.732=-6.642 | | max | 4938.269-4944.908=-6.639 |
| | mean | 3058.200-3099.400=-41.200 | | σ | 187.182-312.810=-125.627 | | min | 2852.000-2848.000=4.000 | | max | 3322.000-3586.000=-264.000 |
| | mean | 8.593-8.784=-0.191 | | σ | 0.281-0.360=-0.079 | | min | 8.369-8.572=-0.204 | | max | 8.925-9.412=-0.487 |
|