iters=5 new-facts=1 prior-facts=1 | | mean | 293.556-288.981=4.576 | | σ | 0.040-0.040=-0.000 | | min | 293.501-288.933=4.568 | | max | 293.596-289.027=4.568 |
| | mean | 1520.000-1515.000=5.000 | | σ | 0.000 | | min | 1520.000-1515.000=5.000 | | max | 1520.000-1515.000=5.000 |
| | mean | 0.396-0.400=-0.004 | | σ | 0.008-0.009=-0.001 | | min | 0.390-0.393=-0.003 | | max | 0.405-0.410=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1303.881-1299.346=4.535 | | σ | 0.101-0.073=0.028 | | min | 1303.741-1299.272=4.469 | | max | 1304.013-1299.454=4.558 |
| | mean | 1520.000-1515.000=5.000 | | σ | 0.000 | | min | 1520.000-1515.000=5.000 | | max | 1520.000-1515.000=5.000 |
| | mean | 2.209-2.074=0.135 | | σ | 0.067-0.119=-0.051 | | min | 2.159-1.963=0.195 | | max | 2.325-2.212=0.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1548.083-1543.520=4.564 | | σ | 6.884-6.899=-0.015 | | min | 1544.816-1540.235=4.581 | | max | 1560.393-1555.857=4.537 |
| | mean | 1520.000-1515.000=5.000 | | σ | 0.000 | | min | 1520.000-1515.000=5.000 | | max | 1520.000-1515.000=5.000 |
| | mean | 2.221-2.346=-0.125 | | σ | 0.129-0.212=-0.083 | | min | 2.097-2.142=-0.045 | | max | 2.435-2.687=-0.252 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1865.850-1861.274=4.576 | | σ | 0.066-0.063=0.003 | | min | 1865.771-1861.186=4.585 | | max | 1865.932-1861.339=4.594 |
| | mean | 1740.800-1750.400=-9.600 | | σ | 160.646-172.270=-11.623 | | min | 1520.000-1515.000=5.000 | | max | 1894.000-1913.000=-19.000 |
| | mean | 3.028-3.105=-0.077 | | σ | 0.238-0.251=-0.012 | | min | 2.721-2.906=-0.186 | | max | 3.345-3.482=-0.138 |
|