iters=5 new-facts=1 prior-facts=1 | | mean | 271.950-271.951=-0.002 | | σ | 0.008-0.008=0.000 | | min | 271.942-271.943=-0.002 | | max | 271.962-271.963=-0.001 |
| | mean | 2708.000-2617.000=91.000 | | σ | 0.000 | | min | 2708.000-2617.000=91.000 | | max | 2708.000-2617.000=91.000 |
| | mean | 0.381-0.377=0.004 | | σ | 0.010-0.000=0.009 | | min | 0.374-0.376=-0.003 | | max | 0.398-0.377=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.356-1932.355=0.002 | | σ | 0.020-0.018=0.002 | | min | 1932.326-1932.332=-0.006 | | max | 1932.376-1932.377=-0.001 |
| | mean | 2708.000-2617.000=91.000 | | σ | 0.000 | | min | 2708.000-2617.000=91.000 | | max | 2708.000-2617.000=91.000 |
| | mean | 3.086-3.001=0.085 | | σ | 0.193-0.148=0.045 | | min | 2.876-2.754=0.122 | | max | 3.381-3.137=0.244 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.022-4756.084=-0.062 | | σ | 7.635-7.631=0.004 | | min | 4752.164-4752.627=-0.463 | | max | 4769.672-4769.735=-0.063 |
| | mean | 2708.000-2617.000=91.000 | | σ | 0.000 | | min | 2708.000-2617.000=91.000 | | max | 2708.000-2617.000=91.000 |
| | mean | 8.446-8.810=-0.364 | | σ | 0.372-0.218=0.154 | | min | 7.984-8.470=-0.486 | | max | 8.919-9.075=-0.156 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.590-4943.591=-0.001 | | σ | 0.022-0.015=0.007 | | min | 4943.562-4943.574=-0.012 | | max | 4943.616-4943.606=0.010 |
| | mean | 2994.800-2945.600=49.200 | | σ | 332.447-347.484=-15.037 | | min | 2708.000-2617.000=91.000 | | max | 3492.000-3443.000=49.000 |
| | mean | 8.439-8.369=0.070 | | σ | 0.141-0.041=0.100 | | min | 8.296-8.306=-0.010 | | max | 8.624-8.408=0.216 |
|