iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.200=-0.004 | | σ | 0.007-0.008=-0.001 | | min | 277.188-277.192=-0.004 | | max | 277.203-277.209=-0.007 |
| | mean | 2608.000-2613.000=-5.000 | | σ | 0.000 | | min | 2608.000-2613.000=-5.000 | | max | 2608.000-2613.000=-5.000 |
| | mean | 0.407-0.410=-0.003 | | σ | 0.008-0.015=-0.007 | | min | 0.400-0.399=0.002 | | max | 0.421-0.430=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.432-2174.426=0.006 | | σ | 0.006-0.016=-0.009 | | min | 2174.428-2174.399=0.029 | | max | 2174.443-2174.436=0.007 |
| | mean | 2608.000-2613.000=-5.000 | | σ | 0.000 | | min | 2608.000-2613.000=-5.000 | | max | 2608.000-2613.000=-5.000 |
| | mean | 2.994-2.825=0.169 | | σ | 0.147-0.115=0.032 | | min | 2.810-2.743=0.067 | | max | 3.179-3.027=0.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.639-5052.490=0.149 | | σ | 0.995-1.121=-0.125 | | min | 5052.004-5051.498=0.507 | | max | 5054.403-5054.424=-0.022 |
| | mean | 2608.000-2613.000=-5.000 | | σ | 0.000 | | min | 2608.000-2613.000=-5.000 | | max | 2608.000-2613.000=-5.000 |
| | mean | 8.661-8.929=-0.269 | | σ | 0.715-0.697=0.018 | | min | 8.007-8.062=-0.055 | | max | 9.702-9.823=-0.120 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.289-5188.417=-0.128 | | σ | 0.206-0.095=0.111 | | min | 5188.006-5188.329=-0.324 | | max | 5188.532-5188.521=0.011 |
| | mean | 3223.000-3239.200=-16.200 | | σ | 384.888-363.234=21.654 | | min | 2684.000-2830.000=-146.000 | | max | 3704.000-3779.000=-75.000 |
| | mean | 9.105-8.758=0.347 | | σ | 0.414-0.127=0.287 | | min | 8.695-8.572=0.122 | | max | 9.649-8.885=0.764 |
|