iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-266.782=3.149 | | σ | 0.009-0.008=0.001 | | min | 269.919-266.776=3.144 | | max | 269.942-266.796=3.145 |
| | mean | 2861.000-2846.000=15.000 | | σ | 0.000 | | min | 2861.000-2846.000=15.000 | | max | 2861.000-2846.000=15.000 |
| | mean | 0.380-0.363=0.017 | | σ | 0.009-0.001=0.008 | | min | 0.372-0.362=0.010 | | max | 0.394-0.364=0.030 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.397-1927.213=3.184 | | σ | 0.013-0.007=0.006 | | min | 1930.388-1927.201=3.187 | | max | 1930.418-1927.217=3.200 |
| | mean | 2861.000-2846.000=15.000 | | σ | 0.000 | | min | 2861.000-2846.000=15.000 | | max | 2861.000-2846.000=15.000 |
| | mean | 2.552-2.995=-0.443 | | σ | 0.132-0.088=0.044 | | min | 2.457-2.892=-0.435 | | max | 2.767-3.132=-0.364 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.753-4747.747=3.005 | | σ | 0.605-0.779=-0.174 | | min | 4750.301-4747.383=2.918 | | max | 4751.818-4749.140=2.678 |
| | mean | 2861.000-2846.000=15.000 | | σ | 0.000 | | min | 2861.000-2846.000=15.000 | | max | 2861.000-2846.000=15.000 |
| | mean | 8.545-8.134=0.411 | | σ | 0.542-0.491=0.051 | | min | 7.649-7.679=-0.030 | | max | 9.037-8.748=0.288 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.118-4938.095=3.023 | | σ | 0.297-0.123=0.174 | | min | 4940.723-4937.905=2.818 | | max | 4941.426-4938.249=3.177 |
| | mean | 3058.400-3072.600=-14.200 | | σ | 194.692-300.910=-106.218 | | min | 2861.000-2846.000=15.000 | | max | 3343.000-3536.000=-193.000 |
| | mean | 8.560-8.411=0.149 | | σ | 0.229-0.200=0.029 | | min | 8.361-8.295=0.066 | | max | 8.914-8.765=0.149 |
|