iters=5 new-facts=1 prior-facts=1 | | mean | 267.614-277.193=-9.579 | | σ | 17.779-0.005=17.774 | | min | 235.810-277.187=-41.377 | | max | 275.570-277.198=-1.629 |
| | mean | 2769.000-2632.000=137.000 | | σ | 0.000 | | min | 2769.000-2632.000=137.000 | | max | 2769.000-2632.000=137.000 |
| | mean | 0.380-0.393=-0.013 | | σ | 0.031-0.002=0.029 | | min | 0.326-0.390=-0.064 | | max | 0.399-0.394=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.085-2174.418=-6.333 | | σ | 0.015-0.050=-0.035 | | min | 2168.067-2174.342=-6.275 | | max | 2168.103-2174.480=-6.377 |
| | mean | 2769.000-2632.000=137.000 | | σ | 0.000 | | min | 2769.000-2632.000=137.000 | | max | 2769.000-2632.000=137.000 |
| | mean | 2.935-2.891=0.044 | | σ | 0.097-0.151=-0.054 | | min | 2.810-2.756=0.054 | | max | 3.053-3.099=-0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.909-5052.602=-4.692 | | σ | 0.878-0.973=-0.096 | | min | 5047.334-5052.014=-4.680 | | max | 5049.444-5054.335=-4.891 |
| | mean | 2769.000-2632.000=137.000 | | σ | 0.000 | | min | 2769.000-2632.000=137.000 | | max | 2769.000-2632.000=137.000 |
| | mean | 8.903-8.818=0.084 | | σ | 0.507-0.599=-0.092 | | min | 8.196-7.991=0.204 | | max | 9.405-9.464=-0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.975-5188.428=-9.453 | | σ | 0.200-0.089=0.111 | | min | 5178.651-5188.352=-9.702 | | max | 5179.159-5188.528=-9.369 |
| | mean | 3302.400-3200.000=102.400 | | σ | 394.037-475.163=-81.125 | | min | 2769.000-2632.000=137.000 | | max | 3674.000-3834.000=-160.000 |
| | mean | 9.873-8.729=1.145 | | σ | 0.212-0.181=0.031 | | min | 9.534-8.626=0.907 | | max | 10.106-9.050=1.056 |
|