iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.754=0.037 | | σ | 0.006-0.004=0.003 | | min | 272.785-272.751=0.034 | | max | 272.801-272.759=0.042 |
| | mean | 2416.000-2706.000=-290.000 | | σ | 0.000 | | min | 2416.000-2706.000=-290.000 | | max | 2416.000-2706.000=-290.000 |
| | mean | 0.379-0.384=-0.004 | | σ | 0.005-0.006=-0.001 | | min | 0.376-0.379=-0.003 | | max | 0.388-0.393=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.222-1933.155=0.066 | | σ | 0.015-0.016=-0.001 | | min | 1933.201-1933.131=0.070 | | max | 1933.237-1933.172=0.065 |
| | mean | 2416.000-2706.000=-290.000 | | σ | 0.000 | | min | 2416.000-2706.000=-290.000 | | max | 2416.000-2706.000=-290.000 |
| | mean | 3.066-3.036=0.029 | | σ | 0.151-0.131=0.020 | | min | 2.874-2.822=0.052 | | max | 3.275-3.173=0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.957-4756.908=0.050 | | σ | 7.591-7.597=-0.006 | | min | 4753.491-4753.479=0.011 | | max | 4770.536-4770.498=0.038 |
| | mean | 2416.000-2706.000=-290.000 | | σ | 0.000 | | min | 2416.000-2706.000=-290.000 | | max | 2416.000-2706.000=-290.000 |
| | mean | 8.532-8.615=-0.083 | | σ | 0.369-0.234=0.135 | | min | 7.919-8.276=-0.357 | | max | 8.865-8.919=-0.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.378-4944.252=0.126 | | σ | 0.145-0.188=-0.043 | | min | 4944.121-4944.046=0.075 | | max | 4944.472-4944.417=0.055 |
| | mean | 2900.600-2982.200=-81.600 | | σ | 399.259-319.572=79.687 | | min | 2416.000-2706.000=-290.000 | | max | 3438.000 |
| | mean | 8.359-8.441=-0.082 | | σ | 0.034-0.186=-0.152 | | min | 8.320-8.328=-0.008 | | max | 8.404-8.765=-0.361 |
|