iters=5 new-facts=1 prior-facts=1 | | mean | 279.510-279.510=0.000 | | σ | 0.007-0.005=0.002 | | min | 279.502-279.505=-0.004 | | max | 279.516-279.517=-0.001 |
| | mean | 2749.000-2764.000=-15.000 | | σ | 0.000 | | min | 2749.000-2764.000=-15.000 | | max | 2749.000-2764.000=-15.000 |
| | mean | 0.409-0.408=0.002 | | σ | 0.008-0.004=0.004 | | min | 0.403-0.405=-0.002 | | max | 0.423-0.415=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2173.703-2178.442=-4.740 | | σ | 0.025-0.019=0.005 | | min | 2173.663-2178.421=-4.758 | | max | 2173.729-2178.472=-4.742 |
| | mean | 2749.000-2764.000=-15.000 | | σ | 0.000 | | min | 2749.000-2764.000=-15.000 | | max | 2749.000-2764.000=-15.000 |
| | mean | 2.943-3.318=-0.375 | | σ | 0.299-0.264=0.035 | | min | 2.662-3.088=-0.426 | | max | 3.390-3.773=-0.383 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5053.219-5056.375=-3.155 | | σ | 1.108-0.986=0.122 | | min | 5052.138-5055.811=-3.673 | | max | 5055.089-5058.124=-3.035 |
| | mean | 2749.000-2764.000=-15.000 | | σ | 0.000 | | min | 2749.000-2764.000=-15.000 | | max | 2749.000-2764.000=-15.000 |
| | mean | 9.128-9.017=0.112 | | σ | 0.607-0.733=-0.126 | | min | 8.101-7.912=0.189 | | max | 9.628-9.817=-0.189 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.968-5193.739=-7.771 | | σ | 0.113-0.103=0.010 | | min | 5185.835-5193.621=-7.786 | | max | 5186.088-5193.850=-7.762 |
| | mean | 3212.800-3244.000=-31.200 | | σ | 354.307-482.498=-128.192 | | min | 2840.000-2764.000=76.000 | | max | 3754.000-3922.000=-168.000 |
| | mean | 8.825-8.740=0.085 | | σ | 0.159-0.151=0.008 | | min | 8.601-8.616=-0.015 | | max | 8.984-8.995=-0.010 |
|