iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-278.695=-1.501 | | σ | 0.004-0.014=-0.010 | | min | 277.190-278.677=-1.487 | | max | 277.197-278.709=-1.512 |
| | mean | 2621.000-2611.000=10.000 | | σ | 0.000 | | min | 2621.000-2611.000=10.000 | | max | 2621.000-2611.000=10.000 |
| | mean | 0.396-0.420=-0.024 | | σ | 0.004-0.001=0.003 | | min | 0.393-0.418=-0.026 | | max | 0.403-0.421=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.432-2268.840=-94.408 | | σ | 0.012-0.017=-0.005 | | min | 2174.415-2268.822=-94.407 | | max | 2174.449-2268.864=-94.416 |
| | mean | 2621.000-2611.000=10.000 | | σ | 0.000 | | min | 2621.000-2611.000=10.000 | | max | 2621.000-2611.000=10.000 |
| | mean | 3.050-3.303=-0.253 | | σ | 0.225-0.136=0.089 | | min | 2.830-3.144=-0.314 | | max | 3.333-3.491=-0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.580-4955.921=96.659 | | σ | 0.970-1.046=-0.076 | | min | 5052.020-4955.025=96.995 | | max | 5054.305-4957.720=96.585 |
| | mean | 2621.000-2611.000=10.000 | | σ | 0.000 | | min | 2621.000-2611.000=10.000 | | max | 2621.000-2611.000=10.000 |
| | mean | 9.005-8.126=0.880 | | σ | 0.328-0.322=0.006 | | min | 8.538-7.745=0.794 | | max | 9.336-8.620=0.716 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.422-5170.773=17.649 | | σ | 0.095-0.084=0.011 | | min | 5188.335-5170.678=17.657 | | max | 5188.525-5170.850=17.675 |
| | mean | 3269.800-3454.200=-184.400 | | σ | 386.731-474.506=-87.775 | | min | 2729.000-2839.000=-110.000 | | max | 3741.000-4118.000=-377.000 |
| | mean | 9.225-9.320=-0.094 | | σ | 0.531-0.153=0.378 | | min | 8.729-9.107=-0.378 | | max | 9.795-9.459=0.336 |
|