iters=5 new-facts=1 prior-facts=1 | | mean | 270.142-270.145=-0.003 | | σ | 0.005-0.008=-0.002 | | min | 270.134-270.135=-0.001 | | max | 270.147-270.153=-0.006 |
| | mean | 2468.000-2494.000=-26.000 | | σ | 0.000 | | min | 2468.000-2494.000=-26.000 | | max | 2468.000-2494.000=-26.000 |
| | mean | 0.379-0.380=-0.001 | | σ | 0.006-0.005=0.001 | | min | 0.370-0.375=-0.005 | | max | 0.388-0.389=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609-1930.608=0.001 | | σ | 0.015-0.009=0.005 | | min | 1930.587-1930.599=-0.012 | | max | 1930.621-1930.619=0.002 |
| | mean | 2468.000-2494.000=-26.000 | | σ | 0.000 | | min | 2468.000-2494.000=-26.000 | | max | 2468.000-2494.000=-26.000 |
| | mean | 2.514-2.531=-0.017 | | σ | 0.095-0.103=-0.008 | | min | 2.428-2.447=-0.019 | | max | 2.663-2.676=-0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.341-4751.336=0.005 | | σ | 0.900-0.860=0.040 | | min | 4750.775-4750.831=-0.056 | | max | 4752.925-4752.863=0.062 |
| | mean | 2468.000-2494.000=-26.000 | | σ | 0.000 | | min | 2468.000-2494.000=-26.000 | | max | 2468.000-2494.000=-26.000 |
| | mean | 8.426-8.428=-0.002 | | σ | 0.615-0.409=0.206 | | min | 7.804-7.791=0.013 | | max | 9.143-8.876=0.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.771-4941.774=-0.003 | | σ | 0.018-0.014=0.004 | | min | 4941.752-4941.760=-0.008 | | max | 4941.797-4941.794=0.003 |
| | mean | 3006.200-3013.800=-7.600 | | σ | 262.837-259.617=3.219 | | min | 2621.000-2627.000=-6.000 | | max | 3321.000-3320.000=1.000 |
| | mean | 8.556-8.603=-0.047 | | σ | 0.126-0.145=-0.018 | | min | 8.430-8.438=-0.009 | | max | 8.749-8.780=-0.032 |
|