iters=5 new-facts=1 prior-facts=1 | | mean | 279.506-279.508=-0.002 | | σ | 0.005-0.007=-0.001 | | min | 279.498-279.500=-0.002 | | max | 279.511-279.518=-0.007 |
| | mean | 2751.000-2685.000=66.000 | | σ | 0.000 | | min | 2751.000-2685.000=66.000 | | max | 2751.000-2685.000=66.000 |
| | mean | 0.409-0.415=-0.006 | | σ | 0.007-0.010=-0.003 | | min | 0.404-0.406=-0.002 | | max | 0.421-0.431=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2173.715-2173.700=0.015 | | σ | 0.024-0.015=0.009 | | min | 2173.692-2173.685=0.007 | | max | 2173.754-2173.720=0.034 |
| | mean | 2751.000-2685.000=66.000 | | σ | 0.000 | | min | 2751.000-2685.000=66.000 | | max | 2751.000-2685.000=66.000 |
| | mean | 2.956-2.979=-0.023 | | σ | 0.154-0.151=0.003 | | min | 2.776-2.758=0.018 | | max | 3.135-3.106=0.029 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5053.215-5053.105=0.110 | | σ | 1.064-0.444=0.620 | | min | 5052.176-5052.809=-0.633 | | max | 5055.009-5053.889=1.120 |
| | mean | 2751.000-2685.000=66.000 | | σ | 0.000 | | min | 2751.000-2685.000=66.000 | | max | 2751.000-2685.000=66.000 |
| | mean | 9.243-9.199=0.043 | | σ | 0.234-0.200=0.034 | | min | 8.957-8.868=0.089 | | max | 9.596-9.388=0.208 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.920-5185.991=-0.071 | | σ | 0.208-0.088=0.120 | | min | 5185.576-5185.922=-0.345 | | max | 5186.091-5186.089=0.002 |
| | mean | 3285.200-3279.200=6.000 | | σ | 394.485-419.380=-24.895 | | min | 2751.000-2685.000=66.000 | | max | 3656.000-3664.000=-8.000 |
| | mean | 8.904-9.042=-0.138 | | σ | 0.204-0.453=-0.249 | | min | 8.674-8.681=-0.007 | | max | 9.230-9.823=-0.593 |
|