iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-275.757=0.000 | | σ | 0.011-0.008=0.003 | | min | 275.744-275.748=-0.004 | | max | 275.769-275.766=0.002 |
| | mean | 2649.000-2497.000=152.000 | | σ | 0.000 | | min | 2649.000-2497.000=152.000 | | max | 2649.000-2497.000=152.000 |
| | mean | 0.401-0.403=-0.002 | | σ | 0.009-0.009=0.001 | | min | 0.394-0.398=-0.004 | | max | 0.415-0.418=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.274-2168.274=-0.000 | | σ | 0.036-0.017=0.019 | | min | 2168.213-2168.251=-0.038 | | max | 2168.302-2168.290=0.013 |
| | mean | 2649.000-2497.000=152.000 | | σ | 0.000 | | min | 2649.000-2497.000=152.000 | | max | 2649.000-2497.000=152.000 |
| | mean | 2.986-2.977=0.009 | | σ | 0.114-0.123=-0.008 | | min | 2.788-2.810=-0.022 | | max | 3.078-3.117=-0.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.098-5047.866=0.232 | | σ | 0.963-1.184=-0.221 | | min | 5047.515-5046.413=1.102 | | max | 5049.805-5049.709=0.095 |
| | mean | 2649.000-2497.000=152.000 | | σ | 0.000 | | min | 2649.000-2497.000=152.000 | | max | 2649.000-2497.000=152.000 |
| | mean | 8.939-8.901=0.038 | | σ | 0.489-0.480=0.009 | | min | 8.178-8.139=0.039 | | max | 9.376-9.456=-0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.248-5179.246=0.002 | | σ | 0.075-0.083=-0.008 | | min | 5179.179-5179.176=0.003 | | max | 5179.341-5179.360=-0.019 |
| | mean | 3236.400-3271.400=-35.000 | | σ | 379.104-379.796=-0.692 | | min | 2702.000-2734.000=-32.000 | | max | 3695.000-3728.000=-33.000 |
| | mean | 10.064-10.129=-0.065 | | σ | 0.319-0.453=-0.134 | | min | 9.549-9.579=-0.030 | | max | 10.412-10.837=-0.425 |
|