iters=5 new-facts=1 prior-facts=1 | | mean | 277.198-277.194=0.004 | | σ | 0.004-0.006=-0.002 | | min | 277.194-277.189=0.005 | | max | 277.202-277.202=-0.000 |
| | mean | 2664.000-2497.000=167.000 | | σ | 0.000 | | min | 2664.000-2497.000=167.000 | | max | 2664.000-2497.000=167.000 |
| | mean | 0.403-0.396=0.006 | | σ | 0.003-0.007=-0.004 | | min | 0.399-0.393=0.006 | | max | 0.408-0.409=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.436-2174.422=0.014 | | σ | 0.006-0.028=-0.021 | | min | 2174.427-2174.374=0.054 | | max | 2174.446-2174.443=0.002 |
| | mean | 2664.000-2497.000=167.000 | | σ | 0.000 | | min | 2664.000-2497.000=167.000 | | max | 2664.000-2497.000=167.000 |
| | mean | 2.966-2.829=0.137 | | σ | 0.166-0.122=0.044 | | min | 2.785-2.724=0.061 | | max | 3.171-3.039=0.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.595-5052.476=0.119 | | σ | 1.015-1.066=-0.051 | | min | 5051.992-5051.534=0.457 | | max | 5054.398-5054.316=0.082 |
| | mean | 2664.000-2497.000=167.000 | | σ | 0.000 | | min | 2664.000-2497.000=167.000 | | max | 2664.000-2497.000=167.000 |
| | mean | 9.143-8.787=0.355 | | σ | 0.604-0.540=0.064 | | min | 8.123-8.146=-0.023 | | max | 9.718-9.353=0.365 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.410-5188.268=0.142 | | σ | 0.100-0.367=-0.267 | | min | 5188.302-5187.634=0.668 | | max | 5188.519-5188.531=-0.011 |
| | mean | 3225.800-3246.000=-20.200 | | σ | 387.883-353.050=34.833 | | min | 2690.000-2843.000=-153.000 | | max | 3712.000-3766.000=-54.000 |
| | mean | 8.980-8.788=0.191 | | σ | 0.421-0.036=0.385 | | min | 8.664-8.751=-0.087 | | max | 9.706-8.841=0.865 |
|