iters=5 new-facts=1 prior-facts=1 | | mean | 292.100-292.431=-0.331 | | σ | 0.006-0.017=-0.010 | | min | 292.092-292.405=-0.312 | | max | 292.107-292.450=-0.342 |
| | mean | 2756.000-2831.000=-75.000 | | σ | 0.000 | | min | 2756.000-2831.000=-75.000 | | max | 2756.000-2831.000=-75.000 |
| | mean | 0.394-0.398=-0.004 | | σ | 0.001-0.002=-0.001 | | min | 0.392-0.396=-0.003 | | max | 0.395-0.401=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.480-1952.963=-0.483 | | σ | 0.030-0.019=0.011 | | min | 1952.432-1952.937=-0.506 | | max | 1952.509-1952.982=-0.473 |
| | mean | 2756.000-2831.000=-75.000 | | σ | 0.000 | | min | 2756.000-2831.000=-75.000 | | max | 2756.000-2831.000=-75.000 |
| | mean | 2.646-2.579=0.067 | | σ | 0.234-0.042=0.191 | | min | 2.412-2.535=-0.122 | | max | 3.025-2.625=0.400 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2748.694-4778.914=-2030.220 | | σ | 7.204-7.744=-0.540 | | min | 2745.349-4775.324=-2029.975 | | max | 2761.575-4792.766=-2031.190 |
| | mean | 2756.000-2831.000=-75.000 | | σ | 0.000 | | min | 2756.000-2831.000=-75.000 | | max | 2756.000-2831.000=-75.000 |
| | mean | 5.368-9.096=-3.728 | | σ | 0.475-0.406=0.068 | | min | 4.829-8.783=-3.953 | | max | 5.808-9.792=-3.985 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2935.558-4966.231=-2030.673 | | σ | 0.040-0.378=-0.338 | | min | 2935.521-4965.665=-2030.144 | | max | 2935.625-4966.541=-2030.916 |
| | mean | 2968.800-3053.400=-84.600 | | σ | 284.978-217.482=67.497 | | min | 2756.000-2831.000=-75.000 | | max | 3422.000-3329.000=93.000 |
| | mean | 5.706-8.567=-2.861 | | σ | 0.189-0.140=0.049 | | min | 5.497-8.367=-2.870 | | max | 5.939-8.682=-2.743 |
|