iters=5 new-facts=1 prior-facts=1 | | mean | 324.683-324.682=0.001 | | σ | 0.041-0.051=-0.010 | | min | 324.611-324.593=0.019 | | max | 324.708-324.716=-0.009 |
| | mean | 2840.000-2823.000=17.000 | | σ | 0.000 | | min | 2840.000-2823.000=17.000 | | max | 2840.000-2823.000=17.000 |
| | mean | 0.430-0.438=-0.008 | | σ | 0.007-0.017=-0.010 | | min | 0.423-0.425=-0.001 | | max | 0.440-0.466=-0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.261-1985.266=-0.005 | | σ | 0.015-0.010=0.004 | | min | 1985.244-1985.250=-0.006 | | max | 1985.273-1985.274=-0.002 |
| | mean | 2840.000-2823.000=17.000 | | σ | 0.000 | | min | 2840.000-2823.000=17.000 | | max | 2840.000-2823.000=17.000 |
| | mean | 2.659-2.687=-0.029 | | σ | 0.146-0.163=-0.017 | | min | 2.520-2.510=0.010 | | max | 2.855-2.890=-0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.898-4808.672=0.226 | | σ | 7.688-7.216=0.472 | | min | 4805.396-4805.422=-0.026 | | max | 4822.651-4821.581=1.070 |
| | mean | 2840.000-2823.000=17.000 | | σ | 0.000 | | min | 2840.000-2823.000=17.000 | | max | 2840.000-2823.000=17.000 |
| | mean | 9.109-9.145=-0.037 | | σ | 0.292-0.200=0.092 | | min | 8.673-8.977=-0.304 | | max | 9.362-9.469=-0.107 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.467=0.002 | | σ | 0.009-0.018=-0.009 | | min | 4996.458-4996.446=0.012 | | max | 4996.480-4996.489=-0.009 |
| | mean | 3041.800-3029.400=12.400 | | σ | 203.884-281.789=-77.905 | | min | 2840.000-2823.000=17.000 | | max | 3319.000-3471.000=-152.000 |
| | mean | 8.806-8.507=0.299 | | σ | 0.247-0.127=0.120 | | min | 8.501-8.359=0.143 | | max | 9.144-8.699=0.445 |
|