iters=5 new-facts=1 prior-facts=1 | | mean | 274.688-274.690=-0.002 | | σ | 0.008-0.004=0.004 | | min | 274.680-274.686=-0.006 | | max | 274.701-274.696=0.005 |
| | mean | 2472.000-2750.000=-278.000 | | σ | 0.000 | | min | 2472.000-2750.000=-278.000 | | max | 2472.000-2750.000=-278.000 |
| | mean | 0.387-0.385=0.002 | | σ | 0.004-0.001=0.003 | | min | 0.384-0.384=0.000 | | max | 0.394-0.387=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1935.081-1935.087=-0.005 | | σ | 0.008-0.017=-0.009 | | min | 1935.069-1935.065=0.004 | | max | 1935.091-1935.111=-0.020 |
| | mean | 2472.000-2750.000=-278.000 | | σ | 0.000 | | min | 2472.000-2750.000=-278.000 | | max | 2472.000-2750.000=-278.000 |
| | mean | 3.005-3.098=-0.094 | | σ | 0.335-0.337=-0.001 | | min | 2.599-2.733=-0.134 | | max | 3.481-3.607=-0.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.889-4755.835=0.055 | | σ | 0.882-0.860=0.022 | | min | 4755.372-4755.374=-0.002 | | max | 4757.462-4757.371=0.091 |
| | mean | 2472.000-2750.000=-278.000 | | σ | 0.000 | | min | 2472.000-2750.000=-278.000 | | max | 2472.000-2750.000=-278.000 |
| | mean | 8.374-8.526=-0.152 | | σ | 0.409-0.303=0.107 | | min | 7.990-8.070=-0.080 | | max | 8.970-8.912=0.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4946.158-4946.302=-0.144 | | σ | 0.205-0.019=0.186 | | min | 4945.922-4946.286=-0.363 | | max | 4946.319-4946.328=-0.009 |
| | mean | 2929.800-3046.600=-116.800 | | σ | 397.341-217.245=180.096 | | min | 2473.000-2750.000=-277.000 | | max | 3447.000-3321.000=126.000 |
| | mean | 8.451-8.573=-0.122 | | σ | 0.098-0.131=-0.032 | | min | 8.356-8.400=-0.044 | | max | 8.615-8.690=-0.075 |
|