iters=5 new-facts=1 prior-facts=1 | | mean | 278.702-278.701=0.002 | | σ | 0.014-0.010=0.004 | | min | 278.689-278.690=-0.001 | | max | 278.725-278.716=0.009 |
| | mean | 2640.000-2636.000=4.000 | | σ | 0.000 | | min | 2640.000-2636.000=4.000 | | max | 2640.000-2636.000=4.000 |
| | mean | 0.419-0.418=0.001 | | σ | 0.001-0.001=0.000 | | min | 0.417-0.417=0.000 | | max | 0.420-0.420=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.874-2268.867=0.007 | | σ | 0.008-0.005=0.002 | | min | 2268.862-2268.860=0.003 | | max | 2268.883-2268.873=0.010 |
| | mean | 2640.000-2636.000=4.000 | | σ | 0.000 | | min | 2640.000-2636.000=4.000 | | max | 2640.000-2636.000=4.000 |
| | mean | 2.940-2.928=0.012 | | σ | 0.043-0.056=-0.013 | | min | 2.906-2.865=0.041 | | max | 3.013-3.007=0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.343-4952.226=0.116 | | σ | 0.787-0.867=-0.080 | | min | 4951.888-4951.499=0.389 | | max | 4953.745-4953.731=0.014 |
| | mean | 2640.000-2636.000=4.000 | | σ | 0.000 | | min | 2640.000-2636.000=4.000 | | max | 2640.000-2636.000=4.000 |
| | mean | 8.031-8.002=0.029 | | σ | 0.247-0.278=-0.032 | | min | 7.834-7.714=0.119 | | max | 8.438-8.404=0.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.014-5167.075=-0.061 | | σ | 0.163-0.009=0.155 | | min | 5166.724-5167.067=-0.344 | | max | 5167.102-5167.089=0.013 |
| | mean | 3366.200-3418.000=-51.800 | | σ | 445.930-451.231=-5.300 | | min | 2770.000-2806.000=-36.000 | | max | 3948.000-3981.000=-33.000 |
| | mean | 9.371-9.146=0.225 | | σ | 0.503-0.120=0.382 | | min | 8.970-8.992=-0.022 | | max | 10.229-9.265=0.964 |
|