iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-271.647=-4.866 | | σ | 0.010-0.011=-0.002 | | min | 266.773-271.637=-4.864 | | max | 266.797-271.661=-4.864 |
| | mean | 2852.000-2478.000=374.000 | | σ | 0.000 | | min | 2852.000-2478.000=374.000 | | max | 2852.000-2478.000=374.000 |
| | mean | 0.367-0.383=-0.016 | | σ | 0.006-0.008=-0.001 | | min | 0.363-0.377=-0.014 | | max | 0.379-0.395=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.207-1932.106=-4.899 | | σ | 0.003-0.022=-0.019 | | min | 1927.204-1932.069=-4.865 | | max | 1927.211-1932.122=-4.911 |
| | mean | 2852.000-2478.000=374.000 | | σ | 0.000 | | min | 2852.000-2478.000=374.000 | | max | 2852.000-2478.000=374.000 |
| | mean | 3.068-2.629=0.440 | | σ | 0.123-0.111=0.013 | | min | 2.972-2.516=0.456 | | max | 3.260-2.761=0.499 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.699-4752.612=-4.913 | | σ | 0.848-0.851=-0.003 | | min | 4747.190-4752.121=-4.931 | | max | 4749.207-4754.119=-4.911 |
| | mean | 2852.000-2478.000=374.000 | | σ | 0.000 | | min | 2852.000-2478.000=374.000 | | max | 2852.000-2478.000=374.000 |
| | mean | 8.484-8.371=0.112 | | σ | 0.609-0.404=0.204 | | min | 7.677-7.909=-0.232 | | max | 9.198-8.874=0.324 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166-4943.045=-4.879 | | σ | 0.087-0.080=0.007 | | min | 4938.090-4942.978=-4.889 | | max | 4938.269-4943.139=-4.870 |
| | mean | 3058.200-2946.200=112.000 | | σ | 187.182-421.038=-233.856 | | min | 2852.000-2478.000=374.000 | | max | 3322.000-3514.000=-192.000 |
| | mean | 8.593-8.447=0.147 | | σ | 0.281-0.088=0.193 | | min | 8.369-8.326=0.043 | | max | 8.925-8.575=0.350 |
|