iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-275.573=-0.006 | | σ | 0.005-0.008=-0.003 | | min | 275.558-275.565=-0.007 | | max | 275.572-275.584=-0.012 |
| | mean | 2697.000-2849.000=-152.000 | | σ | 0.000 | | min | 2697.000-2849.000=-152.000 | | max | 2697.000-2849.000=-152.000 |
| | mean | 0.395-0.403=-0.008 | | σ | 0.007-0.012=-0.005 | | min | 0.384-0.394=-0.010 | | max | 0.401-0.419=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2168.095=0.006 | | σ | 0.008-0.009=-0.001 | | min | 2168.091-2168.085=0.006 | | max | 2168.111-2168.105=0.007 |
| | mean | 2697.000-2849.000=-152.000 | | σ | 0.000 | | min | 2697.000-2849.000=-152.000 | | max | 2697.000-2849.000=-152.000 |
| | mean | 2.919-2.945=-0.026 | | σ | 0.147-0.148=-0.001 | | min | 2.719-2.810=-0.091 | | max | 3.085-3.158=-0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.774-5047.923=-0.148 | | σ | 0.631-0.895=-0.264 | | min | 5047.380-5047.363=0.017 | | max | 5048.895-5049.512=-0.617 |
| | mean | 2697.000-2849.000=-152.000 | | σ | 0.000 | | min | 2697.000-2849.000=-152.000 | | max | 2697.000-2849.000=-152.000 |
| | mean | 8.741-8.799=-0.058 | | σ | 0.393-0.520=-0.128 | | min | 8.109-8.025=0.084 | | max | 9.069-9.405=-0.336 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.978-5179.052=-0.074 | | σ | 0.216-0.088=0.128 | | min | 5178.617-5178.969=-0.352 | | max | 5179.149-5179.162=-0.013 |
| | mean | 3221.800-3250.200=-28.400 | | σ | 381.561-332.426=49.135 | | min | 2697.000-2849.000=-152.000 | | max | 3701.000-3699.000=2.000 |
| | mean | 9.827-9.975=-0.148 | | σ | 0.334-0.268=0.066 | | min | 9.511-9.564=-0.054 | | max | 10.267-10.281=-0.013 |
|