iters=5 new-facts=1 prior-facts=1 | | mean | 285.675-324.699=-39.023 | | σ | 0.015-0.056=-0.041 | | min | 285.651-324.600=-38.949 | | max | 285.690-324.737=-39.047 |
| | mean | 1598.000-2724.000=-1126.000 | | σ | 0.000 | | min | 1598.000-2724.000=-1126.000 | | max | 1598.000-2724.000=-1126.000 |
| | mean | 0.375-0.424=-0.049 | | σ | 0.000-0.002=-0.001 | | min | 0.375-0.422=-0.047 | | max | 0.376-0.426=-0.051 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.641-1985.266=-699.625 | | σ | 0.135-0.014=0.121 | | min | 1285.573-1985.242=-699.668 | | max | 1285.882-1985.274=-699.393 |
| | mean | 1598.000-2724.000=-1126.000 | | σ | 0.000 | | min | 1598.000-2724.000=-1126.000 | | max | 1598.000-2724.000=-1126.000 |
| | mean | 1.880-2.610=-0.730 | | σ | 0.019-0.084=-0.065 | | min | 1.863-2.533=-0.670 | | max | 1.909-2.727=-0.818 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.983-4808.797=-3000.814 | | σ | 7.016-7.735=-0.719 | | min | 1804.616-4804.797=-3000.181 | | max | 1820.517-4822.622=-3002.105 |
| | mean | 1598.000-2724.000=-1126.000 | | σ | 0.000 | | min | 1598.000-2724.000=-1126.000 | | max | 1598.000-2724.000=-1126.000 |
| | mean | 4.218-8.810=-4.592 | | σ | 0.176-0.612=-0.436 | | min | 4.000-7.743=-3.744 | | max | 4.472-9.263=-4.791 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.462-4996.393=-2925.931 | | σ | 0.010-0.153=-0.143 | | min | 2070.448-4996.121=-2925.673 | | max | 2070.477-4996.482=-2926.005 |
| | mean | 1844.000-3017.600=-1173.600 | | σ | 217.430-345.238=-127.808 | | min | 1598.000-2724.000=-1126.000 | | max | 2086.000-3528.000=-1442.000 |
| | mean | 4.453-8.504=-4.051 | | σ | 0.028-0.119=-0.091 | | min | 4.412-8.431=-4.019 | | max | 4.488-8.714=-4.226 |
|