iters=5 new-facts=1 prior-facts=1 | | mean | 275.564-267.614=7.950 | | σ | 0.007-17.779=-17.772 | | min | 275.557-235.810=39.747 | | max | 275.576-275.570=0.007 |
| | mean | 2704.000-2769.000=-65.000 | | σ | 0.000 | | min | 2704.000-2769.000=-65.000 | | max | 2704.000-2769.000=-65.000 |
| | mean | 0.393-0.380=0.013 | | σ | 0.010-0.031=-0.021 | | min | 0.385-0.326=0.060 | | max | 0.404-0.399=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.085=0.006 | | σ | 0.008-0.015=-0.006 | | min | 2168.077-2168.067=0.010 | | max | 2168.098-2168.103=-0.004 |
| | mean | 2704.000-2769.000=-65.000 | | σ | 0.000 | | min | 2704.000-2769.000=-65.000 | | max | 2704.000-2769.000=-65.000 |
| | mean | 3.024-2.935=0.090 | | σ | 0.196-0.097=0.098 | | min | 2.779-2.810=-0.031 | | max | 3.225-3.053=0.172 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.785-5047.909=-0.124 | | σ | 1.014-0.878=0.136 | | min | 5046.920-5047.334=-0.414 | | max | 5049.540-5049.444=0.096 |
| | mean | 2704.000-2769.000=-65.000 | | σ | 0.000 | | min | 2704.000-2769.000=-65.000 | | max | 2704.000-2769.000=-65.000 |
| | mean | 8.766-8.903=-0.137 | | σ | 0.300-0.507=-0.207 | | min | 8.351-8.196=0.155 | | max | 9.152-9.405=-0.253 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5178.975=0.066 | | σ | 0.077-0.200=-0.123 | | min | 5178.968-5178.651=0.318 | | max | 5179.129-5179.159=-0.030 |
| | mean | 3220.600-3302.400=-81.800 | | σ | 379.642-394.037=-14.396 | | min | 2704.000-2769.000=-65.000 | | max | 3700.000-3674.000=26.000 |
| | mean | 9.884-9.873=0.011 | | σ | 0.389-0.212=0.177 | | min | 9.433-9.534=-0.101 | | max | 10.466-10.106=0.360 |
|