iters=5 new-facts=1 prior-facts=1 | | mean | 277.713-193.329=84.384 | | σ | 0.007-0.008=-0.002 | | min | 277.703-193.320=84.384 | | max | 277.721-193.339=84.381 |
| | mean | 2692.000-2636.000=56.000 | | σ | 0.000 | | min | 2692.000-2636.000=56.000 | | max | 2692.000-2636.000=56.000 |
| | mean | 0.412-0.289=0.122 | | σ | 0.000-0.005=-0.005 | | min | 0.411-0.282=0.129 | | max | 0.412-0.295=0.117 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.887-1992.038=275.848 | | σ | 0.006-0.010=-0.004 | | min | 2267.879-1992.027=275.851 | | max | 2267.895-1992.049=275.846 |
| | mean | 2692.000-2636.000=56.000 | | σ | 0.000 | | min | 2692.000-2636.000=56.000 | | max | 2692.000-2636.000=56.000 |
| | mean | 2.955-2.641=0.315 | | σ | 0.021-0.208=-0.187 | | min | 2.932-2.354=0.578 | | max | 2.974-2.931=0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.929-4882.434=72.495 | | σ | 0.845-0.850=-0.005 | | min | 4954.231-4881.255=72.977 | | max | 4956.385-4883.641=72.744 |
| | mean | 2692.000-2636.000=56.000 | | σ | 0.000 | | min | 2692.000-2636.000=56.000 | | max | 2692.000-2636.000=56.000 |
| | mean | 7.913-8.335=-0.422 | | σ | 0.201-0.310=-0.109 | | min | 7.725-8.037=-0.312 | | max | 8.246-8.792=-0.546 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.696-4894.298=275.398 | | σ | 0.127-0.087=0.040 | | min | 5169.497-4894.231=275.267 | | max | 5169.849-4894.398=275.451 |
| | mean | 3402.600-3290.600=112.000 | | σ | 453.714-500.982=-47.268 | | min | 2819.000-2636.000=183.000 | | max | 4010.000-3762.000=248.000 |
| | mean | 9.711-8.060=1.651 | | σ | 0.486-0.087=0.399 | | min | 9.366-7.959=1.406 | | max | 10.537-8.195=2.343 |
|