iters=5 new-facts=1 prior-facts=1 | | mean | 326.505-326.503=0.002 | | σ | 0.048-0.050=-0.002 | | min | 326.419-326.414=0.005 | | max | 326.529-326.530=-0.001 |
| | mean | 2872.000-2613.000=259.000 | | σ | 0.000 | | min | 2872.000-2613.000=259.000 | | max | 2872.000-2613.000=259.000 |
| | mean | 0.427-0.424=0.003 | | σ | 0.006-0.002=0.004 | | min | 0.421-0.422=-0.001 | | max | 0.434-0.426=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.679-1988.670=0.009 | | σ | 0.005-0.015=-0.009 | | min | 1988.675-1988.651=0.024 | | max | 1988.686-1988.688=-0.002 |
| | mean | 2872.000-2613.000=259.000 | | σ | 0.000 | | min | 2872.000-2613.000=259.000 | | max | 2872.000-2613.000=259.000 |
| | mean | 2.732-2.715=0.017 | | σ | 0.122-0.153=-0.031 | | min | 2.647-2.522=0.125 | | max | 2.943-2.947=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.529-4813.325=0.204 | | σ | 7.750-7.860=-0.110 | | min | 4810.007-4809.409=0.599 | | max | 4827.393-4827.374=0.019 |
| | mean | 2872.000-2613.000=259.000 | | σ | 0.000 | | min | 2872.000-2613.000=259.000 | | max | 2872.000-2613.000=259.000 |
| | mean | 8.744-8.414=0.330 | | σ | 0.498-0.565=-0.067 | | min | 8.131-7.811=0.320 | | max | 9.347-9.293=0.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.999-5000.933=0.066 | | σ | 0.145-0.305=-0.159 | | min | 5000.740-5000.389=0.352 | | max | 5001.086-5001.098=-0.012 |
| | mean | 3085.600-2944.600=141.000 | | σ | 296.052-347.052=-51.000 | | min | 2872.000-2613.000=259.000 | | max | 3546.000-3413.000=133.000 |
| | mean | 9.692-9.650=0.042 | | σ | 0.218-0.274=-0.056 | | min | 9.354-9.330=0.024 | | max | 9.930-9.968=-0.038 |
|