iters=5 new-facts=1 prior-facts=1 | | mean | 286.817-286.824=-0.007 | | σ | 0.039-0.034=0.004 | | min | 286.769-286.777=-0.008 | | max | 286.856-286.860=-0.004 |
| | mean | 1645.000-1647.000=-2.000 | | σ | 0.000 | | min | 1645.000-1647.000=-2.000 | | max | 1645.000-1647.000=-2.000 |
| | mean | 0.400-0.396=0.003 | | σ | 0.008-0.011=-0.003 | | min | 0.390-0.386=0.004 | | max | 0.408-0.411=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.259-1297.222=0.037 | | σ | 0.113-0.058=0.055 | | min | 1297.090-1297.163=-0.072 | | max | 1297.392-1297.288=0.105 |
| | mean | 1645.000-1647.000=-2.000 | | σ | 0.000 | | min | 1645.000-1647.000=-2.000 | | max | 1645.000-1647.000=-2.000 |
| | mean | 2.215-2.030=0.185 | | σ | 0.104-0.041=0.062 | | min | 2.125-2.009=0.116 | | max | 2.332-2.104=0.229 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.375-1541.335=0.040 | | σ | 6.808-6.825=-0.017 | | min | 1538.227-1538.116=0.112 | | max | 1553.552-1553.540=0.013 |
| | mean | 1645.000-1647.000=-2.000 | | σ | 0.000 | | min | 1645.000-1647.000=-2.000 | | max | 1645.000-1647.000=-2.000 |
| | mean | 2.317-2.276=0.041 | | σ | 0.261-0.193=0.068 | | min | 2.117-2.117=-0.000 | | max | 2.753-2.560=0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.118-1859.117=0.002 | | σ | 0.069-0.078=-0.008 | | min | 1859.034-1859.003=0.031 | | max | 1859.196-1859.194=0.002 |
| | mean | 1800.800-1790.800=10.000 | | σ | 181.959-168.768=13.191 | | min | 1645.000-1647.000=-2.000 | | max | 2066.000-2036.000=30.000 |
| | mean | 2.996-3.032=-0.036 | | σ | 0.105-0.056=0.049 | | min | 2.842-2.982=-0.141 | | max | 3.109-3.107=0.002 |
|