iters=5 new-facts=1 prior-facts=1 | | mean | 270.140-270.142=-0.002 | | σ | 0.009-0.009=-0.000 | | min | 270.128-270.129=-0.000 | | max | 270.151-270.153=-0.002 |
| | mean | 2771.000-2774.000=-3.000 | | σ | 0.000 | | min | 2771.000-2774.000=-3.000 | | max | 2771.000-2774.000=-3.000 |
| | mean | 0.378-0.376=0.002 | | σ | 0.005-0.006=-0.001 | | min | 0.372-0.368=0.004 | | max | 0.384-0.383=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.609-1930.592=0.017 | | σ | 0.008-0.022=-0.014 | | min | 1930.598-1930.563=0.034 | | max | 1930.619-1930.620=-0.001 |
| | mean | 2771.000-2774.000=-3.000 | | σ | 0.000 | | min | 2771.000-2774.000=-3.000 | | max | 2771.000-2774.000=-3.000 |
| | mean | 2.517-2.569=-0.052 | | σ | 0.102-0.142=-0.040 | | min | 2.450-2.460=-0.009 | | max | 2.691-2.815=-0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.318-4751.276=0.041 | | σ | 0.908-0.891=0.017 | | min | 4750.802-4750.772=0.030 | | max | 4752.933-4752.863=0.070 |
| | mean | 2771.000-2774.000=-3.000 | | σ | 0.000 | | min | 2771.000-2774.000=-3.000 | | max | 2771.000-2774.000=-3.000 |
| | mean | 8.477-8.544=-0.066 | | σ | 0.526-0.610=-0.084 | | min | 7.614-7.625=-0.011 | | max | 9.000-9.048=-0.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.695-4941.763=-0.068 | | σ | 0.154-0.028=0.125 | | min | 4941.423-4941.737=-0.314 | | max | 4941.785-4941.794=-0.009 |
| | mean | 3014.000-3025.200=-11.200 | | σ | 236.541-227.509=9.032 | | min | 2771.000-2774.000=-3.000 | | max | 3328.000-3323.000=5.000 |
| | mean | 8.626-8.491=0.134 | | σ | 0.245-0.193=0.053 | | min | 8.394-8.230=0.164 | | max | 9.009-8.698=0.311 |
|