iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-279.558=-2.362 | | σ | 0.004-0.008=-0.004 | | min | 277.193-279.547=-2.354 | | max | 277.201-279.567=-2.366 |
| | mean | 2630.000-2554.000=76.000 | | σ | 0.000 | | min | 2630.000-2554.000=76.000 | | max | 2630.000-2554.000=76.000 |
| | mean | 0.395-0.410=-0.016 | | σ | 0.001-0.006=-0.005 | | min | 0.393-0.405=-0.012 | | max | 0.396-0.420=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.424-2178.491=-4.068 | | σ | 0.021-0.006=0.015 | | min | 2174.400-2178.486=-4.086 | | max | 2174.449-2178.501=-4.053 |
| | mean | 2630.000-2554.000=76.000 | | σ | 0.000 | | min | 2630.000-2554.000=76.000 | | max | 2630.000-2554.000=76.000 |
| | mean | 3.011-3.415=-0.404 | | σ | 0.331-0.106=0.224 | | min | 2.804-3.269=-0.465 | | max | 3.579-3.546=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.605-5056.400=-3.795 | | σ | 0.977-0.974=0.004 | | min | 5052.031-5055.856=-3.825 | | max | 5054.343-5058.134=-3.791 |
| | mean | 2630.000-2554.000=76.000 | | σ | 0.000 | | min | 2630.000-2554.000=76.000 | | max | 2630.000-2554.000=76.000 |
| | mean | 9.031-8.914=0.117 | | σ | 0.438-0.507=-0.070 | | min | 8.497-8.156=0.341 | | max | 9.514-9.416=0.098 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.398-5193.802=-5.404 | | σ | 0.126-0.086=0.040 | | min | 5188.221-5193.730=-5.509 | | max | 5188.524-5193.900=-5.375 |
| | mean | 3215.600-3232.000=-16.400 | | σ | 499.782-368.640=131.142 | | min | 2630.000-2713.000=-83.000 | | max | 3891.000-3677.000=214.000 |
| | mean | 8.754-8.929=-0.175 | | σ | 0.167-0.449=-0.282 | | min | 8.616-8.663=-0.048 | | max | 9.045-9.724=-0.679 |
|