iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-279.543=-2.346 | | σ | 0.006-0.007=-0.001 | | min | 277.190-279.534=-2.344 | | max | 277.206-279.553=-2.347 |
| | mean | 2694.000-2596.000=98.000 | | σ | 0.000 | | min | 2694.000-2596.000=98.000 | | max | 2694.000-2596.000=98.000 |
| | mean | 0.404-0.418=-0.014 | | σ | 0.010-0.014=-0.004 | | min | 0.399-0.405=-0.007 | | max | 0.422-0.438=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.447-2178.470=-4.023 | | σ | 0.021-0.013=0.008 | | min | 2174.429-2178.452=-4.023 | | max | 2174.471-2178.488=-4.017 |
| | mean | 2694.000-2596.000=98.000 | | σ | 0.000 | | min | 2694.000-2596.000=98.000 | | max | 2694.000-2596.000=98.000 |
| | mean | 2.955-3.325=-0.370 | | σ | 0.109-0.150=-0.041 | | min | 2.784-3.205=-0.421 | | max | 3.055-3.584=-0.529 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.406-5056.337=-3.931 | | σ | 1.137-1.016=0.121 | | min | 5051.639-5055.364=-3.724 | | max | 5054.421-5058.063=-3.642 |
| | mean | 2694.000-2596.000=98.000 | | σ | 0.000 | | min | 2694.000-2596.000=98.000 | | max | 2694.000-2596.000=98.000 |
| | mean | 9.027-8.998=0.029 | | σ | 0.829-0.706=0.123 | | min | 8.064-8.105=-0.041 | | max | 9.889-9.990=-0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.421-5193.765=-5.343 | | σ | 0.085-0.072=0.013 | | min | 5188.353-5193.720=-5.366 | | max | 5188.517-5193.893=-5.375 |
| | mean | 3232.000-3221.800=10.200 | | σ | 384.930-487.184=-102.255 | | min | 2695.000-2601.000=94.000 | | max | 3716.000-3830.000=-114.000 |
| | mean | 8.965-8.763=0.202 | | σ | 0.422-0.168=0.254 | | min | 8.671-8.636=0.036 | | max | 9.684-8.957=0.727 |
|