iters=5 new-facts=1 prior-facts=1 | | mean | 278.816-278.814=0.002 | | σ | 0.004-0.007=-0.003 | | min | 278.812-278.806=0.006 | | max | 278.821-278.823=-0.002 |
| | mean | 2692.000-2606.000=86.000 | | σ | 0.000 | | min | 2692.000-2606.000=86.000 | | max | 2692.000-2606.000=86.000 |
| | mean | 0.411-0.413=-0.002 | | σ | 0.005-0.004=0.001 | | min | 0.407-0.410=-0.003 | | max | 0.419-0.418=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874-2268.880=-0.006 | | σ | 0.015-0.015=-0.000 | | min | 2268.852-2268.865=-0.013 | | max | 2268.892-2268.895=-0.003 |
| | mean | 2692.000-2606.000=86.000 | | σ | 0.000 | | min | 2692.000-2606.000=86.000 | | max | 2692.000-2606.000=86.000 |
| | mean | 2.952-2.950=0.002 | | σ | 0.110-0.217=-0.107 | | min | 2.880-2.616=0.263 | | max | 3.148-3.157=-0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.215-4954.264=-0.049 | | σ | 0.807-0.902=-0.095 | | min | 4953.726-4953.730=-0.004 | | max | 4955.641-4955.867=-0.227 |
| | mean | 2692.000-2606.000=86.000 | | σ | 0.000 | | min | 2692.000-2606.000=86.000 | | max | 2692.000-2606.000=86.000 |
| | mean | 8.048-8.046=0.002 | | σ | 0.206-0.601=-0.395 | | min | 7.738-7.588=0.151 | | max | 8.232-9.090=-0.858 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.784-5168.786=-0.002 | | σ | 0.085-0.077=0.007 | | min | 5168.719-5168.722=-0.003 | | max | 5168.878-5168.876=0.001 |
| | mean | 3376.400-3436.400=-60.000 | | σ | 450.816-502.146=-51.330 | | min | 2773.000-2846.000=-73.000 | | max | 3964.000-4176.000=-212.000 |
| | mean | 9.177-9.362=-0.184 | | σ | 0.215-0.194=0.021 | | min | 8.842-9.143=-0.301 | | max | 9.428-9.660=-0.232 |
|