iters=5 new-facts=1 prior-facts=1 | | mean | 278.791-278.808=-0.017 | | σ | 0.005-0.021=-0.016 | | min | 278.786-278.773=0.013 | | max | 278.799-278.827=-0.028 |
| | mean | 2725.000-2704.000=21.000 | | σ | 0.000 | | min | 2725.000-2704.000=21.000 | | max | 2725.000-2704.000=21.000 |
| | mean | 0.412-0.414=-0.002 | | σ | 0.006-0.008=-0.002 | | min | 0.408-0.408=-0.000 | | max | 0.423-0.426=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.884-2268.871=0.013 | | σ | 0.018-0.012=0.005 | | min | 2268.866-2268.850=0.017 | | max | 2268.906-2268.882=0.024 |
| | mean | 2725.000-2704.000=21.000 | | σ | 0.000 | | min | 2725.000-2704.000=21.000 | | max | 2725.000-2704.000=21.000 |
| | mean | 3.046-2.935=0.111 | | σ | 0.157-0.074=0.082 | | min | 2.865-2.872=-0.007 | | max | 3.240-3.060=0.180 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.250-4954.189=0.061 | | σ | 0.896-0.815=0.081 | | min | 4953.754-4953.639=0.115 | | max | 4955.844-4955.606=0.238 |
| | mean | 2725.000-2704.000=21.000 | | σ | 0.000 | | min | 2725.000-2704.000=21.000 | | max | 2725.000-2704.000=21.000 |
| | mean | 8.050-8.194=-0.144 | | σ | 0.547-0.427=0.120 | | min | 7.623-7.772=-0.149 | | max | 9.002-8.658=0.344 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.793-5168.713=0.080 | | σ | 0.089-0.127=-0.039 | | min | 5168.723-5168.517=0.206 | | max | 5168.908-5168.874=0.034 |
| | mean | 3314.600-3439.200=-124.600 | | σ | 396.651-450.080=-53.429 | | min | 2923.000-2795.000=128.000 | | max | 3716.000-3971.000=-255.000 |
| | mean | 9.514-9.391=0.123 | | σ | 0.366-0.268=0.098 | | min | 9.117-9.034=0.083 | | max | 10.115-9.784=0.332 |
|