iters=5 new-facts=1 prior-facts=1 | | mean | 269.934-273.402=-3.468 | | σ | 0.006-0.010=-0.004 | | min | 269.927-273.392=-3.466 | | max | 269.943-273.417=-3.474 |
| | mean | 2470.000-2451.000=19.000 | | σ | 0.000 | | min | 2470.000-2451.000=19.000 | | max | 2470.000-2451.000=19.000 |
| | mean | 0.382-0.383=-0.002 | | σ | 0.011-0.008=0.003 | | min | 0.372-0.376=-0.004 | | max | 0.400-0.392=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.386-1933.832=-3.446 | | σ | 0.025-0.012=0.014 | | min | 1930.357-1933.812=-3.456 | | max | 1930.411-1933.843=-3.432 |
| | mean | 2470.000-2451.000=19.000 | | σ | 0.000 | | min | 2470.000-2451.000=19.000 | | max | 2470.000-2451.000=19.000 |
| | mean | 2.566-3.044=-0.478 | | σ | 0.161-0.192=-0.031 | | min | 2.406-2.732=-0.326 | | max | 2.830-3.238=-0.407 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.851-4754.335=-3.484 | | σ | 0.810-0.848=-0.039 | | min | 4750.338-4753.789=-3.451 | | max | 4752.278-4755.841=-3.563 |
| | mean | 2470.000-2451.000=19.000 | | σ | 0.000 | | min | 2470.000-2451.000=19.000 | | max | 2470.000-2451.000=19.000 |
| | mean | 8.637-8.676=-0.038 | | σ | 0.224-0.504=-0.280 | | min | 8.411-7.804=0.607 | | max | 8.925-9.058=-0.134 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332-4944.799=-3.467 | | σ | 0.084-0.092=-0.009 | | min | 4941.259-4944.720=-3.461 | | max | 4941.426-4944.909=-3.483 |
| | mean | 2961.600-2986.600=-25.000 | | σ | 272.859-351.799=-78.940 | | min | 2595.000-2485.000=110.000 | | max | 3316.000-3294.000=22.000 |
| | mean | 8.450-8.733=-0.283 | | σ | 0.032-0.307=-0.275 | | min | 8.411-8.435=-0.023 | | max | 8.495-9.082=-0.587 |
|