iters=5 new-facts=1 prior-facts=1 | | mean | 324.715-272.790=51.925 | | σ | 0.035-0.006=0.029 | | min | 324.654-272.780=51.874 | | max | 324.736-272.795=51.941 |
| | mean | 2845.000-2768.000=77.000 | | σ | 0.000 | | min | 2845.000-2768.000=77.000 | | max | 2845.000-2768.000=77.000 |
| | mean | 0.425-0.378=0.047 | | σ | 0.002-0.002=-0.000 | | min | 0.423-0.376=0.046 | | max | 0.427-0.381=0.046 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1933.225=52.039 | | σ | 0.014-0.007=0.007 | | min | 1985.247-1933.215=52.032 | | max | 1985.277-1933.232=52.045 |
| | mean | 2845.000-2768.000=77.000 | | σ | 0.000 | | min | 2845.000-2768.000=77.000 | | max | 2845.000-2768.000=77.000 |
| | mean | 2.600-3.033=-0.433 | | σ | 0.080-0.142=-0.061 | | min | 2.533-2.936=-0.403 | | max | 2.737-3.278=-0.541 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.763-4756.871=51.892 | | σ | 7.786-7.774=0.012 | | min | 4804.829-4753.178=51.652 | | max | 4822.683-4770.775=51.907 |
| | mean | 2845.000-2768.000=77.000 | | σ | 0.000 | | min | 2845.000-2768.000=77.000 | | max | 2845.000-2768.000=77.000 |
| | mean | 8.671-8.954=-0.283 | | σ | 0.571-0.654=-0.083 | | min | 7.801-7.897=-0.096 | | max | 9.223-9.636=-0.413 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.460-4944.390=52.070 | | σ | 0.017-0.164=-0.147 | | min | 4996.442-4944.098=52.344 | | max | 4996.484-4944.471=52.013 |
| | mean | 3067.000-3047.200=19.800 | | σ | 296.500-272.025=24.474 | | min | 2845.000-2768.000=77.000 | | max | 3525.000-3427.000=98.000 |
| | mean | 8.568-8.574=-0.006 | | σ | 0.138-0.198=-0.060 | | min | 8.454-8.363=0.091 | | max | 8.754-8.868=-0.114 |
|