iters=5 new-facts=1 prior-facts=1 | | mean | 281.493-285.413=-3.920 | | σ | 0.036-0.036=-0.000 | | min | 281.453-285.368=-3.915 | | max | 281.529-285.453=-3.924 |
| | mean | 1632.000-1638.000=-6.000 | | σ | 0.000 | | min | 1632.000-1638.000=-6.000 | | max | 1632.000-1638.000=-6.000 |
| | mean | 0.379-0.389=-0.009 | | σ | 0.001-0.012=-0.011 | | min | 0.378-0.379=-0.001 | | max | 0.380-0.406=-0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.479-1295.798=-4.319 | | σ | 0.117-0.112=0.005 | | min | 1291.352-1295.671=-4.320 | | max | 1291.646-1295.930=-4.283 |
| | mean | 1632.000-1638.000=-6.000 | | σ | 0.000 | | min | 1632.000-1638.000=-6.000 | | max | 1632.000-1638.000=-6.000 |
| | mean | 1.928-1.966=-0.038 | | σ | 0.109-0.190=-0.081 | | min | 1.788-1.817=-0.029 | | max | 2.046-2.282=-0.236 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.344-1539.931=-5.588 | | σ | 4.031-6.852=-2.821 | | min | 1532.322-1536.655=-4.332 | | max | 1541.543-1552.182=-10.639 |
| | mean | 1632.000-1638.000=-6.000 | | σ | 0.000 | | min | 1632.000-1638.000=-6.000 | | max | 1632.000-1638.000=-6.000 |
| | mean | 2.349-2.300=0.049 | | σ | 0.263-0.243=0.019 | | min | 2.093-2.034=0.060 | | max | 2.705-2.590=0.115 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.374-1857.704=-4.330 | | σ | 0.078-0.054=0.024 | | min | 1853.284-1857.649=-4.366 | | max | 1853.469-1857.779=-4.311 |
| | mean | 1802.800-1772.800=30.000 | | σ | 168.869-130.325=38.544 | | min | 1632.000-1638.000=-6.000 | | max | 1974.000-1904.000=70.000 |
| | mean | 3.253-3.046=0.206 | | σ | 0.334-0.241=0.093 | | min | 2.892-2.851=0.040 | | max | 3.656-3.453=0.203 |
|