iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-190.719=87.955 | | σ | 0.012-0.004=0.008 | | min | 278.658-190.714=87.944 | | max | 278.687-190.726=87.961 |
| | mean | 2810.000-2605.000=205.000 | | σ | 0.000 | | min | 2810.000-2605.000=205.000 | | max | 2810.000-2605.000=205.000 |
| | mean | 0.417-0.280=0.137 | | σ | 0.001-0.001=0.001 | | min | 0.415-0.279=0.136 | | max | 0.419-0.281=0.138 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.844-1989.482=279.362 | | σ | 0.013-0.027=-0.015 | | min | 2268.825-1989.441=279.383 | | max | 2268.855-1989.517=279.339 |
| | mean | 2810.000-2605.000=205.000 | | σ | 0.000 | | min | 2810.000-2605.000=205.000 | | max | 2810.000-2605.000=205.000 |
| | mean | 3.103-2.623=0.480 | | σ | 0.132-0.339=-0.207 | | min | 2.873-2.336=0.538 | | max | 3.205-3.142=0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.245-4880.081=72.165 | | σ | 0.733-0.594=0.140 | | min | 4951.779-4879.734=72.045 | | max | 4953.546-4881.132=72.414 |
| | mean | 2810.000-2605.000=205.000 | | σ | 0.000 | | min | 2810.000-2605.000=205.000 | | max | 2810.000-2605.000=205.000 |
| | mean | 7.845-8.234=-0.389 | | σ | 0.236-0.104=0.132 | | min | 7.623-8.095=-0.472 | | max | 8.143-8.329=-0.186 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.954-4891.693=275.261 | | σ | 0.079-0.085=-0.006 | | min | 5166.886-4891.623=275.263 | | max | 5167.040-4891.794=275.246 |
| | mean | 3349.200-3226.600=122.600 | | σ | 448.859-408.603=40.256 | | min | 2810.000-2814.000=-4.000 | | max | 3783.000-3631.000=152.000 |
| | mean | 9.236-8.269=0.967 | | σ | 0.163-0.415=-0.252 | | min | 9.040-7.988=1.052 | | max | 9.418-8.976=0.442 |
|