iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.567=-0.001 | | σ | 0.006-0.006=-0.000 | | min | 275.556-275.559=-0.003 | | max | 275.572-275.573=-0.001 |
| | mean | 2841.000-2505.000=336.000 | | σ | 0.000 | | min | 2841.000-2505.000=336.000 | | max | 2841.000-2505.000=336.000 |
| | mean | 0.401-0.389=0.013 | | σ | 0.008-0.006=0.002 | | min | 0.395-0.385=0.010 | | max | 0.414-0.398=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090-2168.082=0.008 | | σ | 0.014-0.022=-0.008 | | min | 2168.070-2168.051=0.019 | | max | 2168.109-2168.106=0.003 |
| | mean | 2841.000-2505.000=336.000 | | σ | 0.000 | | min | 2841.000-2505.000=336.000 | | max | 2841.000-2505.000=336.000 |
| | mean | 2.873-3.039=-0.166 | | σ | 0.171-0.167=0.003 | | min | 2.662-2.794=-0.133 | | max | 3.072-3.173=-0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.784-5047.683=0.101 | | σ | 0.997-1.116=-0.119 | | min | 5046.851-5046.442=0.409 | | max | 5049.479-5049.494=-0.015 |
| | mean | 2841.000-2505.000=336.000 | | σ | 0.000 | | min | 2841.000-2505.000=336.000 | | max | 2841.000-2505.000=336.000 |
| | mean | 8.854-8.873=-0.019 | | σ | 0.500-0.360=0.140 | | min | 8.085-8.507=-0.422 | | max | 9.424-9.419=0.005 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.973-5179.039=-0.066 | | σ | 0.204-0.089=0.115 | | min | 5178.642-5178.964=-0.321 | | max | 5179.155-5179.151=0.004 |
| | mean | 3284.800-3259.200=25.600 | | σ | 408.374-346.335=62.039 | | min | 2841.000-2748.000=93.000 | | max | 3862.000-3649.000=213.000 |
| | mean | 9.715-9.581=0.134 | | σ | 0.619-0.553=0.066 | | min | 8.700-8.685=0.016 | | max | 10.176-10.086=0.090 |
|