iters=5 new-facts=1 prior-facts=1 | | mean | 270.608-270.241=0.368 | | σ | 0.005-0.007=-0.003 | | min | 270.602-270.232=0.370 | | max | 270.615-270.249=0.366 |
| | mean | 2770.000-2779.000=-9.000 | | σ | 0.000 | | min | 2770.000-2779.000=-9.000 | | max | 2770.000-2779.000=-9.000 |
| | mean | 0.378-0.381=-0.003 | | σ | 0.001-0.008=-0.007 | | min | 0.376-0.376=0.000 | | max | 0.380-0.395=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.046-1930.692=0.354 | | σ | 0.012-0.015=-0.003 | | min | 1931.036-1930.667=0.369 | | max | 1931.067-1930.704=0.363 |
| | mean | 2770.000-2779.000=-9.000 | | σ | 0.000 | | min | 2770.000-2779.000=-9.000 | | max | 2770.000-2779.000=-9.000 |
| | mean | 2.922-2.545=0.378 | | σ | 0.183-0.119=0.065 | | min | 2.607-2.442=0.165 | | max | 3.081-2.706=0.375 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.776-4751.320=0.456 | | σ | 0.918-0.994=-0.075 | | min | 4751.221-4750.514=0.707 | | max | 4753.406-4753.046=0.360 |
| | mean | 2770.000-2779.000=-9.000 | | σ | 0.000 | | min | 2770.000-2779.000=-9.000 | | max | 2770.000-2779.000=-9.000 |
| | mean | 8.566-8.327=0.238 | | σ | 0.466-0.562=-0.097 | | min | 7.961-7.688=0.274 | | max | 9.137-9.100=0.037 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.231-4941.792=0.439 | | σ | 0.017-0.177=-0.160 | | min | 4942.213-4941.478=0.735 | | max | 4942.255-4941.890=0.365 |
| | mean | 3050.400-3055.000=-4.600 | | σ | 242.162-336.904=-94.742 | | min | 2770.000-2779.000=-9.000 | | max | 3397.000-3563.000=-166.000 |
| | mean | 8.640-8.482=0.158 | | σ | 0.213-0.174=0.038 | | min | 8.387-8.335=0.052 | | max | 8.933-8.766=0.167 |
|