iters=5 new-facts=1 prior-facts=1 | | mean | 285.668-326.569=-40.901 | | σ | 0.015-0.050=-0.035 | | min | 285.641-326.480=-40.839 | | max | 285.678-326.598=-40.920 |
| | mean | 1570.000-2615.000=-1045.000 | | σ | 0.000 | | min | 1570.000-2615.000=-1045.000 | | max | 1570.000-2615.000=-1045.000 |
| | mean | 0.384-0.425=-0.041 | | σ | 0.011-0.007=0.004 | | min | 0.374-0.419=-0.045 | | max | 0.397-0.436=-0.039 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.640-1988.739=-703.100 | | σ | 0.137-0.012=0.125 | | min | 1285.573-1988.719=-703.146 | | max | 1285.885-1988.749=-702.864 |
| | mean | 1570.000-2615.000=-1045.000 | | σ | 0.000 | | min | 1570.000-2615.000=-1045.000 | | max | 1570.000-2615.000=-1045.000 |
| | mean | 1.942-2.716=-0.773 | | σ | 0.152-0.154=-0.002 | | min | 1.827-2.628=-0.801 | | max | 2.197-2.988=-0.792 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.995-4813.275=-3005.280 | | σ | 6.981-7.606=-0.625 | | min | 1804.636-4809.097=-3004.461 | | max | 1820.466-4826.854=-3006.389 |
| | mean | 1570.000-2615.000=-1045.000 | | σ | 0.000 | | min | 1570.000-2615.000=-1045.000 | | max | 1570.000-2615.000=-1045.000 |
| | mean | 4.219-8.437=-4.217 | | σ | 0.145-0.642=-0.497 | | min | 4.074-7.830=-3.756 | | max | 4.449-9.344=-4.895 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.470-5001.136=-2930.665 | | σ | 0.041-0.027=0.014 | | min | 2070.416-5001.101=-2930.685 | | max | 2070.529-5001.162=-2930.633 |
| | mean | 1861.200-2979.600=-1118.400 | | σ | 215.133-400.115=-184.982 | | min | 1599.000-2615.000=-1016.000 | | max | 2102.000-3540.000=-1438.000 |
| | mean | 4.690-9.713=-5.023 | | σ | 0.449-0.238=0.212 | | min | 4.434-9.324=-4.890 | | max | 5.488-9.950=-4.462 |
|