iters=5 new-facts=1 prior-facts=1 | | mean | 280.335-280.064=0.271 | | σ | 0.014-0.012=0.002 | | min | 280.310-280.044=0.266 | | max | 280.347-280.073=0.274 |
| | mean | 1630.000-1624.000=6.000 | | σ | 0.000 | | min | 1630.000-1624.000=6.000 | | max | 1630.000-1624.000=6.000 |
| | mean | 0.388-0.385=0.002 | | σ | 0.007-0.006=0.001 | | min | 0.382-0.381=0.001 | | max | 0.398-0.392=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1302.580-1302.380=0.199 | | σ | 0.101-0.047=0.053 | | min | 1302.522-1302.310=0.213 | | max | 1302.759-1302.432=0.327 |
| | mean | 1630.000-1624.000=6.000 | | σ | 0.000 | | min | 1630.000-1624.000=6.000 | | max | 1630.000-1624.000=6.000 |
| | mean | 1.969-1.973=-0.004 | | σ | 0.125-0.131=-0.006 | | min | 1.853-1.860=-0.006 | | max | 2.121-2.194=-0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.923-1722.595=-181.672 | | σ | 6.830-6.871=-0.041 | | min | 1537.619-1719.415=-181.795 | | max | 1553.134-1734.882=-181.748 |
| | mean | 1630.000-1624.000=6.000 | | σ | 0.000 | | min | 1630.000-1624.000=6.000 | | max | 1630.000-1624.000=6.000 |
| | mean | 2.268-2.990=-0.722 | | σ | 0.169-0.409=-0.240 | | min | 2.168-2.574=-0.406 | | max | 2.569-3.581=-1.012 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1870.407-1985.286=-114.880 | | σ | 0.015-0.014=0.001 | | min | 1870.390-1985.267=-114.876 | | max | 1870.423-1985.304=-114.881 |
| | mean | 1775.400-1870.400=-95.000 | | σ | 168.620-215.115=-46.494 | | min | 1630.000-1624.000=6.000 | | max | 2022.000-2135.000=-113.000 |
| | mean | 2.934-3.332=-0.397 | | σ | 0.053-0.084=-0.031 | | min | 2.881-3.211=-0.329 | | max | 3.010-3.433=-0.423 |
|