iters=5 new-facts=1 prior-facts=1 | | mean | 279.071-279.071=0.001 | | σ | 0.008-0.005=0.003 | | min | 279.060-279.065=-0.005 | | max | 279.080-279.078=0.002 |
| | mean | 2469.000-2862.000=-393.000 | | σ | 0.000 | | min | 2469.000-2862.000=-393.000 | | max | 2469.000-2862.000=-393.000 |
| | mean | 0.392-0.391=0.001 | | σ | 0.007-0.005=0.002 | | min | 0.386-0.388=-0.002 | | max | 0.403-0.400=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.515-1799.360=140.155 | | σ | 0.011-313.394=-313.383 | | min | 1939.502-1238.743=700.758 | | max | 1939.529-1939.534=-0.005 |
| | mean | 2469.000-2862.000=-393.000 | | σ | 0.000 | | min | 2469.000-2862.000=-393.000 | | max | 2469.000-2862.000=-393.000 |
| | mean | 3.218-2.752=0.466 | | σ | 0.153-0.589=-0.436 | | min | 3.005-1.770=1.235 | | max | 3.415-3.308=0.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.042-4760.071=-0.029 | | σ | 0.877-0.794=0.083 | | min | 4759.556-4759.663=-0.107 | | max | 4761.607-4761.486=0.120 |
| | mean | 2469.000-2862.000=-393.000 | | σ | 0.000 | | min | 2469.000-2862.000=-393.000 | | max | 2469.000-2862.000=-393.000 |
| | mean | 8.418-8.179=0.240 | | σ | 0.644-0.319=0.324 | | min | 7.729-7.779=-0.050 | | max | 9.238-8.631=0.607 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.465-4950.465=-0.000 | | σ | 0.076-0.091=-0.015 | | min | 4950.407-4950.395=0.011 | | max | 4950.551-4950.570=-0.019 |
| | mean | 2974.800-3004.800=-30.000 | | σ | 340.770-176.371=164.399 | | min | 2498.000-2862.000=-364.000 | | max | 3291.000-3294.000=-3.000 |
| | mean | 8.872-8.467=0.405 | | σ | 0.404-0.105=0.300 | | min | 8.425-8.375=0.050 | | max | 9.411-8.646=0.764 |
|