iters=5 new-facts=1 prior-facts=1 | | mean | 285.389-326.454=-41.065 | | σ | 0.009-0.027=-0.017 | | min | 285.377-326.406=-41.029 | | max | 285.400-326.471=-41.071 |
| | mean | 1636.000-2615.000=-979.000 | | σ | 0.000 | | min | 1636.000-2615.000=-979.000 | | max | 1636.000-2615.000=-979.000 |
| | mean | 0.382-0.422=-0.041 | | σ | 0.012-0.001=0.010 | | min | 0.374-0.421=-0.047 | | max | 0.402-0.424=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373-1988.616=-703.243 | | σ | 0.133-0.012=0.121 | | min | 1285.303-1988.598=-703.295 | | max | 1285.610-1988.630=-703.021 |
| | mean | 1636.000-2615.000=-979.000 | | σ | 0.000 | | min | 1636.000-2615.000=-979.000 | | max | 1636.000-2615.000=-979.000 |
| | mean | 1.858-2.717=-0.859 | | σ | 0.023-0.106=-0.082 | | min | 1.842-2.640=-0.798 | | max | 1.899-2.889=-0.990 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.743-4813.328=-3005.585 | | σ | 6.958-7.758=-0.801 | | min | 1804.355-4809.407=-3005.051 | | max | 1820.178-4827.198=-3007.021 |
| | mean | 1636.000-2615.000=-979.000 | | σ | 0.000 | | min | 1636.000-2615.000=-979.000 | | max | 1636.000-2615.000=-979.000 |
| | mean | 4.290-8.669=-4.379 | | σ | 0.299-0.332=-0.033 | | min | 4.085-8.188=-4.104 | | max | 4.766-9.123=-4.357 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.194-5001.010=-2930.816 | | σ | 0.015-0.023=-0.008 | | min | 2070.176-5000.983=-2930.807 | | max | 2070.216-5001.033=-2930.816 |
| | mean | 1850.600-3010.000=-1159.400 | | σ | 208.260-293.102=-84.841 | | min | 1636.000-2615.000=-979.000 | | max | 2088.000-3386.000=-1298.000 |
| | mean | 4.560-9.769=-5.208 | | σ | 0.281-0.152=0.128 | | min | 4.408-9.584=-5.176 | | max | 5.062-10.004=-4.943 |
|