iters=5 new-facts=1 prior-facts=1 | | mean | 274.417-274.416=0.001 | | σ | 0.009-0.008=0.001 | | min | 274.406-274.404=0.002 | | max | 274.429-274.423=0.005 |
| | mean | 2672.000-2654.000=18.000 | | σ | 0.000 | | min | 2672.000-2654.000=18.000 | | max | 2672.000-2654.000=18.000 |
| | mean | 0.406-0.409=-0.003 | | σ | 0.003-0.008=-0.005 | | min | 0.404-0.405=-0.001 | | max | 0.410-0.423=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2264.666-2264.661=0.004 | | σ | 0.005-0.007=-0.002 | | min | 2264.659-2264.651=0.008 | | max | 2264.672-2264.669=0.002 |
| | mean | 2672.000-2654.000=18.000 | | σ | 0.000 | | min | 2672.000-2654.000=18.000 | | max | 2672.000-2654.000=18.000 |
| | mean | 3.131-2.884=0.247 | | σ | 0.163-0.049=0.114 | | min | 2.934-2.799=0.135 | | max | 3.362-2.924=0.437 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.647-4951.730=-0.083 | | σ | 0.819-0.770=0.049 | | min | 4950.932-4951.114=-0.182 | | max | 4953.054-4953.067=-0.013 |
| | mean | 2672.000-2654.000=18.000 | | σ | 0.000 | | min | 2672.000-2654.000=18.000 | | max | 2672.000-2654.000=18.000 |
| | mean | 7.820-8.288=-0.468 | | σ | 0.129-0.660=-0.531 | | min | 7.648-7.741=-0.093 | | max | 7.999-9.036=-1.037 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.393-5166.463=-0.070 | | σ | 0.114-0.084=0.030 | | min | 5166.215-5166.391=-0.176 | | max | 5166.534-5166.562=-0.028 |
| | mean | 3407.800-3379.400=28.400 | | σ | 525.734-437.699=88.035 | | min | 2938.000-2791.000=147.000 | | max | 4163.000-3947.000=216.000 |
| | mean | 9.201-9.178=0.023 | | σ | 0.449-0.148=0.301 | | min | 8.539-8.949=-0.410 | | max | 9.796-9.363=0.434 |
|