iters=5 new-facts=1 prior-facts=1 | | mean | 284.704-299.446=-14.742 | | σ | 0.027-0.050=-0.024 | | min | 284.677-299.373=-14.695 | | max | 284.735-299.504=-14.769 |
| | mean | 1640.000-1648.000=-8.000 | | σ | 0.000 | | min | 1640.000-1648.000=-8.000 | | max | 1640.000-1648.000=-8.000 |
| | mean | 0.392-0.388=0.003 | | σ | 0.007-0.007=-0.000 | | min | 0.384-0.384=0.000 | | max | 0.403-0.402=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.077-1309.885=-14.809 | | σ | 0.105-0.095=0.009 | | min | 1294.960-1309.765=-14.805 | | max | 1295.206-1309.997=-14.791 |
| | mean | 1640.000-1648.000=-8.000 | | σ | 0.000 | | min | 1640.000-1648.000=-8.000 | | max | 1640.000-1648.000=-8.000 |
| | mean | 1.917-1.868=0.050 | | σ | 0.104-0.105=-0.001 | | min | 1.808-1.732=0.076 | | max | 2.037-2.013=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.184-1554.038=-14.854 | | σ | 6.828-6.851=-0.023 | | min | 1535.950-1550.808=-14.858 | | max | 1551.395-1566.289=-14.894 |
| | mean | 1640.000-1648.000=-8.000 | | σ | 0.000 | | min | 1640.000-1648.000=-8.000 | | max | 1640.000-1648.000=-8.000 |
| | mean | 2.213-2.371=-0.158 | | σ | 0.180-0.236=-0.057 | | min | 2.058-2.008=0.051 | | max | 2.489-2.608=-0.119 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.989-1871.761=-14.772 | | σ | 0.059-0.044=0.015 | | min | 1856.932-1871.712=-14.781 | | max | 1857.076-1871.803=-14.727 |
| | mean | 1773.200-1779.600=-6.400 | | σ | 128.550-134.953=-6.403 | | min | 1640.000-1648.000=-8.000 | | max | 1902.000-1919.000=-17.000 |
| | mean | 3.045-3.022=0.024 | | σ | 0.272-0.231=0.040 | | min | 2.827-2.808=0.018 | | max | 3.502-3.413=0.090 |
|