iters=5 new-facts=1 prior-facts=1 | | mean | 294.412-324.699=-30.286 | | σ | 0.012-0.056=-0.044 | | min | 294.396-324.600=-30.205 | | max | 294.426-324.737=-30.311 |
| | mean | 1651.000-2724.000=-1073.000 | | σ | 0.000 | | min | 1651.000-2724.000=-1073.000 | | max | 1651.000-2724.000=-1073.000 |
| | mean | 0.382-0.424=-0.043 | | σ | 0.002-0.002=0.000 | | min | 0.379-0.422=-0.043 | | max | 0.383-0.426=-0.043 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.732-1985.266=-668.534 | | σ | 0.051-0.014=0.037 | | min | 1316.646-1985.242=-668.595 | | max | 1316.770-1985.274=-668.505 |
| | mean | 1651.000-2724.000=-1073.000 | | σ | 0.000 | | min | 1651.000-2724.000=-1073.000 | | max | 1651.000-2724.000=-1073.000 |
| | mean | 1.888-2.610=-0.722 | | σ | 0.065-0.084=-0.019 | | min | 1.839-2.533=-0.694 | | max | 1.990-2.727=-0.737 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.953-4808.797=-3071.844 | | σ | 6.921-7.735=-0.814 | | min | 1733.744-4804.797=-3071.053 | | max | 1749.329-4822.622=-3073.293 |
| | mean | 1651.000-2724.000=-1073.000 | | σ | 0.000 | | min | 1651.000-2724.000=-1073.000 | | max | 1651.000-2724.000=-1073.000 |
| | mean | 2.964-8.810=-5.846 | | σ | 0.430-0.612=-0.183 | | min | 2.538-7.743=-5.205 | | max | 3.685-9.263=-5.579 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.622-4996.393=-2996.771 | | σ | 0.033-0.153=-0.120 | | min | 1999.585-4996.121=-2996.536 | | max | 1999.667-4996.482=-2996.816 |
| | mean | 1806.000-3017.600=-1211.600 | | σ | 184.352-345.238=-160.886 | | min | 1651.000-2724.000=-1073.000 | | max | 2080.000-3528.000=-1448.000 |
| | mean | 3.305-8.504=-5.199 | | σ | 0.144-0.119=0.024 | | min | 3.152-8.431=-5.279 | | max | 3.533-8.714=-5.181 |
|