iters=5 new-facts=1 prior-facts=1 | | mean | 272.795-272.791=0.004 | | σ | 0.007-0.007=0.000 | | min | 272.786-272.781=0.005 | | max | 272.803-272.800=0.003 |
| | mean | 2771.000-2770.000=1.000 | | σ | 0.000 | | min | 2771.000-2770.000=1.000 | | max | 2771.000-2770.000=1.000 |
| | mean | 0.382-0.377=0.005 | | σ | 0.005-0.001=0.004 | | min | 0.378-0.376=0.002 | | max | 0.389-0.379=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.227-1933.219=0.008 | | σ | 0.011-0.013=-0.002 | | min | 1933.211-1933.198=0.013 | | max | 1933.239-1933.234=0.005 |
| | mean | 2771.000-2770.000=1.000 | | σ | 0.000 | | min | 2771.000-2770.000=1.000 | | max | 2771.000-2770.000=1.000 |
| | mean | 3.199-3.084=0.115 | | σ | 0.058-0.086=-0.028 | | min | 3.121-3.020=0.102 | | max | 3.278-3.233=0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.049-4756.957=0.092 | | σ | 7.545-7.623=-0.078 | | min | 4753.554-4753.473=0.081 | | max | 4770.545-4770.593=-0.047 |
| | mean | 2771.000-2770.000=1.000 | | σ | 0.000 | | min | 2771.000-2770.000=1.000 | | max | 2771.000-2770.000=1.000 |
| | mean | 7.931-8.572=-0.640 | | σ | 0.414-0.370=0.044 | | min | 7.616-7.966=-0.350 | | max | 8.627-8.891=-0.264 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.394-4944.457=-0.063 | | σ | 0.162-0.024=0.138 | | min | 4944.105-4944.427=-0.322 | | max | 4944.479-4944.484=-0.005 |
| | mean | 2969.200-3033.200=-64.000 | | σ | 259.429-289.247=-29.818 | | min | 2771.000-2770.000=1.000 | | max | 3347.000-3430.000=-83.000 |
| | mean | 8.626-8.485=0.141 | | σ | 0.264-0.123=0.141 | | min | 8.349-8.376=-0.027 | | max | 8.999-8.695=0.305 |
|