iters=5 new-facts=1 prior-facts=1 | | mean | 284.704-299.456=-14.752 | | σ | 0.027-0.038=-0.012 | | min | 284.677-299.414=-14.737 | | max | 284.735-299.505=-14.770 |
| | mean | 1640.000-1426.000=214.000 | | σ | 0.000 | | min | 1640.000-1426.000=214.000 | | max | 1640.000-1426.000=214.000 |
| | mean | 0.392-0.389=0.003 | | σ | 0.007-0.008=-0.001 | | min | 0.384-0.384=-0.000 | | max | 0.403-0.403=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.077-1309.877=-14.801 | | σ | 0.105-0.087=0.018 | | min | 1294.960-1309.766=-14.806 | | max | 1295.206-1309.999=-14.792 |
| | mean | 1640.000-1426.000=214.000 | | σ | 0.000 | | min | 1640.000-1426.000=214.000 | | max | 1640.000-1426.000=214.000 |
| | mean | 1.917-1.914=0.003 | | σ | 0.104-0.069=0.035 | | min | 1.808-1.808=-0.000 | | max | 2.037-2.000=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.184-1553.969=-14.785 | | σ | 6.828-6.863=-0.035 | | min | 1535.950-1550.653=-14.703 | | max | 1551.395-1566.239=-14.845 |
| | mean | 1640.000-1426.000=214.000 | | σ | 0.000 | | min | 1640.000-1426.000=214.000 | | max | 1640.000-1426.000=214.000 |
| | mean | 2.213-2.279=-0.066 | | σ | 0.180-0.207=-0.027 | | min | 2.058-2.043=0.015 | | max | 2.489-2.542=-0.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.989-1871.763=-14.774 | | σ | 0.059-0.044=0.014 | | min | 1856.932-1871.709=-14.778 | | max | 1857.076-1871.801=-14.725 |
| | mean | 1773.200-1721.400=51.800 | | σ | 128.550-159.500=-30.950 | | min | 1640.000-1524.000=116.000 | | max | 1902.000-1941.000=-39.000 |
| | mean | 3.045-2.911=0.135 | | σ | 0.272-0.068=0.203 | | min | 2.827-2.831=-0.004 | | max | 3.502-2.982=0.520 |
|