iters=5 new-facts=1 prior-facts=1 | | mean | 285.608-280.215=5.393 | | σ | 0.010-0.010=0.001 | | min | 285.595-280.203=5.392 | | max | 285.622-280.225=5.397 |
| | mean | 1639.000-1473.000=166.000 | | σ | 0.000 | | min | 1639.000-1473.000=166.000 | | max | 1639.000-1473.000=166.000 |
| | mean | 0.384-0.370=0.014 | | σ | 0.010-0.004=0.006 | | min | 0.376-0.368=0.008 | | max | 0.397-0.377=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.569-1280.283=5.286 | | σ | 0.136-0.124=0.012 | | min | 1285.502-1280.214=5.288 | | max | 1285.813-1280.502=5.310 |
| | mean | 1639.000-1473.000=166.000 | | σ | 0.000 | | min | 1639.000-1473.000=166.000 | | max | 1639.000-1473.000=166.000 |
| | mean | 1.874-1.841=0.033 | | σ | 0.045-0.040=0.005 | | min | 1.826-1.799=0.027 | | max | 1.923-1.902=0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.890-1802.580=5.310 | | σ | 7.012-7.057=-0.046 | | min | 1804.556-1799.178=5.378 | | max | 1820.419-1815.188=5.231 |
| | mean | 1639.000-1473.000=166.000 | | σ | 0.000 | | min | 1639.000-1473.000=166.000 | | max | 1639.000-1473.000=166.000 |
| | mean | 4.138-4.305=-0.167 | | σ | 0.144-0.203=-0.059 | | min | 3.990-4.006=-0.016 | | max | 4.323-4.481=-0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.393-2065.010=5.383 | | σ | 0.011-0.011=-0.000 | | min | 2070.387-2065.002=5.386 | | max | 2070.412-2065.028=5.384 |
| | mean | 1862.800-1802.000=60.800 | | σ | 194.784-195.974=-1.191 | | min | 1639.000-1561.000=78.000 | | max | 2086.000-1993.000=93.000 |
| | mean | 4.477-4.412=0.065 | | σ | 0.067-0.087=-0.020 | | min | 4.422-4.329=0.093 | | max | 4.581-4.532=0.049 |
|