iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.196=-0.001 | | σ | 0.008-0.008=0.000 | | min | 277.187-277.188=-0.000 | | max | 277.205-277.204=0.001 |
| | mean | 2661.000-2652.000=9.000 | | σ | 0.000 | | min | 2661.000-2652.000=9.000 | | max | 2661.000-2652.000=9.000 |
| | mean | 0.399-0.401=-0.002 | | σ | 0.010-0.012=-0.002 | | min | 0.394-0.393=0.001 | | max | 0.417-0.418=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.435-2174.447=-0.012 | | σ | 0.005-0.015=-0.009 | | min | 2174.429-2174.436=-0.008 | | max | 2174.443-2174.472=-0.029 |
| | mean | 2661.000-2652.000=9.000 | | σ | 0.000 | | min | 2661.000-2652.000=9.000 | | max | 2661.000-2652.000=9.000 |
| | mean | 2.990-2.973=0.017 | | σ | 0.191-0.148=0.043 | | min | 2.790-2.792=-0.002 | | max | 3.281-3.172=0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.617-5052.659=-0.041 | | σ | 0.959-1.030=-0.071 | | min | 5052.036-5052.013=0.023 | | max | 5054.320-5054.484=-0.164 |
| | mean | 2661.000-2652.000=9.000 | | σ | 0.000 | | min | 2661.000-2652.000=9.000 | | max | 2661.000-2652.000=9.000 |
| | mean | 8.583-8.743=-0.161 | | σ | 0.510-0.885=-0.375 | | min | 8.053-8.035=0.018 | | max | 9.281-10.174=-0.893 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.330-5188.427=-0.098 | | σ | 0.218-0.086=0.132 | | min | 5188.003-5188.354=-0.351 | | max | 5188.524-5188.529=-0.004 |
| | mean | 3232.800-3221.600=11.200 | | σ | 389.749-389.487=0.262 | | min | 2673.000-2660.000=13.000 | | max | 3697.000-3687.000=10.000 |
| | mean | 8.985-8.983=0.001 | | σ | 0.436-0.386=0.051 | | min | 8.692-8.690=0.002 | | max | 9.746-9.641=0.106 |
|