iters=5 new-facts=1 prior-facts=1 | | mean | 279.558-190.713=88.845 | | σ | 0.008-0.005=0.003 | | min | 279.547-190.708=88.839 | | max | 279.567-190.719=88.848 |
| | mean | 2554.000-2629.000=-75.000 | | σ | 0.000 | | min | 2554.000-2629.000=-75.000 | | max | 2554.000-2629.000=-75.000 |
| | mean | 0.410-0.281=0.129 | | σ | 0.006-0.001=0.005 | | min | 0.405-0.279=0.125 | | max | 0.420-0.282=0.138 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.491-1989.499=188.992 | | σ | 0.006-0.014=-0.008 | | min | 2178.486-1989.486=188.999 | | max | 2178.501-1989.518=188.983 |
| | mean | 2554.000-2629.000=-75.000 | | σ | 0.000 | | min | 2554.000-2629.000=-75.000 | | max | 2554.000-2629.000=-75.000 |
| | mean | 3.415-2.413=1.002 | | σ | 0.106-0.076=0.030 | | min | 3.269-2.319=0.949 | | max | 3.546-2.532=1.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.400-4879.963=176.436 | | σ | 0.974-0.611=0.363 | | min | 5055.856-4879.443=176.413 | | max | 5058.134-4881.017=177.117 |
| | mean | 2554.000-2629.000=-75.000 | | σ | 0.000 | | min | 2554.000-2629.000=-75.000 | | max | 2554.000-2629.000=-75.000 |
| | mean | 8.914-8.127=0.787 | | σ | 0.507-0.204=0.303 | | min | 8.156-7.810=0.346 | | max | 9.416-8.362=1.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.802-4891.693=302.109 | | σ | 0.086-0.093=-0.007 | | min | 5193.730-4891.616=302.114 | | max | 5193.900-4891.797=302.103 |
| | mean | 3232.000-3249.600=-17.600 | | σ | 368.640-399.196=-30.556 | | min | 2713.000-2845.000=-132.000 | | max | 3677.000-3643.000=34.000 |
| | mean | 8.929-8.208=0.721 | | σ | 0.449-0.218=0.230 | | min | 8.663-8.026=0.638 | | max | 9.724-8.567=1.156 |
|