iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.756=-0.000 | | σ | 0.006-0.008=-0.001 | | min | 272.749-272.747=0.002 | | max | 272.765-272.765=0.000 |
| | mean | 2487.000-2785.000=-298.000 | | σ | 0.000 | | min | 2487.000-2785.000=-298.000 | | max | 2487.000-2785.000=-298.000 |
| | mean | 0.382-0.379=0.003 | | σ | 0.008-0.001=0.007 | | min | 0.377-0.377=0.000 | | max | 0.397-0.380=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.168-1933.167=0.001 | | σ | 0.021-0.020=0.001 | | min | 1933.140-1933.142=-0.001 | | max | 1933.194-1933.190=0.004 |
| | mean | 2487.000-2785.000=-298.000 | | σ | 0.000 | | min | 2487.000-2785.000=-298.000 | | max | 2487.000-2785.000=-298.000 |
| | mean | 3.009-2.972=0.036 | | σ | 0.135-0.209=-0.074 | | min | 2.778-2.611=0.167 | | max | 3.129-3.153=-0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.907-4756.797=0.110 | | σ | 7.595-7.662=-0.067 | | min | 4753.473-4752.956=0.517 | | max | 4770.493-4770.495=-0.002 |
| | mean | 2487.000-2785.000=-298.000 | | σ | 0.000 | | min | 2487.000-2785.000=-298.000 | | max | 2487.000-2785.000=-298.000 |
| | mean | 8.604-8.835=-0.231 | | σ | 0.369-0.342=0.027 | | min | 8.040-8.526=-0.486 | | max | 8.974-9.300=-0.326 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.386-4944.324=0.063 | | σ | 0.028-0.149=-0.120 | | min | 4944.345-4944.060=0.286 | | max | 4944.414-4944.415=-0.001 |
| | mean | 2933.200-3009.600=-76.400 | | σ | 381.955-289.774=92.181 | | min | 2487.000-2785.000=-298.000 | | max | 3442.000-3459.000=-17.000 |
| | mean | 8.477-8.512=-0.035 | | σ | 0.151-0.167=-0.016 | | min | 8.380-8.407=-0.027 | | max | 8.743-8.803=-0.060 |
|