iters=5 new-facts=1 prior-facts=1 | | mean | 278.827-278.822=0.004 | | σ | 0.008-0.004=0.004 | | min | 278.817-278.816=0.001 | | max | 278.839-278.826=0.012 |
| | mean | 2608.000-2729.000=-121.000 | | σ | 0.000 | | min | 2608.000-2729.000=-121.000 | | max | 2608.000-2729.000=-121.000 |
| | mean | 0.416-0.409=0.007 | | σ | 0.009-0.007=0.002 | | min | 0.406-0.398=0.008 | | max | 0.429-0.416=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.891-2268.882=0.009 | | σ | 0.006-0.011=-0.005 | | min | 2268.884-2268.871=0.013 | | max | 2268.898-2268.898=0.000 |
| | mean | 2608.000-2729.000=-121.000 | | σ | 0.000 | | min | 2608.000-2729.000=-121.000 | | max | 2608.000-2729.000=-121.000 |
| | mean | 2.948-2.957=-0.009 | | σ | 0.116-0.055=0.061 | | min | 2.845-2.900=-0.055 | | max | 3.145-3.028=0.117 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.290-4954.244=0.046 | | σ | 0.933-0.890=0.043 | | min | 4953.712-4953.721=-0.010 | | max | 4955.945-4955.825=0.120 |
| | mean | 2608.000-2729.000=-121.000 | | σ | 0.000 | | min | 2608.000-2729.000=-121.000 | | max | 2608.000-2729.000=-121.000 |
| | mean | 7.992-8.093=-0.102 | | σ | 0.352-0.439=-0.086 | | min | 7.691-7.759=-0.068 | | max | 8.592-8.780=-0.188 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.748-5168.782=-0.034 | | σ | 0.218-0.080=0.138 | | min | 5168.379-5168.722=-0.342 | | max | 5168.886-5168.888=-0.002 |
| | mean | 3357.400-3378.000=-20.600 | | σ | 460.637-450.943=9.694 | | min | 2748.000-2770.000=-22.000 | | max | 3968.000-3956.000=12.000 |
| | mean | 9.212-9.239=-0.028 | | σ | 0.437-0.187=0.250 | | min | 8.571-9.049=-0.478 | | max | 9.714-9.444=0.271 |
|