iters=5 new-facts=1 prior-facts=1 | | mean | 278.671-278.677=-0.006 | | σ | 0.009-0.011=-0.002 | | min | 278.657-278.666=-0.010 | | max | 278.679-278.695=-0.015 |
| | mean | 2655.000-2648.000=7.000 | | σ | 0.000 | | min | 2655.000-2648.000=7.000 | | max | 2655.000-2648.000=7.000 |
| | mean | 0.419-0.421=-0.002 | | σ | 0.001-0.009=-0.008 | | min | 0.417-0.416=0.001 | | max | 0.420-0.438=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.844-2268.833=0.011 | | σ | 0.004-0.015=-0.011 | | min | 2268.839-2268.817=0.022 | | max | 2268.848-2268.846=0.003 |
| | mean | 2655.000-2648.000=7.000 | | σ | 0.000 | | min | 2655.000-2648.000=7.000 | | max | 2655.000-2648.000=7.000 |
| | mean | 2.988-3.152=-0.164 | | σ | 0.113-0.164=-0.051 | | min | 2.897-2.938=-0.041 | | max | 3.184-3.336=-0.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.192-4952.000=0.192 | | σ | 0.594-1.091=-0.498 | | min | 4951.799-4950.831=0.968 | | max | 4953.242-4953.753=-0.511 |
| | mean | 2655.000-2648.000=7.000 | | σ | 0.000 | | min | 2655.000-2648.000=7.000 | | max | 2655.000-2648.000=7.000 |
| | mean | 8.153-7.916=0.237 | | σ | 0.400-0.032=0.369 | | min | 7.785-7.883=-0.098 | | max | 8.756-7.956=0.800 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.971-5167.047=-0.076 | | σ | 0.162-0.012=0.150 | | min | 5166.682-5167.038=-0.356 | | max | 5167.047-5167.067=-0.020 |
| | mean | 3352.800-3355.600=-2.800 | | σ | 450.028-424.705=25.323 | | min | 2769.000-2937.000=-168.000 | | max | 3954.000-3786.000=168.000 |
| | mean | 9.537-9.348=0.189 | | σ | 0.275-0.275=0.001 | | min | 9.094-9.102=-0.009 | | max | 9.755-9.715=0.040 |
|