iters=5 new-facts=1 prior-facts=1 | | mean | 278.842-278.844=-0.001 | | σ | 0.009-0.005=0.004 | | min | 278.826-278.837=-0.011 | | max | 278.849-278.849=-0.000 |
| | mean | 2707.000-2643.000=64.000 | | σ | 0.000 | | min | 2707.000-2643.000=64.000 | | max | 2707.000-2643.000=64.000 |
| | mean | 0.416-0.407=0.009 | | σ | 0.006-0.002=0.003 | | min | 0.408-0.404=0.004 | | max | 0.424-0.410=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.906-2268.904=0.002 | | σ | 0.007-0.011=-0.004 | | min | 2268.893-2268.885=0.008 | | max | 2268.910-2268.912=-0.003 |
| | mean | 2707.000-2643.000=64.000 | | σ | 0.000 | | min | 2707.000-2643.000=64.000 | | max | 2707.000-2643.000=64.000 |
| | mean | 2.963-2.965=-0.002 | | σ | 0.138-0.104=0.034 | | min | 2.874-2.888=-0.014 | | max | 3.207-3.145=0.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.151-4954.240=-0.090 | | σ | 0.941-0.806=0.135 | | min | 4953.433-4953.738=-0.305 | | max | 4955.802-4955.661=0.140 |
| | mean | 2707.000-2643.000=64.000 | | σ | 0.000 | | min | 2707.000-2643.000=64.000 | | max | 2707.000-2643.000=64.000 |
| | mean | 8.070-8.064=0.007 | | σ | 0.369-0.235=0.133 | | min | 7.700-7.821=-0.121 | | max | 8.604-8.407=0.197 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.813-5168.675=0.138 | | σ | 0.083-0.201=-0.118 | | min | 5168.744-5168.392=0.353 | | max | 5168.905-5168.902=0.003 |
| | mean | 3421.000-3460.800=-39.800 | | σ | 459.802-475.553=-15.750 | | min | 2778.000-2796.000=-18.000 | | max | 3987.000-4019.000=-32.000 |
| | mean | 9.279-9.273=0.006 | | σ | 0.310-0.216=0.093 | | min | 8.917-8.963=-0.046 | | max | 9.770-9.564=0.206 |
|