iters=5 new-facts=1 prior-facts=1 | | mean | 297.311-285.441=11.870 | | σ | 0.003-0.007=-0.004 | | min | 297.308-285.435=11.873 | | max | 297.315-285.452=11.864 |
| | mean | 1570.000-1543.000=27.000 | | σ | 0.000 | | min | 1570.000-1543.000=27.000 | | max | 1570.000-1543.000=27.000 |
| | mean | 0.380-0.386=-0.006 | | σ | 0.002-0.010=-0.008 | | min | 0.377-0.376=0.002 | | max | 0.382-0.398=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.662-1285.534=13.127 | | σ | 0.092-0.044=0.048 | | min | 1298.503-1285.462=13.041 | | max | 1298.734-1285.572=13.162 |
| | mean | 1570.000-1543.000=27.000 | | σ | 0.000 | | min | 1570.000-1543.000=27.000 | | max | 1570.000-1543.000=27.000 |
| | mean | 1.877-1.915=-0.038 | | σ | 0.043-0.138=-0.095 | | min | 1.844-1.816=0.028 | | max | 1.950-2.143=-0.194 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.874-1705.830=13.044 | | σ | 6.945-6.875=0.070 | | min | 1715.661-1702.607=13.054 | | max | 1731.295-1718.124=13.171 |
| | mean | 1570.000-1543.000=27.000 | | σ | 0.000 | | min | 1570.000-1543.000=27.000 | | max | 1570.000-1543.000=27.000 |
| | mean | 2.983-2.913=0.071 | | σ | 0.521-0.373=0.149 | | min | 2.584-2.556=0.028 | | max | 3.881-3.316=0.565 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.625-1968.435=13.190 | | σ | 0.016-0.016=-0.000 | | min | 1981.603-1968.416=13.187 | | max | 1981.637-1968.453=13.184 |
| | mean | 1816.600-1789.400=27.200 | | σ | 188.744-206.898=-18.154 | | min | 1570.000-1553.000=17.000 | | max | 2051.000-2070.000=-19.000 |
| | mean | 3.263-3.228=0.035 | | σ | 0.146-0.071=0.075 | | min | 3.031-3.171=-0.140 | | max | 3.413-3.339=0.073 |
|