iters=5 new-facts=1 prior-facts=1 | | mean | 279.510-278.822=0.688 | | σ | 0.005-0.004=0.001 | | min | 279.505-278.817=0.688 | | max | 279.517-278.828=0.689 |
| | mean | 2764.000-2684.000=80.000 | | σ | 0.000 | | min | 2764.000-2684.000=80.000 | | max | 2764.000-2684.000=80.000 |
| | mean | 0.408-0.409=-0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.405-0.406=-0.002 | | max | 0.415-0.418=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.442-2268.888=-90.445 | | σ | 0.019-0.008=0.012 | | min | 2178.421-2268.878=-90.457 | | max | 2178.472-2268.898=-90.426 |
| | mean | 2764.000-2684.000=80.000 | | σ | 0.000 | | min | 2764.000-2684.000=80.000 | | max | 2764.000-2684.000=80.000 |
| | mean | 3.318-2.966=0.351 | | σ | 0.264-0.139=0.125 | | min | 3.088-2.891=0.197 | | max | 3.773-3.214=0.559 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.375-4954.293=102.081 | | σ | 0.986-1.023=-0.037 | | min | 5055.811-4953.577=102.233 | | max | 5058.124-4956.100=102.024 |
| | mean | 2764.000-2684.000=80.000 | | σ | 0.000 | | min | 2764.000-2684.000=80.000 | | max | 2764.000-2684.000=80.000 |
| | mean | 9.017-8.188=0.829 | | σ | 0.733-0.711=0.023 | | min | 7.912-7.685=0.226 | | max | 9.817-9.409=0.408 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.739-5168.832=24.907 | | σ | 0.103-0.100=0.003 | | min | 5193.621-5168.721=24.900 | | max | 5193.850-5168.915=24.935 |
| | mean | 3244.000-3441.400=-197.400 | | σ | 482.498-455.336=27.162 | | min | 2764.000-2789.000=-25.000 | | max | 3922.000-3975.000=-53.000 |
| | mean | 8.740-9.550=-0.810 | | σ | 0.151-0.475=-0.324 | | min | 8.616-9.000=-0.384 | | max | 8.995-10.237=-1.242 |
|