iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-273.406=-3.475 | | σ | 0.009-0.011=-0.002 | | min | 269.919-273.391=-3.472 | | max | 269.942-273.418=-3.476 |
| | mean | 2861.000-2520.000=341.000 | | σ | 0.000 | | min | 2861.000-2520.000=341.000 | | max | 2861.000-2520.000=341.000 |
| | mean | 0.380-0.391=-0.011 | | σ | 0.009-0.009=-0.001 | | min | 0.372-0.379=-0.007 | | max | 0.394-0.401=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.397-1933.844=-3.447 | | σ | 0.013-0.014=-0.001 | | min | 1930.388-1933.830=-3.442 | | max | 1930.418-1933.862=-3.444 |
| | mean | 2861.000-2520.000=341.000 | | σ | 0.000 | | min | 2861.000-2520.000=341.000 | | max | 2861.000-2520.000=341.000 |
| | mean | 2.552-3.182=-0.629 | | σ | 0.132-0.287=-0.156 | | min | 2.457-3.008=-0.551 | | max | 2.767-3.685=-0.918 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.753-4754.409=-3.656 | | σ | 0.605-0.781=-0.176 | | min | 4750.301-4754.014=-3.713 | | max | 4751.818-4755.802=-3.985 |
| | mean | 2861.000-2520.000=341.000 | | σ | 0.000 | | min | 2861.000-2520.000=341.000 | | max | 2861.000-2520.000=341.000 |
| | mean | 8.545-8.033=0.512 | | σ | 0.542-0.298=0.243 | | min | 7.649-7.799=-0.150 | | max | 9.037-8.544=0.493 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.118-4944.799=-3.681 | | σ | 0.297-0.078=0.218 | | min | 4940.723-4944.733=-4.009 | | max | 4941.426-4944.891=-3.465 |
| | mean | 3058.400-2935.000=123.400 | | σ | 194.692-387.531=-192.840 | | min | 2861.000-2520.000=341.000 | | max | 3343.000-3479.000=-136.000 |
| | mean | 8.560-8.498=0.062 | | σ | 0.229-0.155=0.075 | | min | 8.361-8.334=0.027 | | max | 8.914-8.703=0.211 |
|