iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.699=-0.002 | | σ | 0.012-0.012=0.001 | | min | 278.687-278.687=-0.001 | | max | 278.718-278.715=0.003 |
| | mean | 2641.000-2651.000=-10.000 | | σ | 0.000 | | min | 2641.000-2651.000=-10.000 | | max | 2641.000-2651.000=-10.000 |
| | mean | 0.418-0.416=0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.416-0.413=0.003 | | max | 0.419-0.419=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.865-2268.864=0.001 | | σ | 0.010-0.006=0.004 | | min | 2268.847-2268.853=-0.007 | | max | 2268.871-2268.869=0.002 |
| | mean | 2641.000-2651.000=-10.000 | | σ | 0.000 | | min | 2641.000-2651.000=-10.000 | | max | 2641.000-2651.000=-10.000 |
| | mean | 3.024-3.054=-0.030 | | σ | 0.134-0.151=-0.017 | | min | 2.928-2.868=0.060 | | max | 3.245-3.214=0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.955-4952.357=-0.402 | | σ | 0.639-0.789=-0.150 | | min | 4951.316-4951.949=-0.633 | | max | 4953.025-4953.767=-0.741 |
| | mean | 2641.000-2651.000=-10.000 | | σ | 0.000 | | min | 2641.000-2651.000=-10.000 | | max | 2641.000-2651.000=-10.000 |
| | mean | 7.947-7.896=0.050 | | σ | 0.369-0.193=0.176 | | min | 7.690-7.714=-0.024 | | max | 8.596-8.163=0.433 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.920-5166.999=-0.079 | | σ | 0.011-0.165=-0.154 | | min | 5166.912-5166.706=0.206 | | max | 5166.939-5167.096=-0.157 |
| | mean | 3454.400-3422.600=31.800 | | σ | 462.553-478.771=-16.218 | | min | 2871.000-2877.000=-6.000 | | max | 4116.000-4136.000=-20.000 |
| | mean | 9.362-9.350=0.012 | | σ | 0.198-0.480=-0.283 | | min | 9.179-8.517=0.661 | | max | 9.654-9.725=-0.071 |
|