iters=5 new-facts=1 prior-facts=1 | | mean | 275.564-277.198=-1.634 | | σ | 0.007-0.004=0.003 | | min | 275.557-277.194=-1.637 | | max | 275.575-277.203=-1.628 |
| | mean | 2698.000-2772.000=-74.000 | | σ | 0.000 | | min | 2698.000-2772.000=-74.000 | | max | 2698.000-2772.000=-74.000 |
| | mean | 0.393-0.407=-0.013 | | σ | 0.009-0.008=0.001 | | min | 0.386-0.399=-0.014 | | max | 0.403-0.416=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.097-2174.418=-6.321 | | σ | 0.008-0.014=-0.006 | | min | 2168.086-2174.399=-6.313 | | max | 2168.108-2174.431=-6.323 |
| | mean | 2698.000-2772.000=-74.000 | | σ | 0.000 | | min | 2698.000-2772.000=-74.000 | | max | 2698.000-2772.000=-74.000 |
| | mean | 2.987-3.044=-0.057 | | σ | 0.154-0.254=-0.100 | | min | 2.790-2.728=0.062 | | max | 3.137-3.428=-0.291 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.899-5052.599=-4.700 | | σ | 0.914-0.921=-0.007 | | min | 5047.400-5051.996=-4.596 | | max | 5049.529-5054.233=-4.705 |
| | mean | 2698.000-2772.000=-74.000 | | σ | 0.000 | | min | 2698.000-2772.000=-74.000 | | max | 2698.000-2772.000=-74.000 |
| | mean | 8.898-8.714=0.184 | | σ | 0.456-0.511=-0.056 | | min | 8.173-8.106=0.067 | | max | 9.318-9.284=0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.055-5188.354=-9.299 | | σ | 0.082-0.210=-0.128 | | min | 5178.971-5188.006=-9.035 | | max | 5179.147-5188.527=-9.380 |
| | mean | 3234.200-3249.800=-15.600 | | σ | 395.427-343.121=52.306 | | min | 2698.000-2772.000=-74.000 | | max | 3742.000-3697.000=45.000 |
| | mean | 10.214-8.957=1.258 | | σ | 0.649-0.227=0.421 | | min | 9.680-8.686=0.994 | | max | 11.343-9.257=2.086 |
|