iters=5 new-facts=1 prior-facts=1 | | mean | 286.819-286.823=-0.004 | | σ | 0.036-0.036=0.000 | | min | 286.774-286.777=-0.003 | | max | 286.862-286.861=0.002 |
| | mean | 1644.000-1660.000=-16.000 | | σ | 0.000 | | min | 1644.000-1660.000=-16.000 | | max | 1644.000-1660.000=-16.000 |
| | mean | 0.407-0.395=0.012 | | σ | 0.019-0.007=0.012 | | min | 0.389-0.389=0.000 | | max | 0.434-0.403=0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.262-1297.256=0.006 | | σ | 0.080-0.111=-0.031 | | min | 1297.160-1297.100=0.060 | | max | 1297.366-1297.396=-0.030 |
| | mean | 1644.000-1660.000=-16.000 | | σ | 0.000 | | min | 1644.000-1660.000=-16.000 | | max | 1644.000-1660.000=-16.000 |
| | mean | 2.351-2.287=0.065 | | σ | 0.189-0.230=-0.041 | | min | 2.111-2.093=0.019 | | max | 2.532-2.660=-0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.406-1541.348=0.058 | | σ | 6.817-6.840=-0.023 | | min | 1538.236-1538.090=0.146 | | max | 1553.598-1553.580=0.018 |
| | mean | 1644.000-1660.000=-16.000 | | σ | 0.000 | | min | 1644.000-1660.000=-16.000 | | max | 1644.000-1660.000=-16.000 |
| | mean | 2.423-2.280=0.144 | | σ | 0.198-0.180=0.018 | | min | 2.203-2.124=0.079 | | max | 2.650-2.527=0.124 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.113-1859.112=0.000 | | σ | 0.063-0.065=-0.002 | | min | 1859.025-1859.020=0.006 | | max | 1859.184-1859.186=-0.002 |
| | mean | 1769.800-1770.400=-0.600 | | σ | 124.901-120.544=4.357 | | min | 1644.000-1660.000=-16.000 | | max | 1900.000-1952.000=-52.000 |
| | mean | 3.122-2.965=0.157 | | σ | 0.244-0.103=0.141 | | min | 2.951-2.861=0.090 | | max | 3.548-3.087=0.461 |
|