iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.760=-0.004 | | σ | 0.005-0.006=-0.001 | | min | 272.750-272.752=-0.002 | | max | 272.762-272.765=-0.003 |
| | mean | 2854.000-2438.000=416.000 | | σ | 0.000 | | min | 2854.000-2438.000=416.000 | | max | 2854.000-2438.000=416.000 |
| | mean | 0.381-0.387=-0.005 | | σ | 0.001-0.007=-0.006 | | min | 0.380-0.383=-0.002 | | max | 0.383-0.399=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.130-1933.128=0.002 | | σ | 0.006-0.007=-0.002 | | min | 1933.120-1933.122=-0.002 | | max | 1933.136-1933.137=-0.001 |
| | mean | 2854.000-2438.000=416.000 | | σ | 0.000 | | min | 2854.000-2438.000=416.000 | | max | 2854.000-2438.000=416.000 |
| | mean | 3.046-3.059=-0.014 | | σ | 0.054-0.069=-0.015 | | min | 2.998-3.004=-0.005 | | max | 3.137-3.171=-0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.874-4753.795=0.080 | | σ | 0.909-1.021=-0.111 | | min | 4753.406-4752.816=0.591 | | max | 4755.498-4755.526=-0.027 |
| | mean | 2854.000-2438.000=416.000 | | σ | 0.000 | | min | 2854.000-2438.000=416.000 | | max | 2854.000-2438.000=416.000 |
| | mean | 8.579-8.551=0.028 | | σ | 0.492-0.560=-0.068 | | min | 7.787-7.605=0.182 | | max | 8.924-9.062=-0.138 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.297-4944.295=0.002 | | σ | 0.168-0.163=0.005 | | min | 4943.997-4944.004=-0.007 | | max | 4944.382-4944.378=0.004 |
| | mean | 3076.600-2967.000=109.600 | | σ | 236.630-268.898=-32.268 | | min | 2854.000-2625.000=229.000 | | max | 3423.000-3330.000=93.000 |
| | mean | 8.546-8.454=0.092 | | σ | 0.255-0.035=0.220 | | min | 8.346-8.420=-0.074 | | max | 8.977-8.501=0.476 |
|