iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-277.196=-1.628 | | σ | 0.004-0.006=-0.002 | | min | 275.563-277.191=-1.628 | | max | 275.575-277.206=-1.631 |
| | mean | 2754.000-2657.000=97.000 | | σ | 0.000 | | min | 2754.000-2657.000=97.000 | | max | 2754.000-2657.000=97.000 |
| | mean | 0.393-0.405=-0.012 | | σ | 0.010-0.010=0.000 | | min | 0.384-0.399=-0.015 | | max | 0.405-0.422=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099-2174.442=-6.343 | | σ | 0.010-0.016=-0.006 | | min | 2168.088-2174.428=-6.340 | | max | 2168.115-2174.469=-6.354 |
| | mean | 2754.000-2657.000=97.000 | | σ | 0.000 | | min | 2754.000-2657.000=97.000 | | max | 2754.000-2657.000=97.000 |
| | mean | 2.967-2.964=0.002 | | σ | 0.145-0.141=0.004 | | min | 2.775-2.753=0.021 | | max | 3.096-3.102=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.945-5052.611=-4.666 | | σ | 0.878-1.054=-0.176 | | min | 5047.442-5051.988=-4.546 | | max | 5049.508-5054.484=-4.976 |
| | mean | 2754.000-2657.000=97.000 | | σ | 0.000 | | min | 2754.000-2657.000=97.000 | | max | 2754.000-2657.000=97.000 |
| | mean | 9.169-9.165=0.005 | | σ | 0.619-0.735=-0.117 | | min | 8.436-8.092=0.344 | | max | 10.059-10.161=-0.102 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.055-5188.425=-9.369 | | σ | 0.094-0.092=0.002 | | min | 5178.973-5188.346=-9.374 | | max | 5179.159-5188.533=-9.374 |
| | mean | 3234.800-3222.400=12.400 | | σ | 366.324-387.524=-21.200 | | min | 2754.000-2686.000=68.000 | | max | 3708.000-3711.000=-3.000 |
| | mean | 10.037-8.966=1.071 | | σ | 0.078-0.424=-0.346 | | min | 9.969-8.716=1.253 | | max | 10.150-9.716=0.435 |
|