iters=5 new-facts=1 prior-facts=1 | | mean | 279.413-277.738=1.674 | | σ | 0.011-0.011=0.000 | | min | 279.398-277.725=1.673 | | max | 279.428-277.752=1.676 |
| | mean | 2741.000-2747.000=-6.000 | | σ | 0.000 | | min | 2741.000-2747.000=-6.000 | | max | 2741.000-2747.000=-6.000 |
| | mean | 0.416-0.409=0.006 | | σ | 0.006-0.001=0.005 | | min | 0.410-0.408=0.002 | | max | 0.423-0.411=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2269.497-2267.893=1.604 | | σ | 0.015-0.006=0.009 | | min | 2269.473-2267.884=1.589 | | max | 2269.512-2267.899=1.613 |
| | mean | 2741.000-2747.000=-6.000 | | σ | 0.000 | | min | 2741.000-2747.000=-6.000 | | max | 2741.000-2747.000=-6.000 |
| | mean | 2.945-3.230=-0.285 | | σ | 0.179-0.155=0.024 | | min | 2.752-3.061=-0.309 | | max | 3.241-3.399=-0.159 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.851-4955.183=-0.332 | | σ | 0.812-1.035=-0.223 | | min | 4954.425-4954.613=-0.188 | | max | 4956.299-4957.025=-0.726 |
| | mean | 2741.000-2747.000=-6.000 | | σ | 0.000 | | min | 2741.000-2747.000=-6.000 | | max | 2741.000-2747.000=-6.000 |
| | mean | 7.957-7.792=0.165 | | σ | 0.117-0.165=-0.049 | | min | 7.825-7.639=0.186 | | max | 8.078-7.976=0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.370-5169.792=-0.422 | | σ | 0.221-0.089=0.132 | | min | 5168.999-5169.691=-0.692 | | max | 5169.510-5169.872=-0.362 |
| | mean | 3422.000-3315.400=106.600 | | σ | 476.750-392.607=84.143 | | min | 2762.000-2927.000=-165.000 | | max | 4015.000-3712.000=303.000 |
| | mean | 9.321-9.388=-0.067 | | σ | 0.332-0.207=0.125 | | min | 8.912-9.087=-0.175 | | max | 9.726-9.663=0.063 |
|