iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.199=-0.003 | | σ | 0.006-0.006=0.000 | | min | 277.188-277.192=-0.004 | | max | 277.206-277.207=-0.002 |
| | mean | 2496.000-2660.000=-164.000 | | σ | 0.000 | | min | 2496.000-2660.000=-164.000 | | max | 2496.000-2660.000=-164.000 |
| | mean | 0.396-0.416=-0.020 | | σ | 0.008-0.013=-0.005 | | min | 0.391-0.402=-0.011 | | max | 0.410-0.432=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.389-2174.437=-0.047 | | σ | 0.081-0.023=0.058 | | min | 2174.244-2174.418=-0.174 | | max | 2174.436-2174.477=-0.040 |
| | mean | 2496.000-2660.000=-164.000 | | σ | 0.000 | | min | 2496.000-2660.000=-164.000 | | max | 2496.000-2660.000=-164.000 |
| | mean | 2.940-2.950=-0.009 | | σ | 0.105-0.143=-0.038 | | min | 2.795-2.785=0.011 | | max | 3.051-3.093=-0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.519-5052.471=0.048 | | σ | 1.034-1.076=-0.042 | | min | 5051.837-5051.681=0.156 | | max | 5054.350-5054.359=-0.009 |
| | mean | 2496.000-2660.000=-164.000 | | σ | 0.000 | | min | 2496.000-2660.000=-164.000 | | max | 2496.000-2660.000=-164.000 |
| | mean | 8.579-9.029=-0.449 | | σ | 0.620-0.606=0.015 | | min | 8.034-7.991=0.043 | | max | 9.474-9.522=-0.048 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.425-5188.431=-0.006 | | σ | 0.089-0.087=0.001 | | min | 5188.352-5188.353=-0.002 | | max | 5188.524-5188.528=-0.004 |
| | mean | 3225.600-3232.200=-6.600 | | σ | 369.153-371.091=-1.938 | | min | 2693.000-2709.000=-16.000 | | max | 3685.000-3687.000=-2.000 |
| | mean | 8.959-9.105=-0.146 | | σ | 0.395-0.729=-0.334 | | min | 8.700-8.693=0.007 | | max | 9.655-10.399=-0.745 |
|