iters=5 new-facts=1 prior-facts=1 | | mean | 267.614-275.566=-7.952 | | σ | 17.779-0.004=17.775 | | min | 235.810-275.563=-39.753 | | max | 275.570-275.572=-0.002 |
| | mean | 2769.000-2632.000=137.000 | | σ | 0.000 | | min | 2769.000-2632.000=137.000 | | max | 2769.000-2632.000=137.000 |
| | mean | 0.380-0.394=-0.013 | | σ | 0.031-0.009=0.022 | | min | 0.326-0.386=-0.060 | | max | 0.399-0.404=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.085-2168.087=-0.002 | | σ | 0.015-0.020=-0.005 | | min | 2168.067-2168.058=0.009 | | max | 2168.103-2168.108=-0.006 |
| | mean | 2769.000-2632.000=137.000 | | σ | 0.000 | | min | 2769.000-2632.000=137.000 | | max | 2769.000-2632.000=137.000 |
| | mean | 2.935-2.971=-0.036 | | σ | 0.097-0.105=-0.007 | | min | 2.810-2.798=0.012 | | max | 3.053-3.062=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.909-5047.688=0.221 | | σ | 0.878-0.357=0.520 | | min | 5047.334-5047.349=-0.015 | | max | 5049.444-5048.268=1.175 |
| | mean | 2769.000-2632.000=137.000 | | σ | 0.000 | | min | 2769.000-2632.000=137.000 | | max | 2769.000-2632.000=137.000 |
| | mean | 8.903-9.067=-0.164 | | σ | 0.507-0.504=0.003 | | min | 8.196-8.330=-0.134 | | max | 9.405-9.582=-0.177 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.975-5179.048=-0.073 | | σ | 0.200-0.073=0.127 | | min | 5178.651-5178.965=-0.315 | | max | 5179.159-5179.127=0.032 |
| | mean | 3302.400-3281.400=21.000 | | σ | 394.037-425.490=-31.453 | | min | 2769.000-2680.000=89.000 | | max | 3674.000-3672.000=2.000 |
| | mean | 9.873-9.973=-0.100 | | σ | 0.212-0.306=-0.094 | | min | 9.534-9.611=-0.078 | | max | 10.106-10.306=-0.200 |
|