iters=5 new-facts=1 prior-facts=1 | | mean | 269.932-269.934=-0.001 | | σ | 0.006-0.006=-0.001 | | min | 269.926-269.927=-0.000 | | max | 269.940-269.943=-0.003 |
| | mean | 2791.000-2470.000=321.000 | | σ | 0.000 | | min | 2791.000-2470.000=321.000 | | max | 2791.000-2470.000=321.000 |
| | mean | 0.372-0.382=-0.010 | | σ | 0.004-0.011=-0.007 | | min | 0.369-0.372=-0.003 | | max | 0.379-0.400=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389-1930.386=0.003 | | σ | 0.012-0.025=-0.014 | | min | 1930.377-1930.357=0.020 | | max | 1930.403-1930.411=-0.008 |
| | mean | 2791.000-2470.000=321.000 | | σ | 0.000 | | min | 2791.000-2470.000=321.000 | | max | 2791.000-2470.000=321.000 |
| | mean | 2.836-2.566=0.270 | | σ | 0.225-0.161=0.064 | | min | 2.673-2.406=0.267 | | max | 3.223-2.830=0.392 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.625-4750.851=-0.226 | | σ | 0.353-0.810=-0.456 | | min | 4750.348-4750.338=0.010 | | max | 4751.240-4752.278=-1.038 |
| | mean | 2791.000-2470.000=321.000 | | σ | 0.000 | | min | 2791.000-2470.000=321.000 | | max | 2791.000-2470.000=321.000 |
| | mean | 8.729-8.637=0.092 | | σ | 0.510-0.224=0.285 | | min | 7.837-8.411=-0.574 | | max | 9.029-8.925=0.105 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.325-4941.332=-0.007 | | σ | 0.088-0.084=0.004 | | min | 4941.248-4941.259=-0.011 | | max | 4941.434-4941.426=0.008 |
| | mean | 3039.000-2961.600=77.400 | | σ | 294.150-272.859=21.292 | | min | 2791.000-2595.000=196.000 | | max | 3474.000-3316.000=158.000 |
| | mean | 8.514-8.450=0.064 | | σ | 0.132-0.032=0.100 | | min | 8.302-8.411=-0.110 | | max | 8.627-8.495=0.132 |
|