iters=5 new-facts=1 prior-facts=1 | | mean | 279.540-279.541=-0.001 | | σ | 0.008-0.007=0.001 | | min | 279.527-279.534=-0.007 | | max | 279.545-279.551=-0.006 |
| | mean | 2796.000-2819.000=-23.000 | | σ | 0.000 | | min | 2796.000-2819.000=-23.000 | | max | 2796.000-2819.000=-23.000 |
| | mean | 0.404-0.407=-0.003 | | σ | 0.005-0.007=-0.002 | | min | 0.400-0.403=-0.003 | | max | 0.412-0.419=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.442-2178.482=-0.040 | | σ | 0.034-0.015=0.020 | | min | 2178.394-2178.467=-0.073 | | max | 2178.476-2178.505=-0.029 |
| | mean | 2796.000-2819.000=-23.000 | | σ | 0.000 | | min | 2796.000-2819.000=-23.000 | | max | 2796.000-2819.000=-23.000 |
| | mean | 3.535-3.441=0.093 | | σ | 0.326-0.173=0.153 | | min | 3.243-3.271=-0.027 | | max | 4.066-3.722=0.344 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.299-5056.398=-0.099 | | σ | 1.098-0.966=0.132 | | min | 5055.252-5055.849=-0.597 | | max | 5058.167-5058.121=0.046 |
| | mean | 2796.000-2819.000=-23.000 | | σ | 0.000 | | min | 2796.000-2819.000=-23.000 | | max | 2796.000-2819.000=-23.000 |
| | mean | 8.983-9.105=-0.122 | | σ | 0.721-0.614=0.107 | | min | 8.163-8.136=0.027 | | max | 9.849-9.656=0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.721-5193.771=-0.050 | | σ | 0.124-0.096=0.028 | | min | 5193.538-5193.675=-0.137 | | max | 5193.886-5193.881=0.005 |
| | mean | 3304.400-3246.200=58.200 | | σ | 408.747-325.159=83.589 | | min | 2796.000-2819.000=-23.000 | | max | 3706.000-3670.000=36.000 |
| | mean | 8.966-8.935=0.030 | | σ | 0.316-0.412=-0.096 | | min | 8.671-8.617=0.054 | | max | 9.354-9.630=-0.276 |
|