iters=5 new-facts=1 prior-facts=1 | | mean | 277.886-277.880=0.005 | | σ | 0.004-0.008=-0.003 | | min | 277.882-277.868=0.014 | | max | 277.893-277.886=0.007 |
| | mean | 2485.000-2884.000=-399.000 | | σ | 0.000 | | min | 2485.000-2884.000=-399.000 | | max | 2485.000-2884.000=-399.000 |
| | mean | 0.405-0.406=-0.001 | | σ | 0.007-0.007=-0.000 | | min | 0.398-0.398=-0.000 | | max | 0.415-0.413=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.833-2176.826=0.007 | | σ | 0.004-0.008=-0.004 | | min | 2176.827-2176.818=0.010 | | max | 2176.837-2176.835=0.003 |
| | mean | 2485.000-2884.000=-399.000 | | σ | 0.000 | | min | 2485.000-2884.000=-399.000 | | max | 2485.000-2884.000=-399.000 |
| | mean | 3.420-3.360=0.060 | | σ | 0.281-0.114=0.167 | | min | 3.001-3.260=-0.259 | | max | 3.734-3.548=0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.729-5054.468=0.261 | | σ | 0.919-0.732=0.187 | | min | 5054.148-5053.871=0.277 | | max | 5056.360-5055.742=0.617 |
| | mean | 2485.000-2884.000=-399.000 | | σ | 0.000 | | min | 2485.000-2884.000=-399.000 | | max | 2485.000-2884.000=-399.000 |
| | mean | 8.768-8.944=-0.176 | | σ | 0.638-0.474=0.164 | | min | 7.888-8.247=-0.358 | | max | 9.534-9.538=-0.004 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5192.127-5192.049=0.078 | | σ | 0.074-0.120=-0.046 | | min | 5192.056-5191.874=0.182 | | max | 5192.210-5192.213=-0.002 |
| | mean | 3250.200-3312.400=-62.200 | | σ | 415.665-360.306=55.360 | | min | 2648.000-2884.000=-236.000 | | max | 3715.000-3672.000=43.000 |
| | mean | 8.855-8.810=0.044 | | σ | 0.238-0.086=0.151 | | min | 8.691-8.682=0.009 | | max | 9.266-8.905=0.360 |
|