iters=5 new-facts=1 prior-facts=1 | | mean | 190.711-190.719=-0.008 | | σ | 0.006-0.017=-0.011 | | min | 190.702-190.700=0.002 | | max | 190.718-190.742=-0.024 |
| | mean | 2645.000-2606.000=39.000 | | σ | 0.000 | | min | 2645.000-2606.000=39.000 | | max | 2645.000-2606.000=39.000 |
| | mean | 0.280-0.279=0.001 | | σ | 0.001-0.001=0.000 | | min | 0.280-0.278=0.001 | | max | 0.281-0.280=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.498-1989.489=0.009 | | σ | 0.013-0.011=0.002 | | min | 1989.480-1989.478=0.002 | | max | 1989.515-1989.505=0.010 |
| | mean | 2645.000-2606.000=39.000 | | σ | 0.000 | | min | 2645.000-2606.000=39.000 | | max | 2645.000-2606.000=39.000 |
| | mean | 2.610-2.409=0.202 | | σ | 0.104-0.097=0.007 | | min | 2.506-2.311=0.196 | | max | 2.779-2.571=0.209 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.083-4880.071=0.012 | | σ | 0.573-0.598=-0.026 | | min | 4879.737-4879.730=0.007 | | max | 4881.094-4881.133=-0.039 |
| | mean | 2645.000-2606.000=39.000 | | σ | 0.000 | | min | 2645.000-2606.000=39.000 | | max | 2645.000-2606.000=39.000 |
| | mean | 8.202-8.196=0.006 | | σ | 0.175-0.197=-0.022 | | min | 8.067-8.039=0.028 | | max | 8.438-8.502=-0.064 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.693-4891.699=-0.006 | | σ | 0.078-0.080=-0.002 | | min | 4891.619-4891.619=0.001 | | max | 4891.783-4891.792=-0.009 |
| | mean | 3314.800-3353.800=-39.000 | | σ | 518.766-460.461=58.305 | | min | 2645.000-2789.000=-144.000 | | max | 3809.000-4015.000=-206.000 |
| | mean | 8.082-8.212=-0.131 | | σ | 0.116-0.198=-0.082 | | min | 7.983-7.977=0.006 | | max | 8.227-8.392=-0.165 |
|