iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-269.937=-0.006 | | σ | 0.009-0.004=0.005 | | min | 269.923-269.932=-0.009 | | max | 269.944-269.942=0.002 |
| | mean | 2762.000-2481.000=281.000 | | σ | 0.000 | | min | 2762.000-2481.000=281.000 | | max | 2762.000-2481.000=281.000 |
| | mean | 0.373-0.388=-0.015 | | σ | 0.006-0.012=-0.006 | | min | 0.370-0.379=-0.009 | | max | 0.384-0.409=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.385-1930.403=-0.017 | | σ | 0.016-0.004=0.012 | | min | 1930.366-1930.398=-0.032 | | max | 1930.406-1930.408=-0.002 |
| | mean | 2762.000-2481.000=281.000 | | σ | 0.000 | | min | 2762.000-2481.000=281.000 | | max | 2762.000-2481.000=281.000 |
| | mean | 2.605-2.474=0.130 | | σ | 0.305-0.035=0.270 | | min | 2.373-2.436=-0.062 | | max | 3.140-2.527=0.612 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.612-4750.788=-0.177 | | σ | 1.112-0.915=0.197 | | min | 4749.169-4750.006=-0.837 | | max | 4752.286-4752.374=-0.088 |
| | mean | 2762.000-2481.000=281.000 | | σ | 0.000 | | min | 2762.000-2481.000=281.000 | | max | 2762.000-2481.000=281.000 |
| | mean | 8.634-8.385=0.249 | | σ | 0.302-0.509=-0.207 | | min | 8.305-7.663=0.641 | | max | 9.029-9.016=0.013 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334-4941.331=0.003 | | σ | 0.087-0.090=-0.004 | | min | 4941.255-4941.254=0.001 | | max | 4941.428-4941.431=-0.003 |
| | mean | 3031.600-2996.200=35.400 | | σ | 228.977-283.369=-54.393 | | min | 2762.000-2606.000=156.000 | | max | 3304.000-3330.000=-26.000 |
| | mean | 8.754-8.563=0.191 | | σ | 0.400-0.127=0.273 | | min | 8.362-8.419=-0.057 | | max | 9.359-8.754=0.604 |
|