iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.197=-0.001 | | σ | 0.005-0.004=0.001 | | min | 277.191-277.191=0.001 | | max | 277.203-277.200=0.003 |
| | mean | 2599.000-2662.000=-63.000 | | σ | 0.000 | | min | 2599.000-2662.000=-63.000 | | max | 2599.000-2662.000=-63.000 |
| | mean | 0.404-0.400=0.003 | | σ | 0.007-0.001=0.006 | | min | 0.396-0.399=-0.002 | | max | 0.414-0.402=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.436-2174.446=-0.010 | | σ | 0.006-0.020=-0.014 | | min | 2174.427-2174.427=-0.000 | | max | 2174.442-2174.479=-0.038 |
| | mean | 2599.000-2662.000=-63.000 | | σ | 0.000 | | min | 2599.000-2662.000=-63.000 | | max | 2599.000-2662.000=-63.000 |
| | mean | 2.988-2.929=0.058 | | σ | 0.218-0.126=0.092 | | min | 2.758-2.787=-0.029 | | max | 3.283-3.042=0.241 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.639-5052.595=0.044 | | σ | 0.960-0.974=-0.014 | | min | 5052.098-5052.030=0.068 | | max | 5054.345-5054.330=0.015 |
| | mean | 2599.000-2662.000=-63.000 | | σ | 0.000 | | min | 2599.000-2662.000=-63.000 | | max | 2599.000-2662.000=-63.000 |
| | mean | 8.552-8.790=-0.238 | | σ | 0.580-0.499=0.080 | | min | 7.916-8.283=-0.367 | | max | 9.411-9.562=-0.151 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.426-5188.429=-0.003 | | σ | 0.085-0.093=-0.008 | | min | 5188.359-5188.358=0.001 | | max | 5188.522-5188.534=-0.012 |
| | mean | 3276.000-3232.600=43.400 | | σ | 432.241-364.611=67.630 | | min | 2674.000-2704.000=-30.000 | | max | 3674.000-3687.000=-13.000 |
| | mean | 8.850-9.015=-0.165 | | σ | 0.239-0.371=-0.132 | | min | 8.581-8.702=-0.121 | | max | 9.237-9.620=-0.383 |
|