iters=5 new-facts=1 prior-facts=1 | | mean | 273.612-273.499=0.112 | | σ | 0.005-0.006=-0.001 | | min | 273.605-273.491=0.114 | | max | 273.618-273.506=0.113 |
| | mean | 2835.000-2666.000=169.000 | | σ | 0.000 | | min | 2835.000-2666.000=169.000 | | max | 2835.000-2666.000=169.000 |
| | mean | 0.388-0.375=0.013 | | σ | 0.007-0.004=0.003 | | min | 0.384-0.372=0.012 | | max | 0.400-0.382=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.003-1933.902=0.101 | | σ | 0.007-0.016=-0.009 | | min | 1933.995-1933.886=0.108 | | max | 1934.013-1933.927=0.086 |
| | mean | 2835.000-2666.000=169.000 | | σ | 0.000 | | min | 2835.000-2666.000=169.000 | | max | 2835.000-2666.000=169.000 |
| | mean | 3.039-2.980=0.059 | | σ | 0.132-0.148=-0.016 | | min | 2.915-2.813=0.102 | | max | 3.186-3.136=0.050 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.678-4754.671=0.006 | | σ | 0.926-0.822=0.104 | | min | 4753.851-4754.136=-0.285 | | max | 4756.271-4756.129=0.142 |
| | mean | 2835.000-2666.000=169.000 | | σ | 0.000 | | min | 2835.000-2666.000=169.000 | | max | 2835.000-2666.000=169.000 |
| | mean | 8.323-8.446=-0.123 | | σ | 0.424-0.536=-0.111 | | min | 7.725-7.618=0.107 | | max | 8.857-9.111=-0.254 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.225-4945.052=0.173 | | σ | 0.022-0.150=-0.129 | | min | 4945.203-4944.784=0.418 | | max | 4945.260-4945.142=0.118 |
| | mean | 3074.800-3050.600=24.200 | | σ | 229.769-304.327=-74.558 | | min | 2835.000-2666.000=169.000 | | max | 3378.000-3340.000=38.000 |
| | mean | 8.731-8.701=0.031 | | σ | 0.334-0.235=0.098 | | min | 8.375-8.402=-0.027 | | max | 9.214-9.032=0.183 |
|