iters=5 new-facts=1 prior-facts=1 | | mean | 278.822-278.824=-0.002 | | σ | 0.008-0.006=0.002 | | min | 278.814-278.817=-0.003 | | max | 278.835-278.833=0.002 |
| | mean | 2847.000-2726.000=121.000 | | σ | 0.000 | | min | 2847.000-2726.000=121.000 | | max | 2847.000-2726.000=121.000 |
| | mean | 0.413-0.412=0.001 | | σ | 0.004-0.005=-0.001 | | min | 0.408-0.408=-0.000 | | max | 0.417-0.418=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.879-2268.886=-0.007 | | σ | 0.006-0.011=-0.005 | | min | 2268.870-2268.878=-0.009 | | max | 2268.886-2268.906=-0.020 |
| | mean | 2847.000-2726.000=121.000 | | σ | 0.000 | | min | 2847.000-2726.000=121.000 | | max | 2847.000-2726.000=121.000 |
| | mean | 2.924-3.067=-0.143 | | σ | 0.104-0.151=-0.047 | | min | 2.852-2.890=-0.039 | | max | 3.108-3.224=-0.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.303-4954.144=0.159 | | σ | 0.902-1.074=-0.173 | | min | 4953.751-4953.093=0.658 | | max | 4955.903-4955.948=-0.045 |
| | mean | 2847.000-2726.000=121.000 | | σ | 0.000 | | min | 2847.000-2726.000=121.000 | | max | 2847.000-2726.000=121.000 |
| | mean | 7.916-8.124=-0.208 | | σ | 0.282-0.420=-0.138 | | min | 7.705-7.675=0.030 | | max | 8.405-8.680=-0.275 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.752-5168.829=-0.077 | | σ | 0.135-0.094=0.041 | | min | 5168.550-5168.725=-0.175 | | max | 5168.877-5168.907=-0.030 |
| | mean | 3392.400-3321.800=70.600 | | σ | 439.040-391.547=47.493 | | min | 2847.000-2933.000=-86.000 | | max | 3998.000-3716.000=282.000 |
| | mean | 9.237-9.475=-0.238 | | σ | 0.203-0.403=-0.199 | | min | 9.007-9.121=-0.113 | | max | 9.545-10.014=-0.470 |
|