iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-278.822=0.690 | | σ | 0.007-0.003=0.004 | | min | 279.503-278.819=0.684 | | max | 279.517-278.827=0.690 |
| | mean | 2746.000-2695.000=51.000 | | σ | 0.000 | | min | 2746.000-2695.000=51.000 | | max | 2746.000-2695.000=51.000 |
| | mean | 0.409-0.408=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.405-0.407=-0.002 | | max | 0.410-0.410=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.418-2268.876=-90.458 | | σ | 0.034-0.013=0.021 | | min | 2178.359-2268.864=-90.505 | | max | 2178.443-2268.896=-90.453 |
| | mean | 2746.000-2695.000=51.000 | | σ | 0.000 | | min | 2746.000-2695.000=51.000 | | max | 2746.000-2695.000=51.000 |
| | mean | 3.432-3.175=0.257 | | σ | 0.172-0.136=0.036 | | min | 3.271-3.036=0.234 | | max | 3.620-3.393=0.227 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.392-4787.958=268.434 | | σ | 1.004-372.128=-371.125 | | min | 5055.790-4122.277=933.513 | | max | 5058.177-4955.891=102.286 |
| | mean | 2746.000-2695.000=51.000 | | σ | 0.000 | | min | 2746.000-2695.000=51.000 | | max | 2746.000-2695.000=51.000 |
| | mean | 8.715-7.753=0.962 | | σ | 0.657-0.545=0.112 | | min | 8.163-6.880=1.283 | | max | 9.736-8.358=1.378 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.689-5168.823=24.866 | | σ | 0.212-0.090=0.122 | | min | 5193.338-5168.718=24.620 | | max | 5193.874-5168.891=24.984 |
| | mean | 3285.800-3259.600=26.200 | | σ | 404.146-403.560=0.586 | | min | 2746.000-2853.000=-107.000 | | max | 3673.000-3660.000=13.000 |
| | mean | 8.832-9.164=-0.331 | | σ | 0.095-0.351=-0.256 | | min | 8.705-8.551=0.155 | | max | 8.970-9.378=-0.408 |
|