iters=5 new-facts=1 prior-facts=1 | | mean | 326.517-326.517=-0.000 | | σ | 0.032-0.031=0.001 | | min | 326.461-326.464=-0.003 | | max | 326.541-326.543=-0.002 |
| | mean | 2836.000-2821.000=15.000 | | σ | 0.000 | | min | 2836.000-2821.000=15.000 | | max | 2836.000-2821.000=15.000 |
| | mean | 0.427-0.421=0.007 | | σ | 0.005-0.001=0.004 | | min | 0.421-0.420=0.002 | | max | 0.433-0.421=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.667-1988.673=-0.005 | | σ | 0.018-0.014=0.004 | | min | 1988.644-1988.658=-0.014 | | max | 1988.683-1988.687=-0.005 |
| | mean | 2836.000-2821.000=15.000 | | σ | 0.000 | | min | 2836.000-2821.000=15.000 | | max | 2836.000-2821.000=15.000 |
| | mean | 2.753-2.672=0.081 | | σ | 0.228-0.084=0.144 | | min | 2.627-2.600=0.027 | | max | 3.157-2.811=0.346 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.510-4813.449=0.061 | | σ | 7.725-7.788=-0.063 | | min | 4809.980-4809.408=0.572 | | max | 4827.328-4827.367=-0.038 |
| | mean | 2836.000-2821.000=15.000 | | σ | 0.000 | | min | 2836.000-2821.000=15.000 | | max | 2836.000-2821.000=15.000 |
| | mean | 8.695-8.585=0.111 | | σ | 0.236-0.695=-0.459 | | min | 8.452-7.768=0.684 | | max | 9.066-9.375=-0.309 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.948-5001.072=-0.125 | | σ | 0.213-0.023=0.190 | | min | 5000.713-5001.043=-0.330 | | max | 5001.131-5001.094=0.037 |
| | mean | 3037.800-3026.600=11.200 | | σ | 210.010-208.246=1.764 | | min | 2836.000-2821.000=15.000 | | max | 3337.000-3311.000=26.000 |
| | mean | 9.855-9.814=0.041 | | σ | 0.380-0.090=0.290 | | min | 9.183-9.726=-0.543 | | max | 10.086-9.916=0.171 |
|