iters=5 new-facts=1 prior-facts=1 | | mean | 279.517-279.511=0.006 | | σ | 0.009-0.009=0.000 | | min | 279.504-279.500=0.005 | | max | 279.529-279.520=0.008 |
| | mean | 2837.000-2746.000=91.000 | | σ | 0.000 | | min | 2837.000-2746.000=91.000 | | max | 2837.000-2746.000=91.000 |
| | mean | 0.417-0.411=0.006 | | σ | 0.010-0.007=0.004 | | min | 0.405-0.404=0.000 | | max | 0.430-0.419=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.449-2178.441=0.009 | | σ | 0.007-0.014=-0.007 | | min | 2178.443-2178.419=0.024 | | max | 2178.457-2178.453=0.005 |
| | mean | 2837.000-2746.000=91.000 | | σ | 0.000 | | min | 2837.000-2746.000=91.000 | | max | 2837.000-2746.000=91.000 |
| | mean | 3.471-3.141=0.330 | | σ | 0.135-0.552=-0.417 | | min | 3.296-2.671=0.625 | | max | 3.662-4.041=-0.379 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.394-5056.403=-0.009 | | σ | 0.998-0.979=0.018 | | min | 5055.762-5055.873=-0.111 | | max | 5058.140-5058.138=0.002 |
| | mean | 2837.000-2746.000=91.000 | | σ | 0.000 | | min | 2837.000-2746.000=91.000 | | max | 2837.000-2746.000=91.000 |
| | mean | 9.116-9.171=-0.055 | | σ | 0.765-0.750=0.015 | | min | 8.078-8.162=-0.085 | | max | 10.055-10.125=-0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.758-5193.607=0.151 | | σ | 0.081-0.255=-0.173 | | min | 5193.688-5193.337=0.351 | | max | 5193.856-5193.856=0.001 |
| | mean | 3248.000-3193.000=55.000 | | σ | 306.670-443.104=-136.434 | | min | 2837.000-2746.000=91.000 | | max | 3667.000-3814.000=-147.000 |
| | mean | 8.987-8.651=0.336 | | σ | 0.388-0.126=0.262 | | min | 8.675-8.535=0.140 | | max | 9.600-8.864=0.736 |
|