iters=5 new-facts=1 prior-facts=1 | | mean | 324.010-272.792=51.217 | | σ | 0.057-0.008=0.050 | | min | 323.907-272.781=51.126 | | max | 324.043-272.802=51.242 |
| | mean | 2773.000-2493.000=280.000 | | σ | 0.000 | | min | 2773.000-2493.000=280.000 | | max | 2773.000-2493.000=280.000 |
| | mean | 0.427-0.383=0.044 | | σ | 0.003-0.007=-0.004 | | min | 0.423-0.376=0.047 | | max | 0.431-0.394=0.037 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588-1792.964=191.623 | | σ | 0.017-313.645=-313.628 | | min | 1984.558-1231.900=752.658 | | max | 1984.598-1933.250=51.348 |
| | mean | 2773.000-2493.000=280.000 | | σ | 0.000 | | min | 2773.000-2493.000=280.000 | | max | 2773.000-2493.000=280.000 |
| | mean | 2.671-2.918=-0.247 | | σ | 0.150-0.602=-0.451 | | min | 2.504-1.862=0.642 | | max | 2.886-3.339=-0.453 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.230-4757.045=51.185 | | σ | 7.805-7.521=0.284 | | min | 4804.679-4753.598=51.081 | | max | 4822.193-4770.500=51.693 |
| | mean | 2773.000-2493.000=280.000 | | σ | 0.000 | | min | 2773.000-2493.000=280.000 | | max | 2773.000-2493.000=280.000 |
| | mean | 8.938-8.030=0.909 | | σ | 0.119-0.322=-0.203 | | min | 8.754-7.724=1.030 | | max | 9.074-8.570=0.503 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.595-4944.459=51.136 | | σ | 0.195-0.019=0.176 | | min | 4995.437-4944.434=51.002 | | max | 4995.816-4944.483=51.334 |
| | mean | 3003.000-2955.800=47.200 | | σ | 222.723-371.078=-148.356 | | min | 2773.000-2493.000=280.000 | | max | 3334.000-3438.000=-104.000 |
| | mean | 8.560-8.643=-0.083 | | σ | 0.061-0.082=-0.021 | | min | 8.486-8.527=-0.040 | | max | 8.629-8.737=-0.109 |
|