iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.719=-0.004 | | σ | 0.012-0.011=0.002 | | min | 277.699-277.703=-0.003 | | max | 277.731-277.730=0.000 |
| | mean | 2631.000-2892.000=-261.000 | | σ | 0.000 | | min | 2631.000-2892.000=-261.000 | | max | 2631.000-2892.000=-261.000 |
| | mean | 0.409-0.408=0.001 | | σ | 0.001-0.001=0.001 | | min | 0.408-0.407=0.001 | | max | 0.411-0.409=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.890-2267.885=0.006 | | σ | 0.005-0.007=-0.002 | | min | 2267.885-2267.873=0.012 | | max | 2267.895-2267.891=0.004 |
| | mean | 2631.000-2892.000=-261.000 | | σ | 0.000 | | min | 2631.000-2892.000=-261.000 | | max | 2631.000-2892.000=-261.000 |
| | mean | 2.913-2.993=-0.080 | | σ | 0.125-0.135=-0.010 | | min | 2.797-2.881=-0.084 | | max | 3.125-3.179=-0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.951-4954.860=0.091 | | σ | 0.917-1.055=-0.138 | | min | 4954.118-4953.599=0.519 | | max | 4956.527-4956.532=-0.006 |
| | mean | 2631.000-2892.000=-261.000 | | σ | 0.000 | | min | 2631.000-2892.000=-261.000 | | max | 2631.000-2892.000=-261.000 |
| | mean | 8.020-7.743=0.277 | | σ | 0.279-0.093=0.186 | | min | 7.739-7.663=0.075 | | max | 8.375-7.894=0.481 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.652-5169.788=-0.137 | | σ | 0.227-0.087=0.140 | | min | 5169.343-5169.687=-0.344 | | max | 5169.872-5169.873=-0.001 |
| | mean | 3379.400-3478.400=-99.000 | | σ | 468.251-464.809=3.442 | | min | 2817.000-2892.000=-75.000 | | max | 4017.000-4141.000=-124.000 |
| | mean | 9.325-9.283=0.042 | | σ | 0.178-0.289=-0.112 | | min | 9.102-9.023=0.079 | | max | 9.581-9.735=-0.154 |
|