iters=5 new-facts=1 prior-facts=1 | | mean | 278.698-278.695=0.002 | | σ | 0.008-0.014=-0.006 | | min | 278.684-278.680=0.004 | | max | 278.705-278.713=-0.007 |
| | mean | 2638.000-2665.000=-27.000 | | σ | 0.000 | | min | 2638.000-2665.000=-27.000 | | max | 2638.000-2665.000=-27.000 |
| | mean | 0.420-0.420=-0.000 | | σ | 0.001-0.001=0.000 | | min | 0.419-0.419=-0.000 | | max | 0.421-0.421=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.848-2268.837=0.011 | | σ | 0.017-0.011=0.006 | | min | 2268.822-2268.825=-0.003 | | max | 2268.862-2268.850=0.012 |
| | mean | 2638.000-2665.000=-27.000 | | σ | 0.000 | | min | 2638.000-2665.000=-27.000 | | max | 2638.000-2665.000=-27.000 |
| | mean | 3.509-3.479=0.030 | | σ | 0.354-0.163=0.191 | | min | 2.911-3.231=-0.320 | | max | 3.795-3.655=0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.939-4956.057=-0.118 | | σ | 0.931-0.821=0.110 | | min | 4955.144-4955.595=-0.451 | | max | 4957.553-4957.521=0.031 |
| | mean | 2638.000-2665.000=-27.000 | | σ | 0.000 | | min | 2638.000-2665.000=-27.000 | | max | 2638.000-2665.000=-27.000 |
| | mean | 7.860-7.937=-0.077 | | σ | 0.115-0.173=-0.059 | | min | 7.669-7.642=0.027 | | max | 7.980-8.052=-0.072 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.771-5170.698=0.073 | | σ | 0.087-0.143=-0.056 | | min | 5170.674-5170.482=0.193 | | max | 5170.841-5170.830=0.011 |
| | mean | 3444.600-3455.400=-10.800 | | σ | 470.320-439.653=30.667 | | min | 2893.000-2882.000=11.000 | | max | 4125.000-4080.000=45.000 |
| | mean | 9.302-9.298=0.005 | | σ | 0.183-0.169=0.014 | | min | 8.992-9.089=-0.098 | | max | 9.444-9.540=-0.096 |
|