iters=5 new-facts=1 prior-facts=1 | | mean | 271.757-271.754=0.004 | | σ | 0.004-0.007=-0.003 | | min | 271.753-271.747=0.007 | | max | 271.763-271.763=0.000 |
| | mean | 2908.000-2803.000=105.000 | | σ | 0.000 | | min | 2908.000-2803.000=105.000 | | max | 2908.000-2803.000=105.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.008-0.006=0.003 | | min | 0.376-0.379=-0.003 | | max | 0.397-0.393=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.181-1932.185=-0.004 | | σ | 0.009-0.014=-0.004 | | min | 1932.170-1932.172=-0.002 | | max | 1932.193-1932.208=-0.015 |
| | mean | 2908.000-2803.000=105.000 | | σ | 0.000 | | min | 2908.000-2803.000=105.000 | | max | 2908.000-2803.000=105.000 |
| | mean | 2.954-2.945=0.009 | | σ | 0.194-0.306=-0.113 | | min | 2.647-2.434=0.213 | | max | 3.138-3.221=-0.083 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.921-4752.723=0.199 | | σ | 0.853-0.675=0.177 | | min | 4752.444-4752.132=0.312 | | max | 4754.438-4753.876=0.562 |
| | mean | 2908.000-2803.000=105.000 | | σ | 0.000 | | min | 2908.000-2803.000=105.000 | | max | 2908.000-2803.000=105.000 |
| | mean | 8.450-8.356=0.094 | | σ | 0.513-0.528=-0.015 | | min | 7.619-7.668=-0.050 | | max | 8.893-9.045=-0.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.234-4943.377=-0.142 | | σ | 0.196-0.020=0.177 | | min | 4943.016-4943.356=-0.340 | | max | 4943.390-4943.400=-0.010 |
| | mean | 3100.600-3044.200=56.400 | | σ | 214.974-250.165=-35.191 | | min | 2908.000-2803.000=105.000 | | max | 3431.000-3402.000=29.000 |
| | mean | 8.610-8.546=0.064 | | σ | 0.248-0.100=0.147 | | min | 8.248-8.427=-0.179 | | max | 8.898-8.655=0.243 |
|