iters=5 new-facts=1 prior-facts=1 | | mean | 275.760-275.567=0.193 | | σ | 0.012-0.003=0.009 | | min | 275.746-275.561=0.185 | | max | 275.776-275.570=0.206 |
| | mean | 2686.000-2697.000=-11.000 | | σ | 0.000 | | min | 2686.000-2697.000=-11.000 | | max | 2686.000-2697.000=-11.000 |
| | mean | 0.408-0.393=0.014 | | σ | 0.013-0.009=0.004 | | min | 0.397-0.386=0.010 | | max | 0.428-0.405=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.276-2168.091=0.185 | | σ | 0.014-0.016=-0.002 | | min | 2168.260-2168.071=0.189 | | max | 2168.291-2168.114=0.177 |
| | mean | 2686.000-2697.000=-11.000 | | σ | 0.000 | | min | 2686.000-2697.000=-11.000 | | max | 2686.000-2697.000=-11.000 |
| | mean | 2.924-2.956=-0.033 | | σ | 0.100-0.139=-0.039 | | min | 2.768-2.781=-0.013 | | max | 3.025-3.109=-0.083 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.115-5047.930=0.185 | | σ | 0.912-0.916=-0.004 | | min | 5047.581-5047.332=0.249 | | max | 5049.738-5049.551=0.187 |
| | mean | 2686.000-2697.000=-11.000 | | σ | 0.000 | | min | 2686.000-2697.000=-11.000 | | max | 2686.000-2697.000=-11.000 |
| | mean | 8.868-8.816=0.052 | | σ | 0.550-0.596=-0.046 | | min | 8.069-8.215=-0.146 | | max | 9.495-9.534=-0.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.091-5179.054=0.037 | | σ | 0.208-0.091=0.117 | | min | 5178.800-5178.958=-0.157 | | max | 5179.313-5179.148=0.164 |
| | mean | 3230.800-3283.600=-52.800 | | σ | 364.775-383.894=-19.119 | | min | 2718.000-2703.000=15.000 | | max | 3680.000-3707.000=-27.000 |
| | mean | 9.676-10.152=-0.476 | | σ | 0.488-0.253=0.235 | | min | 8.937-9.934=-0.997 | | max | 10.233-10.562=-0.330 |
|