iters=5 new-facts=1 prior-facts=1 | | mean | 297.318-297.314=0.004 | | σ | 0.011-0.003=0.008 | | min | 297.311-297.309=0.001 | | max | 297.337-297.316=0.020 |
| | mean | 1632.000-1601.000=31.000 | | σ | 0.000 | | min | 1632.000-1601.000=31.000 | | max | 1632.000-1601.000=31.000 |
| | mean | 0.388-0.386=0.002 | | σ | 0.004-0.000=0.003 | | min | 0.385-0.385=-0.000 | | max | 0.394-0.386=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.018-1299.015=0.003 | | σ | 0.064-0.098=-0.034 | | min | 1298.929-1298.841=0.088 | | max | 1299.072-1299.078=-0.006 |
| | mean | 1632.000-1601.000=31.000 | | σ | 0.000 | | min | 1632.000-1601.000=31.000 | | max | 1632.000-1601.000=31.000 |
| | mean | 1.858-1.981=-0.123 | | σ | 0.033-0.167=-0.135 | | min | 1.822-1.740=0.083 | | max | 1.900-2.141=-0.242 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.172-1719.175=-0.003 | | σ | 6.945-6.922=0.022 | | min | 1715.893-1715.943=-0.050 | | max | 1731.590-1731.553=0.037 |
| | mean | 1632.000-1601.000=31.000 | | σ | 0.000 | | min | 1632.000-1601.000=31.000 | | max | 1632.000-1601.000=31.000 |
| | mean | 3.038-3.106=-0.067 | | σ | 0.490-0.352=0.138 | | min | 2.498-2.734=-0.235 | | max | 3.807-3.650=0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.921-1981.924=-0.003 | | σ | 0.036-0.035=0.001 | | min | 1981.858-1981.863=-0.005 | | max | 1981.944-1981.951=-0.007 |
| | mean | 1799.800-1792.400=7.400 | | σ | 166.854-187.504=-20.650 | | min | 1632.000-1601.000=31.000 | | max | 2034.000-2055.000=-21.000 |
| | mean | 3.316-3.290=0.026 | | σ | 0.372-0.420=-0.048 | | min | 3.082-2.947=0.135 | | max | 3.971-4.014=-0.043 |
|