iters=5 new-facts=1 prior-facts=1 | | mean | 269.927-269.931=-0.004 | | σ | 0.008-0.005=0.003 | | min | 269.918-269.922=-0.004 | | max | 269.940-269.935=0.004 |
| | mean | 2851.000-2849.000=2.000 | | σ | 0.000 | | min | 2851.000-2849.000=2.000 | | max | 2851.000-2849.000=2.000 |
| | mean | 0.371-0.375=-0.003 | | σ | 0.004-0.007=-0.003 | | min | 0.369-0.369=0.000 | | max | 0.379-0.385=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.402-1930.394=0.008 | | σ | 0.007-0.009=-0.001 | | min | 1930.396-1930.380=0.016 | | max | 1930.414-1930.402=0.012 |
| | mean | 2851.000-2849.000=2.000 | | σ | 0.000 | | min | 2851.000-2849.000=2.000 | | max | 2851.000-2849.000=2.000 |
| | mean | 2.513-2.485=0.028 | | σ | 0.074-0.054=0.020 | | min | 2.452-2.443=0.008 | | max | 2.639-2.574=0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.863-4750.857=0.006 | | σ | 0.892-0.892=0.000 | | min | 4750.310-4750.304=0.006 | | max | 4752.451-4752.444=0.007 |
| | mean | 2851.000-2849.000=2.000 | | σ | 0.000 | | min | 2851.000-2849.000=2.000 | | max | 2851.000-2849.000=2.000 |
| | mean | 8.696-8.426=0.270 | | σ | 0.599-0.782=-0.183 | | min | 7.641-7.530=0.111 | | max | 9.078-9.182=-0.104 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332-4941.329=0.004 | | σ | 0.089-0.084=0.005 | | min | 4941.262-4941.265=-0.002 | | max | 4941.435-4941.429=0.006 |
| | mean | 3049.600-3053.200=-3.600 | | σ | 201.604-221.266=-19.662 | | min | 2851.000-2849.000=2.000 | | max | 3326.000-3384.000=-58.000 |
| | mean | 8.477-8.577=-0.100 | | σ | 0.204-0.127=0.078 | | min | 8.323-8.417=-0.094 | | max | 8.808-8.751=0.057 |
|