iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.194=0.002 | | σ | 0.008-0.004=0.003 | | min | 277.188-277.189=-0.002 | | max | 277.204-277.198=0.005 |
| | mean | 2652.000-2737.000=-85.000 | | σ | 0.000 | | min | 2652.000-2737.000=-85.000 | | max | 2652.000-2737.000=-85.000 |
| | mean | 0.401-0.394=0.007 | | σ | 0.012-0.002=0.009 | | min | 0.393-0.390=0.002 | | max | 0.418-0.396=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.447-2174.428=0.019 | | σ | 0.015-0.036=-0.021 | | min | 2174.436-2174.373=0.064 | | max | 2174.472-2174.469=0.003 |
| | mean | 2652.000-2737.000=-85.000 | | σ | 0.000 | | min | 2652.000-2737.000=-85.000 | | max | 2652.000-2737.000=-85.000 |
| | mean | 2.973-2.795=0.178 | | σ | 0.148-0.077=0.071 | | min | 2.792-2.709=0.083 | | max | 3.172-2.875=0.298 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.659-5052.394=0.265 | | σ | 1.030-1.206=-0.176 | | min | 5052.013-5051.080=0.933 | | max | 5054.484-5054.373=0.110 |
| | mean | 2652.000-2737.000=-85.000 | | σ | 0.000 | | min | 2652.000-2737.000=-85.000 | | max | 2652.000-2737.000=-85.000 |
| | mean | 8.743-9.145=-0.402 | | σ | 0.885-0.442=0.443 | | min | 8.035-8.503=-0.468 | | max | 10.174-9.690=0.484 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.427-5188.402=0.026 | | σ | 0.086-0.117=-0.031 | | min | 5188.354-5188.249=0.105 | | max | 5188.529-5188.526=0.002 |
| | mean | 3221.600-3241.600=-20.000 | | σ | 389.487-455.165=-65.679 | | min | 2660.000-2737.000=-77.000 | | max | 3687.000-3866.000=-179.000 |
| | mean | 8.983-8.753=0.230 | | σ | 0.386-0.115=0.271 | | min | 8.690-8.614=0.076 | | max | 9.641-8.932=0.709 |
|