iters=5 new-facts=1 prior-facts=1 | | mean | 269.936-269.929=0.007 | | σ | 0.006-0.006=0.000 | | min | 269.928-269.921=0.007 | | max | 269.944-269.937=0.007 |
| | mean | 2471.000-2511.000=-40.000 | | σ | 0.000 | | min | 2471.000-2511.000=-40.000 | | max | 2471.000-2511.000=-40.000 |
| | mean | 0.384-0.374=0.010 | | σ | 0.010-0.002=0.007 | | min | 0.374-0.372=0.002 | | max | 0.397-0.378=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.398-1790.181=140.217 | | σ | 0.009-313.539=-313.530 | | min | 1930.387-1229.306=701.081 | | max | 1930.410-1930.406=0.004 |
| | mean | 2471.000-2511.000=-40.000 | | σ | 0.000 | | min | 2471.000-2511.000=-40.000 | | max | 2471.000-2511.000=-40.000 |
| | mean | 2.501-2.442=0.059 | | σ | 0.057-0.419=-0.362 | | min | 2.436-1.755=0.681 | | max | 2.567-2.854=-0.287 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.931-4750.811=0.120 | | σ | 0.780-0.890=-0.109 | | min | 4750.500-4750.334=0.165 | | max | 4752.319-4752.398=-0.079 |
| | mean | 2471.000-2511.000=-40.000 | | σ | 0.000 | | min | 2471.000-2511.000=-40.000 | | max | 2471.000-2511.000=-40.000 |
| | mean | 8.080-8.895=-0.814 | | σ | 0.402-0.173=0.229 | | min | 7.683-8.613=-0.930 | | max | 8.623-9.084=-0.461 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.319-4941.334=-0.015 | | σ | 0.082-0.086=-0.004 | | min | 4941.253-4941.261=-0.008 | | max | 4941.410-4941.439=-0.030 |
| | mean | 2971.800-2965.600=6.200 | | σ | 433.744-336.390=97.354 | | min | 2482.000-2522.000=-40.000 | | max | 3563.000-3279.000=284.000 |
| | mean | 8.374-8.740=-0.366 | | σ | 0.139-0.459=-0.319 | | min | 8.262-8.384=-0.123 | | max | 8.612-9.544=-0.932 |
|