iters=5 new-facts=1 prior-facts=1 | | mean | 275.730-277.202=-1.472 | | σ | 0.009-0.007=0.002 | | min | 275.721-277.192=-1.471 | | max | 275.744-277.210=-1.466 |
| | mean | 2652.000-2690.000=-38.000 | | σ | 0.000 | | min | 2652.000-2690.000=-38.000 | | max | 2652.000-2690.000=-38.000 |
| | mean | 0.402-0.418=-0.017 | | σ | 0.008-0.017=-0.009 | | min | 0.397-0.401=-0.004 | | max | 0.415-0.441=-0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2174.435=-6.161 | | σ | 0.021-0.008=0.013 | | min | 2168.254-2174.426=-6.173 | | max | 2168.300-2174.445=-6.145 |
| | mean | 2652.000-2690.000=-38.000 | | σ | 0.000 | | min | 2652.000-2690.000=-38.000 | | max | 2652.000-2690.000=-38.000 |
| | mean | 2.970-2.992=-0.022 | | σ | 0.134-0.142=-0.008 | | min | 2.757-2.774=-0.017 | | max | 3.090-3.139=-0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.100-5052.537=-4.438 | | σ | 0.917-1.056=-0.139 | | min | 5047.515-5051.688=-4.173 | | max | 5049.709-5054.370=-4.661 |
| | mean | 2652.000-2690.000=-38.000 | | σ | 0.000 | | min | 2652.000-2690.000=-38.000 | | max | 2652.000-2690.000=-38.000 |
| | mean | 8.980-8.812=0.168 | | σ | 0.557-0.540=0.017 | | min | 8.163-8.189=-0.026 | | max | 9.597-9.441=0.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.097-5188.431=-9.333 | | σ | 0.341-0.086=0.256 | | min | 5178.501-5188.359=-9.859 | | max | 5179.328-5188.529=-9.201 |
| | mean | 3225.600-3219.000=6.600 | | σ | 369.873-386.312=-16.439 | | min | 2697.000-2690.000=7.000 | | max | 3678.000-3706.000=-28.000 |
| | mean | 9.951-9.049=0.902 | | σ | 0.198-0.335=-0.137 | | min | 9.610-8.812=0.797 | | max | 10.118-9.627=0.492 |
|