iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-272.017=1.488 | | σ | 0.008-0.008=-0.000 | | min | 273.497-272.009=1.488 | | max | 273.519-272.030=1.489 |
| | mean | 2871.000-2876.000=-5.000 | | σ | 0.000 | | min | 2871.000-2876.000=-5.000 | | max | 2871.000-2876.000=-5.000 |
| | mean | 0.387-0.391=-0.004 | | σ | 0.003-0.009=-0.006 | | min | 0.385-0.379=0.006 | | max | 0.392-0.402=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897-1932.439=1.457 | | σ | 0.009-0.011=-0.002 | | min | 1933.886-1932.421=1.465 | | max | 1933.906-1932.450=1.457 |
| | mean | 2871.000-2876.000=-5.000 | | σ | 0.000 | | min | 2871.000-2876.000=-5.000 | | max | 2871.000-2876.000=-5.000 |
| | mean | 3.002-2.944=0.058 | | σ | 0.147-0.140=0.007 | | min | 2.787-2.796=-0.010 | | max | 3.188-3.121=0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.739-4753.192=1.547 | | σ | 0.792-0.804=-0.013 | | min | 4754.335-4752.749=1.586 | | max | 4756.154-4754.626=1.528 |
| | mean | 2871.000-2876.000=-5.000 | | σ | 0.000 | | min | 2871.000-2876.000=-5.000 | | max | 2871.000-2876.000=-5.000 |
| | mean | 7.980-8.375=-0.395 | | σ | 0.256-0.412=-0.155 | | min | 7.839-7.716=0.123 | | max | 8.435-8.728=-0.294 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.112-4943.565=1.547 | | σ | 0.014-0.167=-0.153 | | min | 4945.090-4943.267=1.822 | | max | 4945.124-4943.659=1.466 |
| | mean | 3041.600-3055.000=-13.400 | | σ | 253.416-188.258=65.158 | | min | 2871.000-2876.000=-5.000 | | max | 3449.000-3327.000=122.000 |
| | mean | 8.432-8.791=-0.359 | | σ | 0.069-0.382=-0.313 | | min | 8.327-8.452=-0.125 | | max | 8.498-9.367=-0.870 |
|