iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-278.676=-0.002 | | σ | 0.013-0.012=0.000 | | min | 278.666-278.661=0.005 | | max | 278.696-278.692=0.004 |
| | mean | 2603.000-2816.000=-213.000 | | σ | 0.000 | | min | 2603.000-2816.000=-213.000 | | max | 2603.000-2816.000=-213.000 |
| | mean | 0.424-0.422=0.002 | | σ | 0.009-0.010=-0.001 | | min | 0.419-0.416=0.003 | | max | 0.440-0.440=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.848-2268.845=0.003 | | σ | 0.005-0.010=-0.005 | | min | 2268.843-2268.830=0.013 | | max | 2268.857-2268.855=0.002 |
| | mean | 2603.000-2816.000=-213.000 | | σ | 0.000 | | min | 2603.000-2816.000=-213.000 | | max | 2603.000-2816.000=-213.000 |
| | mean | 2.937-3.148=-0.211 | | σ | 0.053-0.225=-0.172 | | min | 2.885-2.791=0.095 | | max | 3.009-3.349=-0.340 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.194-4952.203=-0.009 | | σ | 0.633-0.766=-0.133 | | min | 4951.826-4951.816=0.010 | | max | 4953.318-4953.571=-0.253 |
| | mean | 2603.000-2816.000=-213.000 | | σ | 0.000 | | min | 2603.000-2816.000=-213.000 | | max | 2603.000-2816.000=-213.000 |
| | mean | 8.074-7.730=0.344 | | σ | 0.380-0.148=0.232 | | min | 7.722-7.586=0.136 | | max | 8.518-7.915=0.604 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.053-5166.891=0.162 | | σ | 0.011-0.022=-0.012 | | min | 5167.044-5166.868=0.176 | | max | 5167.065-5166.915=0.150 |
| | mean | 3352.400-3335.800=16.600 | | σ | 452.789-389.056=63.733 | | min | 2756.000-2938.000=-182.000 | | max | 3957.000-3715.000=242.000 |
| | mean | 9.495-8.758=0.737 | | σ | 0.412-0.337=0.075 | | min | 9.072-8.459=0.613 | | max | 10.110-9.133=0.977 |
|