iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-278.791=-3.223 | | σ | 0.003-0.005=-0.002 | | min | 275.566-278.786=-3.219 | | max | 275.573-278.799=-3.226 |
| | mean | 2693.000-2725.000=-32.000 | | σ | 0.000 | | min | 2693.000-2725.000=-32.000 | | max | 2693.000-2725.000=-32.000 |
| | mean | 0.403-0.412=-0.009 | | σ | 0.007-0.006=0.001 | | min | 0.396-0.408=-0.011 | | max | 0.412-0.423=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.094-2268.884=-100.790 | | σ | 0.013-0.018=-0.004 | | min | 2168.080-2268.866=-100.787 | | max | 2168.111-2268.906=-100.794 |
| | mean | 2693.000-2725.000=-32.000 | | σ | 0.000 | | min | 2693.000-2725.000=-32.000 | | max | 2693.000-2725.000=-32.000 |
| | mean | 2.986-3.046=-0.060 | | σ | 0.188-0.157=0.031 | | min | 2.658-2.865=-0.207 | | max | 3.127-3.240=-0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.926-4954.250=93.676 | | σ | 0.880-0.896=-0.015 | | min | 5047.390-4953.754=93.636 | | max | 5049.492-4955.844=93.648 |
| | mean | 2693.000-2725.000=-32.000 | | σ | 0.000 | | min | 2693.000-2725.000=-32.000 | | max | 2693.000-2725.000=-32.000 |
| | mean | 8.761-8.050=0.711 | | σ | 0.510-0.547=-0.037 | | min | 8.124-7.623=0.501 | | max | 9.368-9.002=0.366 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.054-5168.793=10.260 | | σ | 0.084-0.089=-0.005 | | min | 5178.964-5168.723=10.241 | | max | 5179.145-5168.908=10.237 |
| | mean | 3222.800-3314.600=-91.800 | | σ | 364.863-396.651=-31.788 | | min | 2720.000-2923.000=-203.000 | | max | 3679.000-3716.000=-37.000 |
| | mean | 10.139-9.514=0.625 | | σ | 0.559-0.366=0.193 | | min | 9.594-9.117=0.476 | | max | 11.084-10.115=0.969 |
|